9702 search results - page 377 / 1941 » Communicating Mobile Processes |
172
Voted
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present a novel architecture to support large scale stream processing services in a widely distributed environment. The proposed system, COSMOS, distinguishes it...
143
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
ThispaperpresentsatheoreticalframeworkbasedonBayesian decision theory for analyzing recently reported results on implicit coscheduling of parallel applications on clusters of work...
182
click to vote
CPP
2011
14 years 6 months ago
2011
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...
170
click to vote
CONCUR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
154
click to vote
CSUR
1999
15 years 6 months ago
1999
The Informedia Experience-on-Demand system uses speech, image, and natural language processing combined with GPS information to capture, integrate, and communicate personal multim...