Sciweavers

455 search results - page 34 / 91
» Asynchronous and deterministic objects
Sort
View
ENTCS
2008
153views more  ENTCS 2008»
13 years 8 months ago
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
Johan Dovland, Einar Broch Johnsen, Olaf Owe
DSN
2000
IEEE
14 years 12 days ago
Implementing Flexible Object Group Invocation in Networked Systems
Distributed applications should be able to make use of an object group service in a number of application specific ways. Three main modes of interactions can be identified: (i) re...
Graham Morgan, Santosh K. Shrivastava
APN
2004
Springer
14 years 1 months ago
On the Use of Coloured Petri Nets for Object-Oriented Design
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
João Paulo Barros, Luís Gomes
WDAG
2004
Springer
103views Algorithms» more  WDAG 2004»
14 years 1 months ago
Relationships Between Broadcast and Shared Memory in Reliable Anonymous Distributed Systems
We study the power of reliable anonymous distributed systems, where processes do not fail, do not have identifiers, and run identical programmes. We are interested specifically i...
James Aspnes, Faith Ellen Fich, Eric Ruppert
UIST
1996
ACM
14 years 4 days ago
Language-Level Support for Exploratory Programming of Distributed Virtual Environments
We describe COTERIE, a toolkit that provides languagelevel support for building distributed virtual environments. COTERIE is based on the distributed data-object paradigm for dist...
Blair MacIntyre, Steven Feiner