526 search results - page 103 / 106 » Semantic Web Technology for Agent Communication Protocols |
EON
2008
13 years 9 months ago
2008
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
INFOCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
— Internet backbone networks are under constant flux, struggling to keep up with increasing demand. The pace of technology change often outstrips the deployment of associated fa...
SPW
2004
Springer
14 years 1 months ago
2004
Springer
Abstract Fabio Massacci1 and Nicola Zannone1 Department of Information and Communication Technology University of Trento - Italy {massacci,zannone} at dit.unitn.it The last years h...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Remote sensing applications often concern very large volumes of spatio-temporal data, the emerging Grid computing technologies bring an effective solution to this problem. The Open...