813 search results - page 23 / 163 » Correctness Properties for Multiagent Systems |
112
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—This work considers the problem of reaching consensus in an unreliable linear consensus network. A solution to this problem is relevant for several tasks in multi-agent ...
154
click to vote
WOA
2010
15 years 2 months ago
2010
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
EXPERT
2006
15 years 4 months ago
2006
o address the need for canonical abstraction, we've adopted software engineering's concept of signatures--a technique for defining software patterns or invariant procedur...
120
click to vote
DALT
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
SIAMNUM
2010
14 years 11 months ago
2010
We consider the convergence of a volume corrected characteristics-mixed method (VCCMM) for advection-diffusion systems. It is known that, without volume correction, the method is f...