4M-Switch: Multi-mode-multi-model supervisory control framework for performance differentiation in virtual machine environments | IEEE Conference Publication | IEEE Xplore