A Real Time Parking Reservation System Based on Vehicular Cloud Computing | IEEE Conference Publication | IEEE Xplore