A Procurement Auction Market to Trade Residual Cloud Computing Capacity | IEEE Journals & Magazine | IEEE Xplore