Resource Trading in Edge Computing-Enabled IoV: An Efficient Futures-Based Approach | IEEE Journals & Magazine | IEEE Xplore