Computing Resource Provisioning at the Edge: An Overbooking-Enabled Trading Paradigm | IEEE Journals & Magazine | IEEE Xplore