5409 search results - page 381 / 1082 » Basic Observables for Processes |
205
click to vote
JPDC
2008
15 years 6 months ago
2008
The problem of global state observation is fundamental to distributed systems and to the analysis of data streams. Many interactions in distributed systems can be analyzed in term...
152
click to vote
SSS
2009
Springer
16 years 1 months ago
2009
Springer
: The Borowsky-Gafni (BG) simulation algorithm is a powerful tool that allows a set of t + 1 asynchronous sequential processes to wait-free simulate (i.e., despite the crash of up ...
169
Voted
DATE
2006
IEEE
16 years 28 days ago
2006
IEEE
—Wireless Sensor Networks provide opportunities even outside their usual application domain of environmental monitoring. In this paper we present a case study on the use of Wirel...
211
Voted
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
391
click to vote
Book
A DRAFT computer vision book by Prof. Richard Szeliski. The book reflects the author's wide experience in practical computer vision algorithms that he has developed while work...