Service provisioning in virtualization-based Cloud computing: Modeling and optimization | IEEE Conference Publication | IEEE Xplore