An Efficient Spectrum Sharing Approach for Cognitive radio enabled Vehicular Cloud | IEEE Conference Publication | IEEE Xplore