580 search results - page 76 / 116 » Dependable domestic systems design: A socio-technical approa... |
WOSS
2004
ACM
14 years 1 months ago
2004
ACM
Complex distributed Internet services form the basis not only of e-commerce but increasingly of mission-critical networkbased applications. What is new is that the workload and in...
ESWA
2008
13 years 6 months ago
2008
Over the years, many Artificial Intelligence (AI) approaches have dealt with the diagnosis problem and its application in complex environments such as medical domains. Model-Based...
BIRTHDAY
2003
Springer
14 years 28 days ago
2003
Springer
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...
IJRR
2010
13 years 6 months ago
2010
Rough terrain autonomous navigation continues to pose a challenge to the robotics community. Robust navigation by a mobile robot depends not only on the individual performance of ...
ICCAD
1999
IEEE
13 years 12 months ago
1999
IEEE
Dynamic Power Management (DPM) is a technique to reduce power consumption of electronic systems by selectively shutting down idle components. The quality of the shutdown control a...