1054 search results - page 167 / 211 » A Formalization of the Turing Test |
LADS
2009
Springer
15 years 4 months ago
2009
Springer
—Open multiagent systems consist of autonomous agents that are built by different vendors. In principle, open multiagent systems cannot provide any guarantees about the behaviors...
111
click to vote
AGENTS
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. One of the reasons for attending to agent technology is the evergrowing complexity of information systems and the increasing difficulty to foresee and plan for all potent...
102
click to vote
ICFP
1999
ACM
15 years 4 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
102
click to vote
POPL
1999
ACM
15 years 4 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
117
click to vote
ICECCS
1999
IEEE
15 years 4 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...