Sciweavers

2681 search results - page 219 / 537
» Topics in asynchronous systems
Sort
View
ENTCS
2006
141views more  ENTCS 2006»
15 years 6 months ago
Verification of Distributed Hierarchical Components
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 ...
Tomás Barros, Ludovic Henrio, Eric Madelain...
170
Voted
NJC
2002
109views more  NJC 2002»
15 years 5 months ago
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications
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...
Mogens Nielsen, Catuscia Palamidessi, Frank D. Val...
OTM
2010
Springer
15 years 4 months ago
Fadip: Lightweight Publish/Subscribe for Mobile Ad Hoc Networks
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 ...
Koosha Paridel, Yves Vanrompay, Yolande Berbers
SIAMCOMP
2010
97views more  SIAMCOMP 2010»
15 years 27 days ago
Lower Bounds for Randomized Consensus under a Weak Adversary
This paper studies the inherent trade-off between termination probability and total step complexity of randomized consensus algorithms. It shows that for every integer k, the prob...
Hagit Attiya, Keren Censor-Hillel
CHI
2007
ACM
16 years 6 months ago
Enhancing ubiquitous computing with user interpretation: field testing the home health horoscope
Domestic ubiquitous computing systems often rely on inferences about activities in the home, but the open-ended, dynamic and heterogeneous nature of the home poses serious problem...
William W. Gaver, Phoebe Sengers, Tobie Kerridge, ...