Demand Response in Data Centers: Integration of Server Provisioning and Power Procurement | IEEE Journals & Magazine | IEEE Xplore