Formal Analysis of Load Balancing in Microservices with Scenario Calculus.
Hong ZhuHongbo WangIan BayleyPublished in: IEEE CLOUD (2018)
Keyphrases
- formal analysis
- load balancing
- dynamic load balancing
- distributed systems
- peer to peer
- grid computing
- fault tolerance
- formal methods
- mobile agents
- resource utilization
- parallel database systems
- skewed data
- round robin
- load balance
- load distribution
- low overhead
- load balancing strategy
- ban logic
- computing resources
- agent model
- knowledge representation
- databases