AVARAC: An Availability-Based Resource Allocation Scheme for Vehicular Cloud | IEEE Journals & Magazine | IEEE Xplore