4286 search results - page 725 / 858 » Formalizing Service Interactions |
105
Voted
CMOT
1998
15 years 3 months ago
1998
A programming language which is optimized for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of it...
122
Voted
TCS
2002
15 years 3 months ago
2002
In this work, we investigate various specification languages and their relation to Casl, the recently developed Common Algebraic Specification Language. In particular, we consider...
116
Voted
MICS
2008
15 years 3 months ago
2008
The disambiguation approach to the input of formulae enables users of mathematical assistants to type correct formulae in a terse syntax close to the usual ambiguous mathematical n...
138
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Multi-robot systems researchers have been investigating adaptive coordination methods for improving spatial coordination in teams. Such methods adapt the coordination method to th...
158
click to vote
JLP
2008
15 years 2 months ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...