260 search results - page 34 / 52 » Quantifying the performance isolation properties of virtuali... |
WWW
2005
ACM
14 years 8 months ago
2005
ACM
We present WebPod, a portable system that enables mobile users to use the same persistent, personalized web browsing session on any Internet-enabled device. No matter what compute...
COLCOM
2007
IEEE
13 years 9 months ago
2007
IEEE
—This paper proposes a framework for a virtual classroom application based on a Virtual Collaboration System (VCS), which is being developed under the VISNET II Network of Excell...
AAAI
2012
11 years 9 months ago
2012
Event extraction systems typically locate the role fillers for an event by analyzing sentences in isolation and identifying each role filler independently of the others. We argu...
CADE
2005
Springer
14 years 7 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
ACSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
New security architectures are difficult to prototype and test at the design stage. Fine-grained monitoring of the interactions between hardware, the operating system, and applica...