78 search results - page 7 / 16 » Deciding choreography realizability |
STOC
2002
ACM
14 years 7 months ago
2002
ACM
A string graph is the intersection graph of a set of curves in the plane. Each curve is represented by a vertex, and an edge between two vertices means that the corresponding curv...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— Routing in wireless networks confronts more diverse and more rapidly varying characteristics associated with wireless links. Several recent protocols have tried to exploit coop...
MATES
2005
Springer
14 years 29 days ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for dec...
DBPL
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
ARGMAS
2007
Springer
14 years 1 months ago
2007
Springer
This paper focuses of the group judgments obtained from a committee of agents that use deliberation. The deliberative process is realized by an argumentation framework called AMAL....