127 search results - page 21 / 26 » Automatic test bench generation for simulation-based validat... |
SIGMETRICS
2008
ACM
13 years 7 months ago
2008
ACM
Abstract. When installing network intrusion detection systems (NIDSs), operators are faced with a large number of parameters and analysis options for tuning trade-offs between dete...
SIGIR
2002
ACM
13 years 7 months ago
2002
ACM
We develop a method for predicting query performance by computing the relative entropy between a query language model and the corresponding collection language model. The resultin...
CADE
2008
Springer
14 years 7 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
BMCBI
2008
13 years 7 months ago
2008
Background: Automated protein function prediction methods are needed to keep pace with high-throughput sequencing. With the existence of many programs and databases for inferring ...
ICSEA
2008
IEEE
14 years 1 months ago
2008
IEEE
The Reuse of code artefacts can make development quicker, cheaper and more robust, but the process is complex and has many pitfalls: Code artefacts must exist, be available, be fo...