Sciweavers

8555 search results - page 270 / 1711
» Property Based Coordination
Sort
View
IPPS
1998
IEEE
15 years 11 months ago
Optimal Contention-Free Unicast-Based Multicasting in Switch-Based Networks of Workstations
A unicast-based multicasting algorithm is presented for arbitrary interconnection networks arising in switchbased networks of workstations. The algorithm is optimal with respect t...
Ran Libeskind-Hadas, Dominic Mazzoni, Ranjith Raja...
CBSE
2010
Springer
15 years 10 months ago
Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
Gwenaël Delaval, Éric Rutten
ATAL
2008
Springer
15 years 9 months ago
An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems
In open multi-agent systems (MASs) we cannot assume agents to be developed in a centralized fashion. Recent proposals of commitmentbased communication frameworks aim at increasing ...
Paola Spoletini, Mario Verdicchio
ATAL
2008
Springer
15 years 9 months ago
Force Versus Majority: A Comparison in Convention Emergence Efficiency
In open societies such as multi-agent systems, it is important that coordination among the several actors is achieved efficiently. One economical way of capturing that aspiration ...
Paulo Urbano, João Balsa, Luis Antunes, Lu&...
CVPR
2006
IEEE
16 years 9 months ago
Epipolar Geometry of Central Projection Systems Using Veronese Maps
We study the epipolar geometry between views acquired by mixtures of central projection systems including catadioptric sensors and cameras with lens distortion. Since the projecti...
João P. Barreto, Kostas Daniilidis