2838 search results - page 525 / 568 » Verifying Controlled Components |
FSR
2003
Springer
14 years 28 days ago
2003
Springer
We develop a network of distributed mobile sensor systems as a solution to the emergency response problem. The mobile sensors are inside a building and they form a connected ad-ho...
IWSAS
2001
Springer
14 years 5 days ago
2001
Springer
The Infrastructure of modern society is controlled by software systems that are vulnerable to attack. Successful attacks on these systems can lead to catastrophic results; the sur...
CGI
2000
IEEE
14 years 4 days ago
2000
IEEE
Computer synthesized characters are expected to make appropriate face, limb, and body gestures during communicative acts. We focus on non-facial movements and try to elucidate wha...
ICRA
1999
IEEE
14 years 16 hour ago
1999
IEEE
In this paper, we describe a modular software that allows fast development of eye-in-hand image-based visual servoing applications (ViSP states for "Visual Servoing Platform&...
RTSS
1999
IEEE
14 years 5 hour ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...