893 search results - page 12 / 179 » Modeling reactive systems in Java |
105
click to vote
FPLAY
2008
15 years 4 months ago
2008
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
117
click to vote
ECAL
2005
Springer
15 years 8 months ago
2005
Springer
This paper explores the performance of a simple model agent using a reactive controller in situations where, from an external perspective, a solution that relies on internal states...
111
click to vote
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
101
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— This paper addresses a novel approach to the nvehicle collision avoidance problem. The vehicle model used is a planar unicycle, chosen for its wide applicability to gro...
129
click to vote
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
Wildcards are a complex and subtle part of the Java type system, present since version 5.0. Although there have been various formalisations and partial type soundness results conce...