Dynamic Virtual Machine Migration in a vehicular cloud | IEEE Conference Publication | IEEE Xplore