A Practical Model for Analyzing Push-Based Virtual Machine Live Migration | IEEE Conference Publication | IEEE Xplore