[IEEE 2011 IEEE 4th International Conference on Cloud Computing (CLOUD) - Washington, DC, USA (2011.07.4-2011.07.9)] 2011 IEEE 4th International Conference on Cloud Computing - Performance Modeling of Virtual Machine Live Migration