Energy Optimization for Task Offloading Based on Auction Mechanism in Ad Hoc Mobile Cloud | IEEE Conference Publication | IEEE Xplore