733 search results - page 133 / 147 » Formal Reasoning About Intrusion Detection Systems |
FOAL
2008
ACM
15 years 1 months ago
2008
ACM
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...
RTSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Preventing denial-of-service attacks in wireless sensor networks is difficult primarily because of the limited resources available to network nodes and the ease with which attacks...
104
click to vote
EACL
2006
ACL Anthology
15 years 1 months ago
2006
ACL Anthology
This paper addresses the problem of automatically retrieving answers for how-to questions, focusing on those that inquire about the procedure for achieving a specific goal. For su...
AIPS
1998
15 years 1 months ago
1998
We describe a framework for planning in dynamic environments. A central question is how to focus the sensing performed by such a system, so that it responds appropriately to relev...
RE
2008
Springer
14 years 11 months ago
2008
Springer
Representation and reasoning about goals of an information system unavoidably involve the transformation of unclear stakeholder requirements into an instance of a goal model. If t...