Themis: Economy-based Automatic Resource Scaling for Cloud Systems | IEEE Conference Publication | IEEE Xplore