Non-Functional Certification of Modern Distributed Systems: A Research Manifesto.
Claudio A. ArdagnaNicola BenaPublished in: SSE (2023)
Keyphrases
- distributed systems
- fault tolerant
- distributed environment
- geographically distributed
- operating system
- load balancing
- fault tolerance
- message passing
- deadlock detection
- distributed database systems
- concurrent systems
- third party
- management system
- agent technology
- real time systems
- distributed computing
- databases
- replicated data
- distributed databases
- mobile agents
- mobile computing
- security policies
- database