4385 search results - page 342 / 877 » Abstraction for Concurrent Objects |
219
click to vote
AMOST
2007
ACM
15 years 10 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
221
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
176
click to vote
COORDINATION
2008
Springer
15 years 8 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...
151
click to vote
WSPI
2008
15 years 8 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...
185
click to vote
DAIS
2006
15 years 8 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...