Formal Specification Language Based IaaS Cloud Workload Regression Analysis.
Sukhpal SinghInderveer ChanaPublished in: CoRR (2014)
Keyphrases
- regression analysis
- cloud computing
- formal specification language
- temporal logic
- data center
- formal specification
- formal methods
- regression model
- linear regression model
- data management
- service providers
- factor analysis
- model checking
- explanatory variables
- linear regression models
- interval valued data
- correlation analysis
- virtual machine
- independent variables
- belief revision
- dependent variables
- machine learning
- model selection
- similarity measure
- database systems