Dynamic Resource Allocation in Edge Computing Using Double Auction Mechanism | IEEE Conference Publication | IEEE Xplore