733 search results - page 52 / 147 » Formal Reasoning About Intrusion Detection Systems |
204
click to vote
CLIMA
2006
15 years 7 months ago
2006
This paper reports on a fertile marriage between madAgents, a Java and Prolog based multi-agent platform, and EVOLP, a logic programming based language to represent and reason abou...
151
click to vote
JSS
2007
15 years 6 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
164
click to vote
ECBS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a practical approach to architecture-based design of computer based systems. The approach is discussed in relation to other existing of performing discovery, a...
165
click to vote
FOIS
2001
15 years 7 months ago
2001
The uptake in the software industry of notations for designing systems visually has been accelerated with the standardization of the Unified Modeling Language (UML). The formaliza...
138
click to vote
FMICS
2009
Springer
16 years 22 days ago
2009
Springer
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...