2560 search results - page 15 / 512 » Analysis Tool for Honeypot Systems |
CAV
2010
Springer
13 years 10 months ago
2010
Springer
Formal specifications play an increasingly important role in system design-flows. Yet, they are not always easy to deal with. In this paper we present RATSY, a successor of the R...
IMCSIT
2010
13 years 4 months ago
2010
The paper presents an extended version of the SuperMatrix system -- a general tool supporting automatic acquisition of lexical semantic relations from corpora. Extensions focus mai...
SEW
2005
IEEE
14 years 9 days ago
2005
IEEE
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
BMCBI
2008
13 years 6 months ago
2008
ent> <title> <p>UT-ORNL-KBRIN Bioinformatics Summit 2008</p> </title> <editor>Eric C Rouchka and Julia Krushkal</editor> <note>Meeting ...
CSMR
2009
IEEE
13 years 11 months ago
2009
IEEE
A tool for Enterprise Architecture analysis using a probabilistic mathematical framework is demonstrated. The Model-View-Controller tool architecture is outlined, he use of the to...