End-to-End Service Auction: A General Double Auction Mechanism for Edge Computing Services | IEEE Journals & Magazine | IEEE Xplore