A Cloud Computing Resource Allocation Model Based on Combinatorial Double Auction | IEEE Conference Publication | IEEE Xplore