1669 search results - page 128 / 334 » Efficient Data Distribution for DWS |
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
CPHYSICS
2010
13 years 9 months ago
2010
Distributed computing (DC) projects tackle large computational problems by exploiting the donated processing power of thousands of volunteered computers, connected through the Int...
SRDS
1999
IEEE
14 years 1 months ago
1999
IEEE
Software distributed shared memory (DSM) improves the programmability of message-passing machines and workclusters by providing a shared memory abstract (i.e., a coherent global a...
HIPS
1998
IEEE
14 years 1 months ago
1998
IEEE
Distributed shared memory (DSM) is a paradigm for programming distributed systems, which provides an alternative to the message passing model. DSM offers the agents of the system ...
DEBS
2010
ACM
14 years 9 days ago
2010
ACM
Operator-based programming languages provide an effective development model for large scale stream processing applications. A stream processing application consists of many runtim...