Dynamic resource provisioning in cloud computing: A randomized auction approach | IEEE Conference Publication | IEEE Xplore