197 search results - page 34 / 40 » Abstraction Techniques for Validation Coverage Analysis and ... |
120
click to vote
FASE
2006
Springer
15 years 4 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...
115
click to vote
SIGMETRICS
2008
ACM
15 years 6 days 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...
110
click to vote
FMCAD
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
BMCBI
2010
15 years 13 days ago
2010
Background: In the study of cancer genomics, gene expression microarrays, which measure thousands of genes in a single assay, provide abundant information for the investigation of...
122
click to vote
WETICE
2005
IEEE
15 years 5 months ago
2005
IEEE
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...