Towards a Formal Definition of a Computing Cloud | IEEE Conference Publication | IEEE Xplore