272 search results - page 8 / 55 » Communicating sequential processes for distributed constrain... |
121
click to vote
GLOBECOM
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— In this contribution, we propose an efficient collaborative strategy for online change detection, in a distributed sensor network. The collaborative strategy ensures t...
IPPS
1999
IEEE
15 years 1 months ago
1999
IEEE
In this paper we describe one experiment in which a new coordination language, called MANIFOLD, is used to restructure an existing sequential Fortran code from computational uid dy...
CJ
2010
14 years 6 months ago
2010
A concurrent object is an object that can be concurrently accessed by several processes. Sequential consistency is a consistency criterion for such objects. Informally, it states ...
IJSNET
2007
14 years 9 months ago
2007
: A Bayesian distributed online change detection algorithm is proposed for monitoring a dynamical system by a wireless sensor network. The proposed solution relies on modelling the...
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...