A Provably-Efficient Online Algorithm for Re-Utilizing Unused VM Resources for Edge Providers | IEEE Conference Publication | IEEE Xplore