6941 search results - page 3 / 1389 » Testing as a Certification Approach |
FLOPS
2006
Springer
13 years 11 months ago
2006
Springer
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...
WIMAW
2008
13 years 9 months ago
2008
: The industrialization of software development induces several changes to the development process as software development becomes distributed over company borders. They cooperativ...
COMPSEC
2004
13 years 7 months ago
2004
Traditionally, creation and revocation of certificates are governed by policies that are carried manually, off-line, by trusted agents. This approach to certificate management is ...
BIOINFORMATICS
2005
13 years 7 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...
ICRA
1994
IEEE
13 years 11 months ago
1994
IEEE
act The Neptune system is a mobile robot system used to remotely inspect above-ground storage tanks (ASTs) while immersed in the petroleum product, in order to ascertain from the i...