733 search results - page 56 / 147 » Formal Reasoning About Intrusion Detection Systems |
KR
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we introduce a formal framework for the construction of normative multiagent systems, based on Searle’s notion of the construction of social reality. Within the st...
104
click to vote
ESWS
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
178
click to vote
POPL
2008
ACM
16 years 6 days ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
111
click to vote
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
100
click to vote
ENTCS
2007
14 years 12 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...