Applying Double-Sided Combinational Auctions to Resource Allocation in Cloud Computing | Synapse