295 search results - page 41 / 59 » Invariants Based Failure Diagnosis in Distributed Computing ... |
CONCUR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
WORDS
2005
IEEE
14 years 1 months ago
2005
IEEE
Self-healing systems focus on how to reducing the complexity and cost of the management of dependability policies and mechanisms without human intervention. This position paper pr...
DSN
2003
IEEE
14 years 29 days ago
2003
IEEE
Many fault-tolerant group communication middleware systems have been implemented assuming crash failure semantics. While this assumption is not unreasonable, it becomes hard to ju...
ICDCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Record and Replay (RR) is a software based state replication solution designed to support recording and subsequent replay of the execution of unmodified applications running on mu...
EGC
2005
Springer
14 years 1 months ago
2005
Springer
A major challenge facing grid applications is the appropriate handling of failures. In this paper we address the problem of making parallel Java applications based on Remote Method...