774 search results - page 16 / 155 » On Timed Alternating Simulation for Concurrent Timed Games |
WSC
2007
14 years 1 months ago
2007
Event Graphs (EGs) and Simulation Graph Models provide a powerful and general modeling framework for discrete event simulation. Qualitative Event Graphs (QEGs) extend the EG frame...
ISMS
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Surgical simulations with the aid of computers is a topic of increasingly extensive research. Realtime response and interactivity are crucial components of any such syste...
VLDB
1990
ACM
14 years 2 months ago
1990
ACM
Real-time database systems incorporate the notion of a deadline into the database system model. USUally, deadlines are associated with transactions, and the system attempts to exe...
IWEC
2008
14 years 8 days ago
2008
Surround displays are used in simulation, training, and other applications based on virtual worlds. A wide-view display engages the viewer's peripheral vision, providing a mor...
ICALP
2005
Springer
14 years 4 months ago
2005
Springer
We establish the first polynomial-strength time-space lower bounds for problems in the lineartime hierarchy on randomized machines with two-sided error. We show that for any inte...