117 search results - page 5 / 24 » Towards preserving correctness in self-managed software syst... |
COORDINATION
2005
Springer
14 years 1 months ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
FTCS
1998
13 years 8 months ago
1998
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
EDCC
2010
Springer
14 years 8 days ago
2010
Springer
Abstract—A dependable software system contains two important components, namely, error detection mechanisms and error recovery mechanisms. An error detection mechanism attempts t...
WOSS
2004
ACM
14 years 27 days 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...
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
In a component-based software system the components are specified, designed and implemented with the intention to be reused, and are assembled in various contexts in order to pro...