Sciweavers

194 search results - page 34 / 39
» A Problem-Specific Fault-Tolerance Mechanism for Asynchronou...
Sort
View
EMSOFT
2005
Springer
15 years 3 months ago
From statecharts to ESP: programming with events, states and predicates for embedded systems
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
Vugranam C. Sreedhar, Maria-Cristina V. Marinescu
CORR
2008
Springer
119views Education» more  CORR 2008»
14 years 9 months ago
Self-stabilizing Numerical Iterative Computation
Many challenging tasks in sensor networks, including sensor calibration, ranking of nodes, monitoring, event region detection, collaborative filtering, collaborative signal proces...
Ezra N. Hoch, Danny Bickson, Danny Dolev
74
Voted
CONCUR
2007
Springer
15 years 3 months ago
On the Expressive Power of Global and Local Priority in Process Calculi
Priority is a frequently used feature of many computational systems. In this paper we study the expressiveness of two process algebras enriched with different priority mechanisms...
Cristian Versari, Nadia Busi, Roberto Gorrieri
PDP
2002
IEEE
15 years 2 months ago
Eventually Consistent Failure Detectors
The concept of unreliable failure detector was introduced by Chandra and Toueg as a mechanism that provides information about process failures. This mechanism has been used to sol...
Mikel Larrea, Antonio Fernández, Sergio Ar&...
ICPPW
2006
IEEE
15 years 3 months ago
A Comparative Study of Web Services-based Event Notification Specifications
—Web services-based event notification is an emerging technology that combines the asynchronous communication feature of event notification mechanisms and the interoperability fe...
Yi Huang, Dennis Gannon