Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates.
Yuechen QianPublished in: ICFEM (2003)
Keyphrases
- distributed systems
- decision support
- selection mechanism
- multi agent
- peer to peer
- distributed environment
- cooperative
- st century
- formal model
- load balancing
- heterogeneous environments
- communication overhead
- support systems
- computing environments
- fault tolerant
- development process
- decision making
- mobile agents
- computational model
- query processing
- case study
- website