733 search results - page 108 / 147 » Formal Reasoning About Intrusion Detection Systems |
IJBRA
2007
14 years 11 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...
113
click to vote
ICFP
2005
ACM
15 years 11 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...
102
click to vote
IH
2005
Springer
15 years 5 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...
118
click to vote
SPATIALCOGNITION
2000
Springer
15 years 3 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 ...
AAAI
2004
15 years 1 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...