Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.
Frank S. de BoerReiner HähnleEinar Broch JohnsenRudolf SchlattePeter Y. H. WongPublished in: ESOCC (2012)
Keyphrases
- resource management
- resource allocation
- management system
- quality of service
- computing resources
- intelligent agents
- power control
- resource usage
- resource manager
- resource utilization
- grid computing
- call admission control
- admission control
- database
- machine learning
- multi agent systems
- natural resources
- blocking probability
- cooperative
- case study