Taming distributed system complexity through formal patterns.
José MeseguerPublished in: Sci. Comput. Program. (2014)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- fault tolerance
- distributed computing
- load balancing
- message passing
- geographically distributed
- distributed database systems
- security policies
- computational complexity
- worst case
- operating system
- mobile agents
- concurrent systems
- software architecture
- frequent patterns
- information exchange
- data mining techniques
- formal specification
- multimedia
- data replication
- design patterns
- agent technology
- database systems
- agent based systems
- artificial intelligence