663 search results - page 11 / 133 » Process Algebra with Local Communication |
ICASSP
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper, we show that the problem of detection and localization of multiple targets in a bistatic MIMO radar system can be solved by Parallel Factor (PARAFAC) analysis. Our ...
ICWS
2008
IEEE
13 years 9 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
PVM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. VolpexMPI is an MPI library designed for volunteer computing environments. In order to cope with the fundamental unreliability of these environments, VolpexMPI deploys tw...
TIT
2002
13 years 7 months ago
2002
Three dependent users are physically separated but communicate with each other via a satellite. Each user generates data which it stores locally. In addition, each user sends a me...
CONCUR
1993
Springer
13 years 11 months ago
1993
Springer
The Communication Closed Layers law is shown to be modular complete for a model related to that of Mazurkiewicz. It is shown that in a modular style of program development the CCL...