2560 search results - page 52 / 512 » Analysis Tool for Honeypot Systems |
145
click to vote
SAMOS
2004
Springer
15 years 7 months ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...
121
click to vote
COMMA
2008
15 years 3 months ago
2008
This paper formulates in the first part some requirements for a certain sort of computational argumentation systems, namely those which are designed for a very specific purpose: to...
107
click to vote
CALCO
2007
Springer
15 years 7 months ago
2007
Springer
This paper describes the main features of several tools concerned with the analysis of either Maude specifications, or of extensions of such specifications: the ITP, MTT, CRC, Ch...
152
click to vote
TACAS
1997
Springer
15 years 5 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
190
click to vote
SIGMOD
2005
ACM
16 years 1 months ago
2005
ACM
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...