Resource Provisioning with Budget Constraints for Adaptive Applications in Cloud Environments | IEEE Journals & Magazine | IEEE Xplore