1980 search results - page 68 / 396 » Compositional Model Checking of Real Time Systems |
SPIN
2004
Springer
15 years 5 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
106
click to vote
TOOLS
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
ISORC
2003
IEEE
15 years 5 months ago
2003
IEEE
Composition of a system is driven by the (a) identification and specification of basic components, and (b) specification of the interactions across the components, i.e., the commu...
122
click to vote
NN
2010
Springer
14 years 10 months ago
2010
Springer
This study shows that a mixture of RNN experts model can acquire the ability to generate sequences that are combination of multiple primitive patterns by means of self-organizing ...
RTCSA
2006
IEEE
15 years 5 months ago
2006
IEEE
The real-time implementation of a controller typically introduces artefacts like delay and jitters that have not been considered at the design stage. As a consequence, the system ...