2638 search results - page 342 / 528 » Frameworks for Reasoning about Agent Based Systems |
180
click to vote
ECIS
2003
15 years 8 months ago
2003
Information Systems (IS) design research tends to emphasise the development of new methods (normative research), while addressing the evaluation of methods in only a limited fashi...
190
click to vote
SCP
2010
15 years 4 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
141
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This demonstration aims to show the decentralized coordination of the navigation system of highly autonomous Automated Guided Vehicles (AGVs) integrated in a real industrial envir...
195
click to vote
DALT
2004
Springer
15 years 12 months ago
2004
Springer
Ad hoc networks may be viewed as computational systems whose members may fail to, or choose not to, comply with the rules governing their behaviour. We are investigating to what ex...
158
click to vote
MMAS
2010
Springer
15 years 1 months ago
2010
Springer
Based on the thermodynamic concept of a reservoir, we investigate a computational model for interaction with unresolved degrees of freedom (a thermal bath). We assume that a finite...