Rolling Upgrade with Dynamic Batch Size for IaaS Cloud | IEEE Conference Publication | IEEE Xplore