3400 search results - page 108 / 680 » tools 2008 |
SPLC
2008
13 years 10 months ago
2008
SAT solvers technology is now mature enough to be part of the engineer toolbox side by side with Mixed Integer Programming and Constraint Programming tools. As of June 2008, two g...
AWPN
2008
13 years 10 months ago
2008
In this paper we propose a method and present a tool as plugin for Renew that supports the process of discovery of differences in possibly conflicting versions of Petri net code. T...
CE
2008
13 years 9 months ago
2008
This paper reports on a case study of a teacher from a technical education institution who explored the educational affordances of PDA technology over a period of six months. Base...
TSE
1998
13 years 8 months ago
1998
Developers need tool support to help manage the wide range of inconsistencies that occur during software development. Such tools need to provide developers with ways to define, de...
FGCN
2008
IEEE
14 years 3 months ago
2008
IEEE
Today, honeypot operators are strongly relying on network analysis tools to examine network traces collected in their honeynet environment. The accuracy of such analysis depends o...