774 search results - page 107 / 155 » On Timed Alternating Simulation for Concurrent Timed Games |
KI
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Table soccer (also called “foosball”) is much simpler than real soccer. Nevertheless, one faces the same challenges as in all other robotics domains. Sensors are nois...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— We present an algorithm to calculate the control input when the processing resources available are time-varying. The basic idea is to calculate the components of the control in...
MOMM
2009
ACM
15 years 2 months ago
2009
ACM
In this paper we discuss possible benefits of transmitting SI frames as an error resilience tool in UMTS video streaming. SP and SI frames can be used to stop temporal error prop...
IM
2003
14 years 11 months ago
2003
Abstract: A probabilistic event-driven fault localization technique is presented, which uses a symptom-fault map as a fault propagation model. The technique isolates the most proba...
COMCOM
2007
14 years 9 months ago
2007
The difficulty of efficiently reordering the rules in an Access Control List is considered and the essential optimisation problem formulated. The complexity of exact and sophistic...