307 search results - page 32 / 62 » On the Integrity of Lightweight Checkpoints |
107
Voted
GI
2010
Springer
14 years 10 months ago
2010
Springer
: paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastruct...
136
Voted
IOT
2010
14 years 10 months ago
2010
Abstract--Many efforts are centered around creating largescale networks of "smart things" found in the physical world (e.g., wireless sensor and actuator networks, embedd...
118
click to vote
DISCEX
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper¢ presents an authorization framework for supporting fine-grained access control policies enhanced with light-weight intrusion/misuse detectors and response capabiliti...
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
82
Voted
CHI
2006
ACM
16 years 25 days ago
2006
ACM
We explore making virtual desktops behave in a more physically realistic manner by adding physics simulation and using piling instead of filing as the fundamental organizational s...