9873 search results - page 38 / 1975 » Emergent Semantics Systems |
ESOP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
LCPC
1998
Springer
14 years 27 days ago
1998
Springer
EUROSYS
2006
ACM
14 years 5 months ago
2006
ACM
AI
1999
Springer
13 years 8 months ago
1999
Springer
Cooperation among autonomous agents has been discussed in the DAI community for several years. Papers about cooperation 6,45 , negotiation 33 , distributed planning 5 , and coalit...
ICECCS
2009
IEEE
14 years 3 months ago
2009
IEEE
—The CONNECT European project that started in February 2009 aims at dropping the interoperability barrier faced by today’s distributed systems. It does so by adopting a revolut...