733 search results - page 108 / 147 » Formal Reasoning About Intrusion Detection Systems |
171
click to vote
IJBRA
2007
15 years 5 months ago
2007
: The biomedical literature is growing at an ever-increasing rate, which pronounces the need to support scientists with advanced, automated means of accessing knowledge. We investi...
176
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
157
click to vote
IH
2005
Springer
15 years 11 months ago
2005
Springer
We study the effect compulsion attacks, through which an adversary can request a decryption or key from an honest node, have on the security of mix based anonymous communication s...
180
click to vote
SPATIALCOGNITION
2000
Springer
15 years 9 months ago
2000
Springer
This work is about the integration of the skills robot control, landmark recognition, and qualitative reasoning in a single autonomous mobile system. It deals with the transfer of ...
162
click to vote
AAAI
2004
15 years 7 months ago
2004
Qualitative assessment of scientific computations is an emerging application area that applies a data-driven approach to characterize, at a high level, phenomena including conditi...