An Integrated Approach for Specifying and Enforcing SLAs for Cloud Services | IEEE Conference Publication | IEEE Xplore