1972 search results - page 130 / 395 » The Timed Asynchronous Distributed System Model |
137
click to vote
IANDC
2006
15 years 2 months ago
2006
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...
128
Voted
ICDCSW
2007
IEEE
15 years 8 months ago
2007
IEEE
Content-based publish/subscribe provides a flexible communication model for component interoperation in large-scale environments. In process support systems and other application...
130
click to vote
MAGS
2007
15 years 1 months ago
2007
AKIRA is an open source framework designed for parallel, asynchronous and distributed computation, on the basis of some general architectural principles which are inspired by modu...
119
click to vote
DSN
2006
IEEE
15 years 8 months ago
2006
IEEE
In the asynchronous distributed system model, consensus is obtained in one communication step if all processes propose the same value. Assuming f < n/3, this is regardless of t...
101
click to vote
ICRA
1995
IEEE
15 years 6 months ago
1995
IEEE
1 - This paper discusses an architecture designed to provide support for the development of state transition models for an object-oriented distributed environment. The state transi...