An Efficient Virtual Machine Management Algorithm for Vehicular Clouds | IEEE Conference Publication | IEEE Xplore