1369 search results - page 15 / 274 » Graphical Design of Reactive Systems |
165
Voted
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
159
Voted
WMCSA
2003
IEEE
15 years 11 months ago
2003
IEEE
Applications and services in ubiquitous computing systems often interact in a context-dependent, reactive manner. How information flows, and what services communicate when, is det...
171
Voted
MA
1998
Springer
15 years 10 months ago
1998
Springer
Mobile active computational entities introduce peculiar problems in the coordination of distributed application components. The paper surveys several coordination models for mobil...
186
Voted
FUIN
2010
15 years 3 months ago
2010
Abstract. Complex biological systems involve incorporated behaviors of numerous processes, mechanisms and objects. However, experimental analysis, by its nature, divides biological...
149
Voted
MODELS
2007
Springer
16 years 15 days ago
2007
Springer
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, have become standard practice in the design of reactive embedded devices. Statecharts are often mor...