Variation-Aware Resource Allocation Evaluation for Cloud Workflows Using Statistical Model Checking.
Saijie HuangMingsong ChenXiao LiuDehui DuXiaohong ChenPublished in: BDCloud (2014)
Keyphrases
- resource allocation
- model checking
- temporal logic
- automated verification
- temporal properties
- formal verification
- resource allocation problems
- model checker
- transition systems
- bounded model checking
- optimal resource allocation
- formal specification
- scarce resources
- allocation problems
- concurrent systems
- game theory
- cloud computing
- resource allocation decisions
- linear temporal logic
- cloud computing environment
- timed automata
- process algebra
- symbolic model checking
- verification method
- combinatorial auctions
- computation tree logic
- knowledge based systems
- formal methods
- distributed resource allocation