523 search results - page 8 / 105 » A Formal Account of WS-BPEL |
166
click to vote
IAT
2008
IEEE
16 years 14 days ago
2008
IEEE
This paper extends the link between evolutionary game theory and multi-agent reinforcement learning to multistate games. In previous work, we introduced piecewise replicator dynam...
160
click to vote
ATAL
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. This paper introduces semantical concepts to support a formal structural dynamics of situated multiagent systems. Multiagent systems are seen from the perspective of the ...
150
click to vote
JSAI
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a proposal for the integration of information structure in a unification-based grammar of Danish. Three information structure features – topic, focus and bac...
181
click to vote
FCA
2005
Springer
15 years 11 months ago
2005
Springer
The class hierarchy is an important aspect of object-oriented software development. Design and maintenance of such a hierarchy is a difficult task that is often accomplished witho...
179
click to vote
OTM
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...