2595 search results - page 252 / 519 » Modes in Asynchronous Systems |
157
Voted
WDAG
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. A new algorithm is presented for detecting whether a particular computation of an asynchronous distributed system satisfies Poss Φ (read “possibly Φ”), meaning the...
143
click to vote
WCE
2007
15 years 7 months ago
2007
—Networks of coupled dynamical systems exhibit many interesting behaviours such as spatio-temporal chaos, pattern formation and synchronization. Such networks can be used to mode...
207
click to vote
ENTCS
2006
15 years 6 months ago
2006
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
187
click to vote
NJC
2002
15 years 6 months ago
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
168
click to vote
OTM
2010
Springer
15 years 5 months ago
2010
Springer
Publish/Subscribe is an interesting communication paradigm because it fosters a high degree of decoupling between the communicating parties and provides the ability to communicate ...