Sciweavers

2089 search results - page 8 / 418
» Finding Environment Guarantees
Sort
View
COORDINATION
2009
Springer
14 years 8 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
ICRA
2006
IEEE
129views Robotics» more  ICRA 2006»
14 years 1 months ago
Towards the Deployment of a Mobile Robot Network with End-to-end Performance Guarantees
— Communication is essential for coordination in most cooperative control and sensing paradigms. In this paper, we present an experimental study of strategies for maintaining end...
Mong-ying A. Hsieh, Anthony Cowley, Vijay Kumar, C...
AI
2005
Springer
13 years 7 months ago
Adopt: asynchronous distributed constraint optimization with quality guarantees
The Distributed Constraint Optimization Problem (DCOP) is able to model a wide variety of distributed reasoning tasks that arise in multiagent systems. Unfortunately, existing met...
Pragnesh Jay Modi, Wei-Min Shen, Milind Tambe, Mak...
PE
2006
Springer
95views Optimization» more  PE 2006»
13 years 7 months ago
Deterministic end-to-end delay guarantees with rate controlled EDF scheduling
Quality of Service (QoS) in terms of end-to-end delay guarantees to real-time applications is an important issue in emerging broadband packet networks. Earliest Deadline First (ED...
Vijay Sivaraman, Fabio M. Chiussi, Mario Gerla
IPPS
2010
IEEE
13 years 5 months ago
Distributed advance network reservation with delay guarantees
New architectures have recently been proposed and deployed to support end-to-end advance reservation of network resources. These architectures rely on the use a centralized schedul...
Niloofar Fazlollahi, David Starobinski