733 search results - page 11 / 147 » Formal Reasoning About Intrusion Detection Systems |
146
click to vote
IWFM
2000
15 years 5 months ago
2000
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
145
click to vote
IEEECIT
2010
IEEE
15 years 3 months ago
2010
IEEE
—The complexity of modern networked information systems, as well as all the defense-in-depth best practices, require distributed intrusion detection architectures relying on the ...
150
click to vote
ATAL
1999
Springer
15 years 8 months ago
1999
Springer
Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper prese...
128
click to vote
AAAI
2011
14 years 4 months ago
2011
Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learning—without human interventionâ...
149
click to vote
JUCS
2008
15 years 4 months ago
2008
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...