3601 search results - page 199 / 721 » The Future of Virtualization Technology |
163
click to vote
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
194
click to vote
Publication
This paper describes the design and implementation of a paravirtualized file system interface for Linux in the KVM environment. Today’s solution of sharing host files on the gues...
123
click to vote
DIGITALCITIES
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we present the evacuation simulation system that is the combination of a virtual city and a crisis management simulation. The system allows users to become virtual e...
120
Voted
ISCC
2002
IEEE
15 years 8 months ago
2002
IEEE
Virtual Private Networks (VPN) represent, in today’s Internet, one of the most interesting applications. This is due both to their usefulness in corporate network scenarios and ...
150
Voted
CHI
1999
ACM
15 years 8 months ago
1999
ACM
The role of computers in the modern office has tended to split our activities between virtual interactions in the realm of the computer and physical interactions with real objects...