1054 search results - page 12 / 211 » A Formalization of the Turing Test |
114
click to vote
TCS
2010
15 years 8 days ago
2010
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...
83
Voted
FM
2005
Springer
15 years 7 months ago
2005
Springer
94
Voted
FMCO
2004
Springer
15 years 7 months ago
2004
Springer
97
Voted
CONCUR
1999
Springer
15 years 6 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
89
Voted
FM
2001
Springer
15 years 6 months ago
2001
Springer
