1804 search results - page 297 / 361 » Intrusion Detection Using Sequences of System Calls |
IEEEARES
2008
IEEE
14 years 3 months ago
2008
IEEE
—Failure detectors are a fundamental part of safe fault-tolerant distributed systems. Many failure detectors use heartbeats to draw conclusions about the state of nodes within a ...
CAV
2007
Springer
14 years 3 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
ENTCS
2010
13 years 9 months ago
2010
Futures are special kind of values that allow the synchronisation of different processes. Futures are in fact identifiers for promised results of function calls that are still awa...
WMRD
1990
14 years 27 days ago
1990
Ficus is a replicated general ling environment for Unix intended to scale to very large nationwide networks. The system employs an optimistic one copy availability" model in ...
DFG
2004
Springer
14 years 18 days ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...