893 search results - page 21 / 179 » Modeling reactive systems in Java |
120
Voted
PADL
2000
Springer
15 years 6 months ago
2000
Springer
In this paper, we demonstrate how Functional Reactive Programming (FRP), a framework for the description of interactive systems, can be extended to encompass parallel systems. FRP ...
150
Voted
FMICS
2009
Springer
15 years 6 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
120
Voted
COORDINATION
2006
Springer
15 years 6 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...
134
click to vote
ICRA
1993
IEEE
15 years 6 months ago
1993
IEEE
A survey of blackboard robotics applications shows the improvements of blackboard models used in telerobotics and autonomous robots from the use of sequential blackboard in the ro...
100
click to vote
MLMI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We aim to create a model of emotional reactive virtual humans. This model will help to define realistic behavior for virtual characters based on emotions and events in t...