1722 search results - page 87 / 345 » Generating Tests from Counterexamples |
237
click to vote
CISISSPAIN
2011
14 years 6 months ago
2011
In last decades there have been many proposals from the machine learning community in the intrusion detection field. One of the main problems that Intrusion Detection Systems (IDSs...
112
click to vote
JSS
2002
15 years 2 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
111
click to vote
SIGIR
2004
ACM
15 years 8 months ago
2004
ACM
Although text categorization is a burgeoning area of IR research, readily available test collections in this field are surprisingly scarce. We describe a methodology and system (...
125
click to vote
ISSRE
2005
IEEE
15 years 8 months ago
2005
IEEE
The eXtensible Markup Language (XML) is widely used to transmit data across the Internet. XML schemas are used to define the syntax of XML messages. XML-based applications can re...
149
click to vote
ATS
2000
IEEE
15 years 7 months ago
2000
IEEE
Because domino logic design offers smaller area and faster delay than conventional CMOS design, it is very popular in the high-performance processor design. However, domino logic ...