245 search results - page 25 / 49 » Semantic Issues in the Verification of Agent Communication L... |
204
click to vote
PADL
2009
Springer
16 years 13 days ago
2009
Springer
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
WSC
2007
15 years 2 months ago
2007
In this contribution we analyze communication requirements of multi-agent simulation systems using ITSimBw – developed at Fraunhofer IAIS – as an example. A focus is put on is...
127
click to vote
OOPSLA
2010
Springer
14 years 9 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
109
click to vote
EPIA
2003
Springer
15 years 5 months ago
2003
Springer
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarat...
100
click to vote
SIGSOFT
2002
ACM
16 years 16 days ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...