A Formal Model for Fault-Tolerance in Distributed Systems.
Brahim HamidMohamed MosbahPublished in: SAFECOMP (2005)
Keyphrases
- formal model
- distributed systems
- fault tolerance
- fault tolerant
- distributed computing
- load balancing
- high availability
- distributed environment
- geographically distributed
- mobile agents
- database replication
- distributed database systems
- operating system
- data replication
- fault management
- failure recovery
- single point of failure
- security policies
- artificial intelligence
- mobile computing
- software architecture
- access control
- software development
- databases