Sciweavers

1399 search results - page 45 / 280
» Verification of Test Suites
Sort
View
ACSC
2002
IEEE
15 years 9 months ago
A Generalised Spreadsheet Verification Methodology
Although spreadsheets have been around for over thirty years, we are only just realising their importance. Most companies use spreadsheets in their decision-making processes, but ...
Nick Randolph, John Morris, Gareth Lee
DATE
2004
IEEE
128views Hardware» more  DATE 2004»
15 years 7 months ago
An Assembler Driven Verification Methodology (ADVM)
This paper presents an overview of an assembler driven verification methodology (ADVM) that was created and implemented for a chip card project at Infineon Technologies AG [2]. Th...
John S. MacBeth, Dietmar Heinz, Ken Gray
ESEM
2007
ACM
15 years 8 months ago
An Estimation Model for Test Execution Effort
It is important for test managers to be able to estimate the effort required to execute the test suites requested by development teams, as well to estimate its capacity for attend...
Eduardo Aranha, Paulo Borba
ICASSP
2011
IEEE
14 years 7 months ago
Speaker verification by inexperienced and experienced listeners vs. speaker verification system
This paper describes the participation of the LIA in the Human Assisted Speaker Recognition (HASR) task of the NIST-SRE 2010 evaluation campaign and its extension to a larger numb...
Juliette Kahn, Nicolas Audibert, Solange Rossato, ...
COMPSEC
2004
131views more  COMPSEC 2004»
15 years 3 months ago
Biometric random number generators
Abstract Up to now biometric methods have been used in cryptography for authentication purposes. In this paper we propose to use biological data for generating sequences of random ...
Janusz Szczepanski, Elek Wajnryb, José M. A...