1227 search results - page 130 / 246 » Collaboration in parallel worlds |
139
click to vote
OSDI
2004
ACM
16 years 1 months ago
2004
ACM
MapReduce is a programming model and an associated implementation for processing and generating large data sets. Users specify a map function that processes a key/value pair to ge...
115
Voted
PDP
2005
IEEE
15 years 6 months ago
2005
IEEE
the emergence of Internet and new kind of architecture, likepeer-to-peer (P2P) networks, provides great hope for distributed computation. However, the combination of the world of ...
IDMS
1998
Springer
15 years 5 months ago
1998
Springer
As the popularity of the World Wide Web increases, the amount of traffic results in major congestion problems for the retrieval of data over wide distances. To react to this, user...
CONCUR
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
135
click to vote
PODC
1990
ACM
15 years 4 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...