Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns.
Kenneth JohnsonSimon ReedRadu CalinescuPublished in: Haifa Verification Conference (2011)
Keyphrases
- quantitative analysis
- qualitative analysis
- qualitative evaluation
- qualitative and quantitative analysis
- cloud computing
- bayesian networks
- pattern discovery
- high level
- sequential patterns
- uncertain data
- generative model
- image data
- virtual machine
- probabilistic model
- probabilistic logic
- brain structures
- data analytics
- data structure
- data mining