2560 search results - page 46 / 512 » Analysis Tool for Honeypot Systems |
163
click to vote
ICFEM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
149
click to vote
KBSE
2008
IEEE
16 years 20 days ago
2008
IEEE
Requirements analysis is an important phase in a software project. Automatic evaluation of Natural Language (NL) requirements documents has been proposed as a means to improve the...
142
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
146
click to vote
SERP
2003
15 years 7 months ago
2003
This paper presents an integrated set of tools for performance-oriented development of software targeted to distributed heterogeneous systems. Using these tools, software developm...
165
click to vote
SIGDOC
1997
ACM
15 years 10 months ago
1997
ACM
CogentHelp is a prototype tool for authoring dynamically generated on-line help for applications with graphical user interfaces (GUIs) built using the tract Windowing Toolkit (AWT...