A review of SLA specification languages in the cloud computing | IEEE Conference Publication | IEEE Xplore