339 search results - page 5 / 68 » Modeling Faults of Distributed, Reactive Systems |
WSC
1997
13 years 8 months ago
1997
We introduce SIDE (the acronym stands for Sensors In a Distributed Environment)—a software package for developing control programs for reactive systems. One distinctive feature ...
ERSHOV
2003
Springer
14 years 18 days ago
2003
Springer
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...
EMSOFT
2004
Springer
14 years 23 days ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
ENTCS
2006
13 years 7 months ago
2006
XML-centric models of computation have been proposed as an answer to the demand for interoperability, heterogeneity and openness in coordination models. We present a prototype imp...
FOSSACS
2003
Springer
14 years 18 days ago
2003
Springer
Lossy channel systems (LCS’s) are systems of finite state automata that communicate via unreliable unbounded fifo channels. We propose a new probabilistic model for these syste...