212 search results - page 25 / 43 » Failure Behavior Analysis for Reliable Distributed Embedded ... |
SIGSOFT
2006
ACM
15 years 5 months ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
PODC
2004
ACM
15 years 5 months ago
2004
ACM
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
122
click to vote
RTAS
1997
IEEE
15 years 4 months ago
1997
IEEE
ÐReal-time middleware services must guarantee predictable performance under specified load and failure conditions, and ensure graceful degradation when these conditions are violat...
IEEEAMS
2003
IEEE
15 years 5 months ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
103
click to vote
ATVA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...