4385 search results - page 332 / 877 » Abstraction for Concurrent Objects |
187
click to vote
JLP
2008
15 years 6 months ago
2008
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...
195
click to vote
IAJIT
2010
15 years 5 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
207
click to vote
TDSC
2010
15 years 1 months ago
2010
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Edge services allow clients to access Internet service...
166
click to vote
ASM
2005
ASM
16 years 8 days ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
170
click to vote
ISIM
2007
15 years 8 months ago
2007
We continue the investigation of P coloniesintroduced in [7], of abstract computing devices composed of independent agents, acting and evolving in a shared environment. We determin...