12084 search results - page 2045 / 2417 » Effect Systems with Subtyping |
170
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Increasing teamwork between agents typically increases the performance of a multi-agent system, at the cost of increased communication and higher computational complexity. This wo...
199
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Autonomous agents transcend their individual capabilities by cooperating towards achieving shared goals. The different viewpoints agents have on the environment cause disagreement...
210
click to vote
ATAL
2010
Springer
2010
Springer
UAV swarm coordination using cooperative control for establishing a wireless communications backbone
15 years 8 months ago
In this paper, we present a mechanism to fly a swarm of UAVs with the aim of establishing a wireless backbone over a pre-specified area. The backbone is aimed at connecting interm...
188
click to vote
BPM
2009
Springer
15 years 8 months ago
2009
Springer
Alaska Simulator is an interactive software tool developed at the University of Innsbruck which allows people to explore different approaches to process flexibility by using a fami...
195
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...