893 search results - page 96 / 179 » Modeling reactive systems in Java |
153
click to vote
RULEML
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Event processing rules may be prescribed in many different ways, including by finite state machines, graphical methods, ECA (event-conditionaction) rules or reactive rule...
134
click to vote
ICFEM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
130
click to vote
EPEW
2008
Springer
15 years 6 months ago
2008
Springer
Embedded systems operating on high data workloads are becoming pervasive. ECA rule engines provide a flexible environment to support the management, reconfiguration and execution o...
135
click to vote
ENTCS
2010
15 years 4 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
128
click to vote
IFIPTCS
2010
15 years 2 months ago
2010
Abstract. We present a game-theoretic framework for modeling and solving routing problems in dynamically changing networks. The model covers the aspects of reactivity and non-termi...