Modeling Active Virtual Machines on IaaS Clouds Using an M/G/m/m+K Queue | IEEE Journals & Magazine | IEEE Xplore