A compositional model to reason about end-to-end QoS in stochastic Reo connectors (Q1651010): Difference between revisions

@@ Property / arXiv ID @@
+.5094
@@ Property / arXiv ID: 1007.5094 / rank @@
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Modeling component connectors in Reo by constraint automata
+Normal rank
@@ Property / cites work @@
+A model of context-dependent component connectors
@@ Property / cites work: A model of context-dependent component connectors / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Markov chains. And the quest for quantified quality
+Normal rank
@@ Property / cites work @@
+Q4324960
@@ Property / cites work: Q4324960 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterization of phase-type distributions
@@ Property / cites work: Characterization of phase-type distributions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3923308
@@ Property / cites work: Q3923308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808842
@@ Property / cites work: Q4808842 / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
+Normal rank
@@ Property / cites work @@
+The How and Why of Interactive Markov Chains
@@ Property / cites work: The How and Why of Interactive Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Performance evaluation of complex systems: Techniques and tools. Performance 2002 tutorial lectures. Papers based on the tutorials presented at the IFIP WG 7. 3 international symposium on computer performance modeling, measurement and evaluation, (Performance 2002), Rome, Italy, September 23-27, 1992
+Normal rank
@@ Property / cites work @@
+Efficient descriptor-vector multiplications in stochastic automata networks
+Normal rank
@@ Property / cites work @@
+The numerical solution of stochastic automata networks
+Normal rank
@@ Property / cites work @@
+Q4864703
@@ Property / cites work: Q4864703 / rank @@
+Normal rank
@@ Property / cites work @@
+Extended Markovian Process Algebra
@@ Property / cites work: Extended Markovian Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
+Normal rank
@@ Property / cites work @@
+Modeling dynamic reconfigurations in Reo using high-level replacement systems
+Normal rank