774 search results - page 61 / 155 » On Timed Alternating Simulation for Concurrent Timed Games |
HAPTICS
2003
IEEE
15 years 3 months ago
2003
IEEE
Machine-mediated training of dynamic task completion is typically implemented with passive intervention via virtual fixtures or active assist by means of record and replay strateg...
INFOCOM
2006
IEEE
15 years 3 months ago
2006
IEEE
— Instantaneous Fair Sharing (IFS) is a traditional network ideal prescribing to share the network capacity among competing applications fairly during any infinitesimal time int...
SIMUTOOLS
2008
14 years 11 months ago
2008
For the evaluation of ad hoc network protocols, researchers traditionally use simulations because they easily allow for a large number of nodes and reproducible environment condit...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
We analyze alternative market designs for a multisettlement system for electricity in which the resolution of the transmission network model is increased as time approaches real-t...
APPROX
2007
Springer
15 years 1 months ago
2007
Springer
We prove a lower bound for swapping the order of Arthur and Merlin in two-round MerlinArthur games using black-box techniques. Namely, we show that any AM-game requires time (t2 )...