Edge computing resource procurement: An online optimization approach | IEEE Conference Publication | IEEE Xplore