314 search results - page 19 / 63 » Generating Path Conditions for Timed Systems |
HRI
2009
ACM
14 years 2 months ago
2009
ACM
The present study investigates the effect of the number of controlled robots on performance of an urban search and rescue (USAR) task using a realistic simulation. Participants co...
TNN
2008
13 years 7 months ago
2008
Aging effects, environmental changes, thermal drifts, and soft and hard faults affect physical systems by changing their nature and behavior over time. To cope with a process evolu...
ICDE
2005
IEEE
14 years 1 months ago
2005
IEEE
Various index structures have been proposed to speed up the evaluation of XML path expressions. However, existing XML path indices suffer from at least one of three limitations: ...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Quick and efficient response to emergency is important for every city. This depends on the quality of the dispatch of emergency service to the scene and back to hospital or other ...
RTSS
1998
IEEE
13 years 11 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...