359 search results - page 9 / 72 » Modeling Consensus in a Process Calculus |
PPDP
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...
PODC
2011
ACM
13 years 25 days ago
2011
ACM
We consider the power of objects in the unbounded concurrency shared memory model, where there is an infinite set of processes and the number of processes active concurrently may...
ICIP
2005
IEEE
14 years 11 months ago
2005
IEEE
One of the most difficult issues in visual tracking is to track people in groups, especially under occlusions. In this paper, we present a novel sample consensus based method, whi...
PODC
2010
ACM
14 years 1 months ago
2010
ACM
: The Borowsky-Gafni (BG) simulation algorithm is a powerful reduction algorithm that shows that t-resilience of decision tasks can be fully characterized in terms of wait-freedom....
ICASSP
2010
IEEE
13 years 10 months ago
2010
IEEE
This work deals with the distributed measurement and reconstruction of time-varying spatial fields using wireless sensor networks (WSN). We use basis functions to formulate a low...