Towards a Formal Component Model for the Cloud.
Roberto Di CosmoStefano ZacchiroliGianluigi ZavattaroPublished in: SEFM (2012)
Keyphrases
- formal model
- probabilistic model
- information systems
- experimental data
- parameter estimation
- mathematical model
- database
- neural network
- object model
- management system
- computational model
- virtual machine
- conceptual model
- statistical model
- process model
- em algorithm
- probability distribution
- cost function
- objective function
- data sets