1054 search results - page 110 / 211 » A Formalization of the Turing Test |
156
click to vote
ASYNC
2005
IEEE
16 years 11 hour ago
2005
IEEE
A Globally Asynchronous - Locally Synchronous (GALS) technique for application in wireless communication systems is proposed and evaluated. The GALS wrappers are based on a reques...
141
click to vote
IFM
2005
Springer
15 years 12 months ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
167
click to vote
FORMATS
2004
Springer
15 years 11 months ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...
177
click to vote
APSEC
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes a process for selecting and evaluating candidates for component based software engineering. The process is aimed at developers sourcing components from third ...
149
click to vote
AVBPA
2003
Springer
15 years 11 months ago
2003
Springer
The NIST HumanID Evaluation Framework, or HEF, is an effort to design, implement, and deploy standards for the robust and complete documentation of the biometric system evaluation...