251 search results - page 29 / 51 » Leasing Variants in Distributed Systems |
FORMATS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Continuous-time Markov decision process are an important variant of labelled transition systems having nondeterminism through labels and stochasticity through exponential...
DALT
2008
Springer
13 years 9 months ago
2008
Springer
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
OPODIS
2008
13 years 9 months ago
2008
We consider asynchronous distributed systems with message losses and process crashes. We study the impact of finite process memory on the solution to consensus, repeated consensus ...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
We briefly present the current state-of-the-art approaches for group and extended object tracking with an emphasis on particle methods which have high potential to handle complex...
SSS
2009
Springer
14 years 2 months ago
2009
Springer
Graph searching games have been extensively studied in the past years. The graph searching problem involves a team of searchers who are attempting to capture a fugitive moving alon...