1222 search results - page 115 / 245 » Verifying a File System Implementation |
165
Voted
IC
2003
15 years 4 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...
113
click to vote
ESORICS
2009
Springer
16 years 3 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...
150
Voted
IPPS
2010
IEEE
15 years 21 hour 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 ...
134
Voted
WIAMIS
2009
IEEE
15 years 9 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...
118
Voted
ERSA
2006
15 years 4 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...