A Virtualization Infrastructure that Supports Pervasive Computing | IEEE Journals & Magazine | IEEE Xplore