733 search results - page 34 / 147 » Formal Reasoning About Intrusion Detection Systems |
106
click to vote
EASSS
2001
Springer
15 years 6 months ago
2001
Springer
This contribution presents a knowledge-based model of the agents’ mutual awareness (social knowledge) and justifies its role in various classes of applications of the concept of...
125
click to vote
DSN
2008
IEEE
15 years 3 months ago
2008
IEEE
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
116
click to vote
FAABS
2000
Springer
15 years 5 months ago
2000
Springer
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...
101
click to vote
HYBRID
1992
Springer
15 years 5 months ago
1992
Springer
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
EUROMICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...