What If VEC Is Moving: Probabilistic Model of Task Execution Through Offloading in Vehicular Computing Environments | IEEE Journals & Magazine | IEEE Xplore