1202 search results - page 66 / 241 » Sortings for Reactive Systems |
102
Voted
CORR
2009
Springer
15 years 1 months ago
2009
Springer
dels at different abstraction levels; in particular, higher-level (e.g. membrane) activities can be given a formal biological justification in terms of low-level (i.e., protein) in...
140
click to vote
TALG
2010
14 years 10 months ago
2010
We initiate the study of error confinement in distributed applications, where the goal is that only nodes that were directly hit by a fault may deviate from their correct external...
129
click to vote
ECBS
2009
IEEE
15 years 8 months ago
2009
IEEE
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
128
Voted
FASE
2000
Springer
15 years 7 months ago
2000
Springer
g higher levels of abstraction with automated downward transformations has always been the way to go, as long as the engineers who do the actual work are th the abstractions. A dev...
136
click to vote
FIS
2008
15 years 5 months ago
2008
While reasoners are year after year scaling up in the classical, time invariant domain of ontological knowledge, reasoning upon rapidly changing information has been neglected or f...