1620 search results - page 90 / 324 » Testing Polymorphic Properties |
126
click to vote
ISSRE
2007
IEEE
15 years 6 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
133
click to vote
KDD
2002
ACM
16 years 5 months ago
2002
ACM
This paper promotes the use of supervised machine learning in laboratory settings where chemists have a large number of samples to test for some property, and are interested in id...
132
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
It has been shown that the delay of a target path can be composed linearly of other path delays. If the later paths are robustly testable (with known delay values), the target pat...
113
Voted
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
A set of synchronization relations between distributed nonatomic events was recently proposed to provide real-time applications with a fine level of discrimination in the specifica...
119
click to vote
EON
2008
15 years 6 months ago
2008
Abstract. The Semantic Web Service Challenge is one of the major initiative dedicated to work on Semantic Web Service (SWS) discovery and selection. It represents an effective mann...