397 search results - page 34 / 80 » Coalgebraic Models for Reactive Systems |
115
click to vote
DSRT
2005
IEEE
15 years 7 months ago
2005
IEEE
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
104
click to vote
IJIT
2004
15 years 3 months ago
2004
Statecharts have been originally created to specify complex reactive systems for use in simulating real-time applications. They extend state transition diagrams with notons of hier...
119
click to vote
DAGSTUHL
2009
15 years 3 months ago
2009
An increasingly important concern for modern systems design is how best to incorporate self-adaptation into systems so as to improve their ability to dynamically respond to faults,...
CORR
2009
Springer
14 years 11 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...
118
click to vote
IJCAI
2001
15 years 3 months ago
2001
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...