Decision Support for Mobile Cloud Computing Applications via Model Checking.
Luca AcetoAndrea MorichettaFrancesco TiezziPublished in: MobileCloud (2015)
Keyphrases
- cloud computing
- model checking
- decision support
- temporal logic
- middleware architecture
- data management
- computing resources
- internet services
- data center
- decision support system
- cloud computing environment
- service providers
- automated verification
- distributed computing
- formal verification
- temporal properties
- data warehousing
- model checker
- mobile phone
- bounded model checking
- formal specification
- mobile devices
- business intelligence
- mobile computing
- decision makers
- computation tree logic
- verification method
- data warehouse
- symbolic model checking
- cloud computing platform
- business models
- formal methods
- epistemic logic
- mobile users
- mobile learning
- alternating time temporal logic
- mobile applications
- database
- decision making
- smart phones
- mobile technologies
- computing infrastructure
- modal logic
- knowledge management
- database systems
- case study
- databases