Combinatorial Auction-Based Mechanisms for VM Provisioning and Allocation in Clouds | IEEE Conference Publication | IEEE Xplore