SMDP-Based Prioritized Channel Allocations in Vehicular Ad Hoc Networks | IEEE Conference Publication | IEEE Xplore