714 search results - page 59 / 143 » Verification and Compliance Testing |
PSTV
1993
13 years 11 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...
ICB
2009
Springer
13 years 7 months ago
2009
Springer
This paper describes the objectives, the tasks proposed to the participants and the associated protocols in terms of database and assessment tools of two present competitions on fi...
ICMCS
2009
IEEE
13 years 7 months ago
2009
IEEE
In this paper we present a text-independent automatic speaker verification system that works in the compressed domain using GSM AMR coded speech. While traditional approaches proc...
ICDAR
2011
IEEE
12 years 9 months ago
2011
IEEE
—In order to spot the digits in a handwritten document, each component is sent to a classifier. This is a time consuming process because a document usually contains several hundr...