SLAC: A Formal Service-Level-Agreement Language for Cloud Computing | IEEE Conference Publication | IEEE Xplore