307 search results - page 58 / 62 » On the Integrity of Lightweight Checkpoints |
HYBRID
2010
Springer
14 years 15 days ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
SIGMOD
2000
ACM
13 years 11 months ago
2000
ACM
We present WSQ/DSQ (pronounced “wisk-disk”), a new approach for combining the query facilities of traditional databases with existing search engines on the Web. WSQ, for Web-S...
AINA
2010
IEEE
13 years 11 months ago
2010
IEEE
One of the major premises of P2P systems is to enable fully decentralized collaborative functionalities for supporting work teams and P2P communities. Within collaborative systems,...
FORMATS
2007
Springer
13 years 11 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
SP
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract—Most security mechanisms proposed to date unquestioningly place trust in microprocessor hardware. This trust, however, is misplaced and dangerous because microprocessors...