1202 search results - page 68 / 241 » Sortings for Reactive Systems |
227
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we investigate output accuracy for a Discrete Event Simulation (DES) model and Agent Based Simulation (ABS) model. The purpose of this investigation is to find out ...
148
click to vote
CP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
139
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
158
Voted
DAC
1997
ACM
15 years 7 months ago
1997
ACM
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
125
click to vote
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...