2838 search results - page 525 / 568 » Verifying Controlled Components |
215
click to vote
FSR
2003
Springer
16 years 2 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...
172
click to vote
IWSAS
2001
Springer
15 years 11 months 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...
171
click to vote
CGI
2000
IEEE
15 years 11 months 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...
172
Voted
ICRA
1999
IEEE
15 years 11 months 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&...
184
Voted
RTSS
1999
IEEE
15 years 11 months 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...