Sciweavers

1067 search results - page 97 / 214
» A Distributed Object Model for the Java System
Sort
View
102
Voted
DSN
2006
IEEE
15 years 8 months ago
Storage Allocation in Unreliable Peer-to-Peer Systems
Peer-to-peer systems provide the opportunity to pool large amounts of distributed resources to enable internetscale applications. However, the participant nodes are highly dynamic...
John A. Chandy
150
Voted
FMCO
2004
Springer
120views Formal Methods» more  FMCO 2004»
15 years 8 months ago
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
Einar Broch Johnsen, Olaf Owe
185
Voted
POPL
2005
ACM
16 years 2 months ago
Environmental acquisition revisited
In 1996, Gil and Lorenz proposed programming language constructs for specifying environmental acquisition in addition to inheritance acquisition for objects. They noticed that in ...
Richard Cobbe, Matthias Felleisen
129
Voted
ICPADS
2008
IEEE
15 years 9 months ago
Integrity-Preserving Replica Coordination for Byzantine Fault Tolerant Systems
The use of good random numbers is essential to the integrity of many mission-critical systems. However, when such systems are replicated for Byzantine fault tolerance, a serious i...
Wenbing Zhao
FORTE
2004
15 years 4 months ago
Formal Composition of Distributed Scenarios
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
Aziz Salah, Rabeb Mizouni, Rachida Dssouli, Benoit...