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