243 search results - page 3 / 49 » Communication under Strong Asynchronism |
105
Voted
MA
2000
Springer
15 years 1 months ago
2000
Springer
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
79
Voted
JUCS
2008
14 years 10 months ago
2008
: Contextual collaboration seamlessly integrates existing groupware technologies into a uniform user experience that combines synchronous and asynchronous interactions. This user e...
SPAA
2010
ACM
15 years 3 months ago
2010
ACM
This paper presents wait-free randomized algorithms for solving set-agreement in asynchronous shared-memory systems under a strong adversary. First, the definition of a shared-co...
81
Voted
ICPADS
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Emergent wide-area distributed systems like computational grids present opportunities for large scientific applications. On these systems, communication mechanisms hav...
ENTCS
2010
14 years 7 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...