Computation Resource Allocation and Task Assignment Optimization in Vehicular Fog Computing: A Contract-Matching Approach | IEEE Journals & Magazine | IEEE Xplore