Sciweavers

5480 search results - page 273 / 1096
» Communicating with Synchronized Environments
Sort
View
SSS
2005
Springer
119views Control Systems» more  SSS 2005»
16 years 2 days ago
Self-stabilization of Byzantine Protocols
Awareness of the need for robustness in distributed systems increases as distributed systems become integral parts of day-to-day systems. Self-stabilizing while tolerating ongoing ...
Ariel Daliot, Danny Dolev
152
Voted
SIGMETRICS
2010
ACM
223views Hardware» more  SIGMETRICS 2010»
15 years 11 months ago
Self-synchronizing properties of CSMA wireless multi-hop networks
We show that CSMA is able to spontaneously synchronize transmissions in a wireless network with constant-size packets, and that this property can be used to devise efficient synch...
Kuang Xu, Olivier Dousse, Patrick Thiran
HT
1998
ACM
15 years 10 months ago
XHMBS: A Formal Model to Support Hypermedia Specification
This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...
Fabiano Borges Paulo, Marcelo Augusto Santos Turin...
OPODIS
2010
15 years 4 months ago
Failure Detectors Encapsulate Fairness
Failure detectors are commonly viewed as abstractions for the synchronism present in distributed system models. However, investigations into the exact amount of synchronism encapsu...
Scott M. Pike, Srikanth Sastry, Jennifer L. Welch
AEI
2000
127views more  AEI 2000»
15 years 6 months ago
CAIRO: a concurrent engineering meeting environment for virtual design teams
This paper presents the software architecture for a next generation concurrent engineering environment that helps geographically separated designers and engineers to collaborate e...
Feniosky Peña-Mora, Karim Hussein, Sanjeev ...