1399 search results - page 98 / 280 » Verification of Test Suites |
172
Voted
IFIP13
2004
15 years 6 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
125
click to vote
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
We tackle the challenge of kinship verification using novel feature extraction and selection methods, automatically classifying pairs of face images as "related" or &quo...
184
Voted
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
114
click to vote
ISI
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents an improved speaker verification technique that is especially appropriate for surveillance scenarios. The main idea is a metalearning scheme aimed at improving ...
133
Voted
UML
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...