Automated Analysis of Fault-Tolerance in Distributed Systems.
Scott D. StollerFred B. SchneiderPublished in: Formal Methods Syst. Des. (2005)
Keyphrases
- automated analysis
- fault tolerance
- distributed systems
- fault tolerant
- distributed computing
- visual analysis
- load balancing
- high availability
- mobile agents
- distributed environment
- distributed database systems
- database replication
- geographically distributed
- failure recovery
- video analysis
- operating system
- data replication
- fault management
- mobile computing
- single point of failure
- open source
- event detection