4616 search results - page 762 / 924 » The Communication Complexity of Correlation |
181
click to vote
CONCUR
2004
Springer
16 years 17 days ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
223
click to vote
COORDINATION
2004
Springer
16 years 17 days ago
2004
Springer
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
195
click to vote
EUROPAR
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. This paper is devoted to scheduling a large collection of independent tasks onto a distributed heterogeneous platform, which is composed of a set of servers. Each server ...
179
click to vote
GCC
2004
Springer
16 years 16 days ago
2004
Springer
In this paper, we propose an active grid resource management system supported by active networks for computational grid. First, we construct a scalable two-level resource managemen...
193
click to vote
ICCSA
2004
Springer
16 years 16 days ago
2004
Springer
The use of ontologies lies at the very heart of the newly emerging era of Semantic Web. They provide a shared conceptualization of some domain that may be communicated between peop...