3468 search results - page 420 / 694 » An open logical framework |
128
click to vote
IFIP
2003
Springer
15 years 9 months ago
2003
Springer
A framework is described that can be used to build and test application-level software for wireless mobile computing. It emulates the physical mobility of wireless devices by usin...
150
click to vote
ESWS
2010
Springer
15 years 9 months ago
2010
Springer
Novel wireless handheld devices allow the adoption of revised and adapted discovery approaches originally devised for the Semantic Web in mobile ad-hoc networks. Nevertheless, capa...
140
click to vote
COORDINATION
2000
Springer
15 years 8 months ago
2000
Springer
Internet-based multi-agent systems call for new metaphors, abstractions, methodologies and enabling technologies specifically tailored to agent-oriented engineering. While coordin...
130
click to vote
ECAI
1994
Springer
15 years 8 months ago
1994
Springer
Formal analyses of social action for Distributed A.I. (DAI) have focussed, almost exclusively, on scenarios in which participating agents have a joint intention to act. While such ...
118
click to vote
LICS
1992
IEEE
15 years 8 months ago
1992
IEEE
d Abstract) Frank S. de Boer, Jan Willem Klopyz , Catuscia Palamidessiyx We study the paradigm of asynchronous process communication, as contrasted with the synchronous communicat...