1054 search results - page 165 / 211 » A Formalization of the Turing Test |
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
POLICY
2004
Springer
15 years 5 months ago
2004
Springer
A major hurdle in sharing resources between organizations is heterogeneity. Therefore, in order for two organizations to collaborate their policies have to be resolved. The proces...
ACSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
The growing impact of within-die process variation has created the need for statistical timing analysis, where gate delays are modeled as random variables. Statistical timing anal...
101
click to vote
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...