1636 search results - page 12 / 328 » Reasoning About Quantum Systems |
ACSAC
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper presents techniques to integrate and reason about complementary intrusion evidence such as alerts generated by intrusion detection systems (IDSs) and reports by system ...
CONCUR
2001
Springer
15 years 4 months ago
2001
Springer
The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems. The first part of th...
132
click to vote
AGP
2003
IEEE
15 years 5 months ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
AMAI
2007
Springer
14 years 12 months ago
2007
Springer
Modeling molecular interactions in biological networks is important from various perspectives such as predicting side effects of drugs, explaining unusual cellular behavior and dr...
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...