4930 search results - page 307 / 986 » Testing a Safety-Critical Application |
192
click to vote
IJCSA
2007
15 years 6 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
165
click to vote
BIOINFORMATICS
2005
15 years 6 months ago
2005
: Doelan is an automated tool to check the quality of produced DNA microarrays. This software is based on the execution of test suites on quality control data to validate batches o...
170
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
We present a technique for automatic induction of slot annotations for subcategorization frames, based on induction of hidden classes in the EM framework of statistical estimation...
156
click to vote
TCC
2010
Springer
15 years 5 months ago
2010
Springer
Previous work on program obfuscation gives strong negative results for general-purpose obfuscators, and positive results for obfuscating simple functions such as equality testing (...
164
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We extend our recent work on evaluating incomplete reasoners by introducing strict testing bases. We show how they can be used in practice to identify ontologies and quer...