4350 search results - page 70 / 870 » Case studies for contract-based systems |
UML
2005
Springer
14 years 3 months ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
CODES
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper discusses the trade-off between calculations and memory accesses in a 3D graphics tile renderer for visualization of data from medical scanners. The performance require...
IAT
2009
IEEE
14 years 1 months ago
2009
IEEE
—Information can change rapidly on the web. For example, news may hint some new story starts to develop. Many more news related to the original event begin to pour in the web. Im...
AUTOMATICA
2006
13 years 10 months ago
2006
Given a number of possibly concurrent faults (and disturbances) that may affect a nonlinear dynamic system, it may not be possible to solve the standard fault detection and isolat...
ISSRE
2010
IEEE
13 years 8 months ago
2010
IEEE
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...