714 search results - page 23 / 143 » Verification and Compliance Testing |
65
Voted
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
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...
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
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...
167
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
100
Voted
COORDINATION
2006
Springer
15 years 4 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
106
Voted
ARGMAS
2008
Springer
15 years 2 months ago
2008
Springer
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...