A Receding Horizon Approach for the Runtime Management of IaaS Cloud Systems | IEEE Conference Publication | IEEE Xplore