1024 search results - page 6 / 205 » Compositional Methods for Probabilistic Systems |
112
Voted
ECBS
2000
IEEE
15 years 6 months ago
2000
IEEE
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
95
Voted
FM
1999
Springer
15 years 6 months ago
1999
Springer
121
Voted
SIGSOFT
2009
ACM
16 years 3 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
125
click to vote
ATVA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...