A resource allocation scheme based on Semi-Markov Decision Process for dynamic vehicular clouds | IEEE Conference Publication | IEEE Xplore