Sciweavers

588 search results - page 7 / 118
» Rendezvous without coordinates
Sort
View
SIGMETRICS
2000
ACM
15 years 2 months ago
Stable Internet routing without global coordination
Lixin Gao, Jennifer Rexford
MONET
2011
14 years 4 months ago
Achieving End-to-end Fairness in 802.11e Based Wireless Multi-Hop Mesh Networks Without Coordination
Abstract To mitigate the damaging impacts caused by interference and hidden terminals, it has been proposed to use orthogonal channels in wireless multi-hop mesh networks. We demon...
Tianji Li, Douglas J. Leith, Venkataramana Badarla...
TASE
2012
IEEE
13 years 5 months ago
Discrete-Event Coordination Design for Distributed Agents
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
Manh Tung Pham, Kiam Tian Seow
IROS
2008
IEEE
130views Robotics» more  IROS 2008»
15 years 4 months ago
Flocking for multi-robot systems via the Null-Space-based Behavioral control
Abstract— In this paper the flocking problem for a multirobot system, consisting in making the robots of a team grouping together, is addressed. The flocking is achieved resort...
Gianluca Antonelli, Filippo Arrichiello, Stefano C...
CAV
2007
Springer
122views Hardware» more  CAV 2007»
15 years 1 months ago
Parameterized Verification of Infinite-State Processes with Global Conditions
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...