Design and Analysis of a Communication Protocol for Dynamic Vehicular Clouds in Smart Cities | IEEE Conference Publication | IEEE Xplore