Budget-Aware User Satisfaction Maximization on Service Provisioning in Mobile Edge Computing | IEEE Journals & Magazine | IEEE Xplore