2560 search results - page 143 / 512 » Analysis Tool for Honeypot Systems |
125
click to vote
CAISE
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Information systems engineering for design or knowledge communities is characterized by the fact that these communities constantly monitor themselves and initiate repair ...
171
click to vote
DANCE
2002
IEEE
15 years 7 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
125
click to vote
HOTOS
2007
IEEE
15 years 5 months ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...
TACAS
1995
Springer
15 years 5 months ago
1995
Springer
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...
109
click to vote
HCW
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper describes a simulation tool for the analysis of complex jobs described in the form of task graphs. The simulation procedure relies on the PN-based topological represent...