Handbook of logic in computer science (vol. 1)
Computable functions and semicomputable sets on many-sorted algebras
Handbook of logic in computer science
WWW '05 Proceedings of the 14th international conference on World Wide Web
ACM Transactions on Software Engineering and Methodology (TOSEM)
A break in the clouds: towards a cloud definition
ACM SIGCOMM Computer Communication Review
Communications of the ACM
CloudCmp: comparing public cloud providers
IMC '10 Proceedings of the 10th ACM SIGCOMM conference on Internet measurement
To cloud or not to cloud?: musings on costs and viability
Proceedings of the 2nd ACM Symposium on Cloud Computing
The Cloud Adoption Toolkit: supporting cloud adoption decisions in the enterprise
Software—Practice & Experience
Specification and quantitative analysis of probabilistic cloud deployment patterns
HVC'11 Proceedings of the 7th international Haifa Verification conference on Hardware and Software: verification and testing
Hi-index | 0.00 |
Cloud computing is a new technology paradigm in which software, development platforms and infrastructure are delivered as a service. The most attractive aspect of cloud technology is its elasticity, enabling scalable infrastructure to suit usage requirements over fine-grained measurements of time. By deploying their service on the cloud, the service provider alleviates the need for large initial investments of physical hardware. Infrastructure is provisioned whenever it is needed. As a result, the operating costs incurred by the service provider can be difficult to quantify. We develop an algebraic specification of computing as a service from the perspective of the service provider. Modelling key aspects of the infrastructure and the way it is provisioned, we quantify monetary costs based on the rental of virtual hardware and the volume of data processed.