1206 search results - page 189 / 242 » Concurrent Abstract Predicates |
102
click to vote
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The actor model provides high-level concurrency abstractions to coordinate simultaneous computations by message passing. Languages implementing the actor model such as Er...
82
Voted
WSPI
2008
15 years 1 months ago
2008
Computers today are not only the calculation tools - they are directly (inter)acting in the physical world which itself may be conceived of as the universal computer (Zuse, Fredkin...
101
Voted
DAIS
2006
15 years 1 months ago
2006
To maintain availability and responsiveness, mobile applications sharing data often work on their own copy and transmit local changes to other participants. Existing systems for re...
CASCON
1996
15 years 1 months ago
1996
Event visualization tools are commonlyused to facilitate the debugging of distributed applications. Although these tools provide a graphical view of distributed executions, they a...
113
Voted
AC
2002
Springer
15 years 12 days ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...