733 search results - page 10 / 147 » Formal Reasoning About Intrusion Detection Systems |
108
click to vote
ISOLA
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
105
click to vote
WWW
2004
ACM
16 years 10 days ago
2004
ACM
The paper describes some innovations related to the ongoing work on the GSA prototype, an integrated information retrieval agent. In order to improve the original system effective...
104
click to vote
ESORICS
2006
Springer
15 years 3 months ago
2006
Springer
IDS research still needs to strengthen mathematical foundations and theoretic guidelines. In this paper, we build a formal framework, based on information theory, for analyzing and...
102
Voted
TABLEAUX
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...