3967 search results - page 612 / 794 » Distributed Games and Distributed Control for Asynchronous S... |
164
click to vote
COMPSEC
2010
15 years 5 months ago
2010
Making backup is so cumbersome and expensive that individuals hardly ever backup their data and companies usually duplicate their data into a secondary server. This paper proposes...
190
click to vote
CONCUR
2007
Springer
16 years 19 days ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
151
click to vote
ICRA
2006
IEEE
16 years 15 days ago
2006
IEEE
— This paper presents a generic kinematic modeling approach for articulated multi-monocycle mobile robots. The formulation proposed to deduce the input/output velocity equations ...
179
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper approaches the issue of coordination of highly autonomous Automated Guided Vehicles (AGVs) working on an automated factory. These vehicles are used for goods delivery t...
187
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Design of high performance Web servers has become a recent research thrust to meet the increasing demand of networkbased services. In this paper, we propose a new Web server archi...