12459 search results - page 203 / 2492 » cans 2006 |
136
click to vote
CSREASAM
2006
15 years 6 months ago
2006
- In this paper, we propose a method to analyze the firewall policy or rule-set using Relational Algebra and Raining 2D-Box Model. It can discover all the anomalies in the firewall...
136
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the
137
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
In software engineering contexts software may be compared for similarity in order to detect duplicate code that indicates poor design, and to reconstruct evolution history. Malicio...
102
click to vote
DLOG
2006
15 years 6 months ago
2006
The goal of this paper is to present how the Prolog Technology Theorem Proving (PTTP) approach can be used for ABox-reasoning. This work presents an inference algorithm over the l...
143
click to vote
DLOG
2006
15 years 6 months ago
2006
Modularity and rigor are two key elements for multi-agent technology. Hong Zhu's multi-agent system (MAS) development method provides proper language facilities supporting mo...