A Case for Alternative Nested Paging Models for Virtualized Systems | IEEE Journals & Magazine | IEEE Xplore