Parked Vehicular Computing for Energy-Efficient Internet of Vehicles: A Contract Theoretic Approach | IEEE Journals & Magazine | IEEE Xplore