397 search results - page 34 / 80 » Coalgebraic Models for Reactive Systems |
DSRT
2005
IEEE
14 years 2 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...
IJIT
2004
13 years 10 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...
DAGSTUHL
2009
13 years 9 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
13 years 6 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...
IJCAI
2001
13 years 10 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 ...