Managing Peak Loads by Leasing Cloud Infrastructure Services from a Spot Market | IEEE Conference Publication | IEEE Xplore