Toward rigorous design of domain-specific distributed systems.
Mohammed Al-MahfoudhGanesh GopalakrishnanRyan StutsmanPublished in: FormaliSE@ICSE (2016)
Keyphrases
- distributed systems
- domain specific
- fault tolerant
- distributed environment
- load balancing
- software architecture
- fault tolerance
- distributed computing
- geographically distributed
- message passing
- distributed database systems
- operating system
- design process
- agent technology
- real time systems
- case study
- data replication
- security policies
- mobile computing
- mobile agents
- artificial intelligence
- agent based systems
- replicated data