6800 search results - page 202 / 1360 » Testing with Functions as Specifications |
JOC
2002
13 years 9 months ago
2002
In theoretical cryptography, one formalizes the notion of an adversary's success probability being "too small to matter" by asking that it be a negligible function ...
LICS
2010
IEEE
13 years 7 months ago
2010
IEEE
We develop the theory of regular cost functions over finite trees: a quantitative extension to the notion of regular languages of trees: Cost functions map each input (tree) to a v...
NAR
2007
13 years 9 months ago
2007
g:Profiler (http://biit.cs.ut.ee/gprofiler/) is a public web server for characterising and manipulating gene lists resulting from mining high-throughput genomic data. g:Profiler h...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
Component-based development is the emerging paradigm in software production, though several challenges still slow down its full taking up. In particular, the "component trust...
ATVA
2006
Springer
14 years 1 months ago
2006
Springer
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...