3387 search results - page 509 / 678 » Model-Checking for Real-Time Systems |
ACMACE
2004
ACM
14 years 2 months ago
2004
ACM
We present a computer system for natural interaction in an augmented virtual environment, enabling people to play table tennis over Internet/LAN with real rackets. No special hard...
IWEC
2010
13 years 11 months ago
2010
In this article, we define interactive storytelling as a gaming experience where the form and content of the game is customized in real time and tailored to the preferences and ne...
WCET
2008
13 years 11 months ago
2008
Real-Time embedded systems must enforce strict timing constraints. In this context, achieving precise Worst Case Execution Time is a prerequisite to apply scheduling analysis and ...
AVI
2004
13 years 11 months ago
2004
Sim-U-Sketch is an experimental sketch-based interface we developed for Matlab 's Simulink software package. With this tool, users can construct functional Simulink models si...
FLAIRS
2004
13 years 11 months ago
2004
Robots that can adapt and perform multiple tasks promise to be a powerful tool with many applications. In order to achieve such robots, control systems have to be constructed that...