1256 search results - page 168 / 252 » On Coordinated Checkpointing in Distributed Systems |
144
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...
157
click to vote
REST
2010
ACM
15 years 5 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
130
click to vote
TROB
2002
15 years 3 months ago
2002
We consider the problem of having a team of Unmanned Aerial Vehicles (UAV) and Unmanned Ground Vehicles (UGV) pursue a second team of evaders while concurrently building a map in a...
129
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
In this paper we use a variational Bayesian framework for color image segmentation. Each image is represented in the L*u*v color coordinate system before being segmented by the va...
143
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— A distributed medium access control (MAC) algorithm for uplink OFDMA networks under the IEEE 802.16 framework is proposed and analyzed in this work. We present a simple...