Sciweavers

186 search results - page 6 / 38
» Crafting game-models using reactive system design
Sort
View
FUIN
2010
136views more  FUIN 2010»
13 years 8 months ago
Modeling Biology using Generic Reactive Animation
Abstract. Complex biological systems involve incorporated behaviors of numerous processes, mechanisms and objects. However, experimental analysis, by its nature, divides biological...
Yaki Setty, Irun R. Cohen, David Harel
DATE
2006
IEEE
105views Hardware» more  DATE 2006»
14 years 5 months ago
Comfortable modeling of complex reactive systems
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of ...
Steffen Prochnow, Reinhard von Hanxleden
ICRA
1995
IEEE
86views Robotics» more  ICRA 1995»
14 years 2 months ago
OARS: An Object-Oriented Architecture for Reactive Systems
1 - This paper discusses an architecture designed to provide support for the development of state transition models for an object-oriented distributed environment. The state transi...
Bernard T. Barcio, Srini Ramaswamy, K. Suzanne Bar...
POPL
2012
ACM
12 years 6 months ago
Higher-order functional reactive programming in bounded space
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
Neelakantan R. Krishnaswami, Nick Benton, Jan Hoff...
EMSOFT
2004
Springer
14 years 4 months ago
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
Albert Benveniste, Benoît Caillaud, Luca P. ...