9702 search results - page 140 / 1941 » Communicating Mobile Processes |
123
click to vote
ENTCS
2002
15 years 4 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
155
Voted
PVM
2010
Springer
15 years 2 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...
123
click to vote
COLING
1996
15 years 5 months ago
1996
We. are going to describe the design and implementatior, of a connnuniealion system l.or large AI projects, capable of supporting various software components in a heterogeneous ha...
137
click to vote
TIT
2002
15 years 4 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...
158
click to vote
RTCSA
2005
IEEE
15 years 10 months ago
2005
IEEE
The Software Communications Architecture (SCA) defined by Joint Tactical Radio Systems (JTRS) is the de facto standard middleware currently adopted by the Software Defined Radio (...