2838 search results - page 150 / 568 » Verifying Controlled Components |
ICSE
2009
IEEE-ACM
14 years 5 months ago
2009
IEEE-ACM
Rainbow is an approach for engineering selfadaptive systems, with run-time, closed-loop control over target systems to monitor, detect, decide, and act on opportunities for system...
RTSS
2006
IEEE
14 years 4 months ago
2006
IEEE
Recent years have seen rapid growth of online services that rely on large-scale server clusters to handle high volume of requests. Such clusters must adaptively control the CPU ut...
IJCAI
1989
13 years 11 months ago
1989
In this paper a knowledge based assembly control system for automobile manufacturing is presented which has been implemented for the B M W manufacturing facilities in Munich. The ...
TC
1998
13 years 10 months ago
1998
ion Techniques for Validation Coverage Analysis and Test Generation Dinos Moundanos, Jacob A. Abraham, Fellow, IEEE, and Yatin V. Hoskote —The enormous state spaces which must be...
ROBIO
2006
IEEE
14 years 4 months ago
2006
IEEE
— Humanoid robots are highly redundant systems with respect to the tasks they are asked to perform. This redundancy manifests itself in the number of degrees of freedom of the ro...