114 search results - page 4 / 23 » Compositional Modeling of Reactive Systems Using Open Nets |
DEBS
2009
ACM
13 years 12 months ago
2009
ACM
Event processing has become the paradigm of choice in many monitoring and reactive applications. However, the understanding of events, their composition and level of abstraction, ...
FOSSACS
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
CEC
2008
IEEE
13 years 7 months ago
2008
IEEE
Abstract-- This paper presents an artificial homeostatic system (AHS) devoted to the autonomous navigation of mobile robots, with emphasis on neuro-endocrine interactions. The AHS ...
ESOP
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...
ASE
2005
13 years 5 months ago
2005
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...