9503 search results - page 1663 / 1901 » Authenticated System Calls |
177
click to vote
ESORICS
2005
Springer
16 years 5 days ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
210
click to vote
ICN
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by prov...
172
click to vote
LOCA
2005
Springer
16 years 4 days ago
2005
Springer
In this paper, we present a robust, decentralized approach to RF-based location tracking. Our system, called MoteTrack, is based on low-power radio transceivers coupled with a mode...
186
click to vote
MATES
2005
Springer
16 years 4 days ago
2005
Springer
Independent from specific application domains, similar requirements can be identified regarding information needs during daily work. For coping with generality on the one hand an...
211
click to vote
SG
2005
Springer
16 years 3 days ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...