1054 search results - page 12 / 211 » A Formalization of the Turing Test |
136
click to vote
TCS
2010
15 years 2 months 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...
103
Voted
FM
2005
Springer
15 years 9 months ago
2005
Springer
111
Voted
FMCO
2004
Springer
15 years 9 months ago
2004
Springer
115
click to vote
CONCUR
1999
Springer
15 years 8 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...
