2838 search results - page 106 / 568 » Verifying Controlled Components |
ECBS
2005
IEEE
14 years 3 months ago
2005
IEEE
The high cost of operating large computing installations has motivated a broad interest in reducing the need for human intervention by making systems self-managing. This paper exp...
CORR
2004
Springer
13 years 10 months ago
2004
Springer
This paper gives an overview of the assessment and evaluation methods which have been used to determine the quality of the INSPIRE smart home system. The system allows different h...
ICSE
1999
IEEE-ACM
14 years 2 months ago
1999
IEEE-ACM
To integrate a software component into a system, it must interact properly with the system's other components. Unfortunately,the decisions about how a component is to interac...
ISBI
2006
IEEE
14 years 10 months ago
2006
IEEE
In the Magnetic Resonance Elastography experiment we consider a harmonically oscillating mechanical force applied to the boundary surface of a phantom and synchronized with the mo...
FCCM
2005
IEEE
14 years 3 months ago
2005
IEEE
Although researchers have presented individual techniques to efficiently utilize the Peripheral Component Interconnect (PCI) bus, their contributions fail to provide a direct path...