An auto-scaling mechanism for virtual resources to support mobile, pervasive, real-time healthcare applications in cloud computing | IEEE Journals & Magazine | IEEE Xplore