Sciweavers

893 search results - page 20 / 179
» Modeling reactive systems in Java
Sort
View
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
15 years 8 months ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
MACE
2009
Springer
230views Communications» more  MACE 2009»
15 years 9 months ago
Combining Learned and Highly-Reactive Management
Learned models of behavior have the disadvantage that they must be retrained after any change in system configuration. Autonomic management methods based upon learned models lose ...
Alva L. Couch, Marc Chiarini
121
Voted
WOA
2000
15 years 3 months ago
OO Reactive Agents for RDM-Based Simulations
The computer simulation of complex phenomena is a challenging issue for studying their properties. Several models and techniques have been developed in order to provide useful con...
Stefania Bandini, Flavio De Paoli, Sara Manzoni, C...
DATE
2005
IEEE
172views Hardware» more  DATE 2005»
15 years 8 months ago
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development
Embedded software design for real time reactive system
Massimo Baleani, Alberto Ferrari, Leonardo Mangeru...
167
Voted
PLPV
2012
ACM
13 years 10 months ago
LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
Alan Jeffrey