1054 search results - page 160 / 211 » Translation Validation of System Abstractions |
154
click to vote
FC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Ciphire Mail is cryptographic software that provides email encryption and digital signatures. The Ciphire Mail client resides on the user's computer between the emai...
190
click to vote
ISCA
2002
IEEE
15 years 11 months ago
2002
IEEE
We develop an availability solution, called SafetyNet, that uses a unified, lightweight checkpoint/recovery mechanism to support multiple long-latency fault detection schemes. At...
151
click to vote
HAIS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Accurate and swift responses are crucial to Intrusion Detection Systems (IDSs), especially if automatic abortion mechanisms are running. In keeping with this idea, this w...
167
click to vote
ADBIS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we describe a transaction management system designed to face the inherent characteristics of mobile environments. Mobile clients cache subsets of the databa...
166
click to vote
AROBOTS
2002
15 years 6 months ago
2002
Abstract. In multi-robot applications, such as foraging or collection tasks, interference, which results from competition for space between spatially extended robots, can significa...