Sciweavers

614 search results - page 31 / 123
» A RESTful messaging system for asynchronous distributed proc...
Sort
View
WDAG
2004
Springer
103views Algorithms» more  WDAG 2004»
14 years 2 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
CONCUR
2009
Springer
13 years 7 months ago
On Convergence of Concurrent Systems under Regular Interactions
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanatha...
WDAG
1997
Springer
78views Algorithms» more  WDAG 1997»
14 years 1 months ago
Genuine Atomic Multicast
This paper addresses the problem of atomic multicasting messages in asynchronous distributed systems. Firstly, we give a characterization of the notion of genuine atomic multicast...
Rachid Guerraoui, André Schiper
ENTCS
2008
142views more  ENTCS 2008»
13 years 9 months ago
An Open System Operational Semantics for an Object-Oriented and Component-Based Language
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
Jasmin Christian Blanchette, Olaf Owe
PRDC
2000
IEEE
14 years 1 months ago
Enforcing synchronous system properties on top of timed systems
A synchronous system model is a simple yet powerful distributed system model that reduces the complexity of the design and implementation of dependable distributed applications. H...
Christof Fetzer