46 search results - page 3 / 10 » Virtual machines for message based, real-time and interactiv... |
DSRT
2005
IEEE
13 years 11 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
ICCV
2007
IEEE
14 years 13 days ago
2007
IEEE
Abstract. We describe a visual communication application for a dark, theaterlike interactive virtual simulation training environment. Our system visually estimates and tracks the b...
SSS
2005
Springer
13 years 11 months ago
2005
Springer
We present simple algorithms for achieving self-stabilizing location management and routing in mobile ad-hoc networks. While mobile clients may be susceptible to corruption and sto...
MM
2000
ACM
13 years 10 months ago
2000
ACM
The two-layered distributed clustered server architecture consisting of a control server and a group of storage servers has been widely used to support multimedia file systems. Wi...
SIGGRAPH
1997
ACM
13 years 10 months ago
1997
ACM
This paper describes the integration of the Berkeley Architectural Walkthrough Program with the National Institute of Standards and Technology’s CFAST fire simulator. The integ...