22 search results - page 4 / 5 » A Refinement Calculus for the Development of Real-Time Syste... |
KI
2010
Springer
13 years 13 days ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
APSEC
2004
IEEE
13 years 9 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
FGR
1996
IEEE
13 years 9 months ago
1996
IEEE
We present a system for generation and recognition of oscillatory gestures. Inspired by gestures used in two representative human-tohuman control areas, we consider a set of oscil...
DSVIS
2003
Springer
13 years 11 months ago
2003
Springer
We present a new architectural style for synchronous groupware that eases the transition from scenario based modeling to component design, and from component design to distributed ...
IANDC
2006
13 years 5 months ago
2006
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...