391 search results - page 58 / 79 » Compositionality for Probabilistic Automata |
156
Voted
BIBM
2010
IEEE
15 years 19 days ago
2010
IEEE
Recently, the concept of a species containing both core and distributed genes, known as the supra- or pangenome theory, has been introduced. In this paper, we aim to develop a new ...
125
Voted
TASE
2009
IEEE
15 years 9 months ago
2009
IEEE
Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allow...
133
Voted
CSL
2010
Springer
15 years 3 months ago
2010
Springer
We present a new algorithm for model-checking weak monadic second-order logic on inductive structures, a class of structures of bounded clique width. Our algorithm directly manipul...
125
click to vote
DEDS
2006
15 years 2 months ago
2006
The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diag...
137
Voted
INFORMATICALT
2008
15 years 2 months ago
2008
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components....