1222 search results - page 115 / 245 » Verifying a File System Implementation |
224
click to vote
IC
2003
15 years 7 months ago
2003
: Remote real laboratories deal with performing real lab experiments remotely via Internet. Recent advances in Internet/web technologies and computer-controlled instrumentation all...
150
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
In this paper, we propose a novel ID-based secure distance bounding protocol. Unlike traditional secure distance measurement protocols, our protocol is based on standard insecure d...
201
click to vote
IPPS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
177
click to vote
WIAMIS
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose an autonomous system for personalized production of basketball videos from multi-sensored data under limited display resolution. Especially, we propose criteria for opt...
152
click to vote
ERSA
2006
15 years 7 months ago
2006
Abstract-- In this work the problem of modeling reconfigurable systems behavior with a precise, executable semantics is considered. The possibility of synthesising such models onto...