Improving reliability in management of cloud computing infrastructure by formal methods.
Shinji KikuchiKunihiko HiraishiPublished in: NOMS (2014)
Keyphrases
- formal methods
- computing infrastructure
- high performance computing
- cloud computing
- data management
- life sciences
- management system
- model checking
- software engineering
- artificial intelligence
- formal specification
- knowledge based systems
- data processing
- computing platform
- distributed computing
- computing systems
- information systems
- computing resources
- knowledge management