2838 search results - page 75 / 568 » Verifying Controlled Components |
PASTE
2005
ACM
14 years 2 months ago
2005
ACM
Safely updating software at remote sites is a cautious balance of enabling new functionality and avoiding adverse effects on existing functionality. A useful first step in this p...
EUROMICRO
2004
IEEE
14 years 21 days ago
2004
IEEE
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
CBSQ
2003
Springer
14 years 2 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract - This paper presents a method for wheel-ground contact angle measurement and a traction control strategy minimizing slip in rough terrain. The slip minimization algorithm...