Weakest Invariant Generation for Automated Addition of Fault-Tolerance.
Fuad AbujaradSandeep S. KulkarniPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- fault tolerance
- fault tolerant
- distributed systems
- high availability
- response time
- load balancing
- distributed computing
- replicated databases
- mobile agents
- peer to peer
- database replication
- group communication
- data replication
- distributed query processing
- fault management
- node failures
- distributed environment
- knowledge acquisition
- data analysis
- high scalability
- failure recovery