893 search results - page 137 / 179 » Modeling reactive systems in Java |
124
Voted
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
Automata on infinite words (ω-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation of ωautomata is ...
124
click to vote
MFCS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
117
click to vote
FOSSACS
2005
Springer
15 years 8 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
141
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
This paper aims at pushing the clear relationship between software service composition and chemical dynamics a step forward. We developed a coordination model where services and c...
140
Voted
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
— As people move through their environments, they do not move randomly. Instead, they are often engaged in typical motion patterns, related to specific locations they might be i...