502 search results - page 93 / 101 » Model Checking Timed Systems with Priorities |
CAISE
2009
Springer
14 years 2 months ago
2009
Springer
Navigation systems have proven to be quite useful for many drivers. People increasingly rely on the devices of TomTom and other vendors and find it useful to get directions to go ...
AGENTS
1997
Springer
14 years 15 hour ago
1997
Springer
We have been developing Rogue, an architecture that integrates high-level planning with a low-level executing robotic agent. Rogue is designed as the oce gofer task planner for X...
SIMUTOOLS
2008
13 years 9 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
CASES
2009
ACM
14 years 2 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
ICDE
2007
IEEE
14 years 9 months ago
2007
IEEE
In many distributed environments, the primary function of monitoring software is to detect anomalies, that is, instances when system behavior deviates substantially from the norm....