2838 search results - page 150 / 568 » Verifying Controlled Components |
69
Voted
ICSE
2009
IEEE-ACM
15 years 7 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...
120
Voted
RTSS
2006
IEEE
15 years 6 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...
89
Voted
IJCAI
1989
15 years 1 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 ...
112
click to vote
TC
1998
15 years 12 days 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
15 years 6 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...