871 search results - page 26 / 175 » Modular Design of Reactive Systems |
ANTSW
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. The engineering of grown systems poses fundamentally different system integration challenges than ordinary engineering of static designs. On the one hand, a grown system ...
ISORC
2002
IEEE
14 years 21 days ago
2002
IEEE
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...
ICSE
2001
IEEE-ACM
14 years 6 days ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
AAMAS
2007
Springer
13 years 8 months ago
2007
Springer
An original Reinforcement Learning (RL) methodology is proposed for the design of multi-agent systems. In the realistic setting of situated agents with local perception, the task o...
GI
2007
Springer
13 years 11 months ago
2007
Springer
Abstract: Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradi...