Double-Auction Mechanisms for Resource Trading Markets | IEEE Journals & Magazine | IEEE Xplore