4615 search results - page 437 / 923 » Virtual Classes and Their Implementation |
182
Voted
ISMAR
2005
IEEE
16 years 13 days ago
2005
IEEE
In this paper we present a concept for augmented reality entertainment, called AR Karaoke, where users perform their favorite dramatic scenes with virtual actors. AR Karaoke is th...
160
click to vote
LCN
2005
IEEE
16 years 13 days ago
2005
IEEE
A combined input and crosspoint queued (CICQ) switch with a flow control latency of round-trip time (RTT) packets requires each crosspoint (CP) buffer to hold the RTT packets in o...
182
click to vote
MSS
2005
IEEE
16 years 13 days ago
2005
IEEE
We present HSAN - a hybrid storage area network, which uses both in-band (like NFS [13]) and out-of-band virtualization (like SAN FS [10]) access models. HSAN uses hybrid servers ...
162
Voted
TPHOL
2005
IEEE
16 years 13 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
189
Voted
UML
2005
Springer
16 years 10 days ago
2005
Springer
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...