137 search results - page 23 / 28 » Justifying Integrity Using a Virtual Machine Verifier |
PADS
2009
ACM
14 years 2 months ago
2009
ACM
We use a realistic interdomain routing experiment platform to conduct real-time attack and defense exercises for training purposes. Our interdomain routing experiment platform int...
JAVA
2001
Springer
13 years 12 months ago
2001
Springer
CCJ is a communication library that adds MPI-like collective operations to Java. Rather than trying to adhere to the precise MPI syntax, CCJ aims at a clean integration of collect...
EDUTAINMENT
2007
Springer
14 years 1 months ago
2007
Springer
Interactive storytelling in the virtual environment attracts a lot of research interests in recent years. Story plot and character are two most important elements of a story. Based...
MOBISYS
2008
ACM
14 years 7 months ago
2008
ACM
Many people desire ubiquitous access to their personal computing environments. We present a system in which a user leverages a personal mobile device to establish trust in a publi...
KBSE
2000
IEEE
13 years 12 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...