714 search results - page 23 / 143 » Verification and Compliance Testing |
DATE
2004
IEEE
13 years 11 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
12 years 11 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...
ATAL
2008
Springer
13 years 9 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...
COORDINATION
2006
Springer
13 years 11 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...
ARGMAS
2008
Springer
13 years 9 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...