Component simulation-based substitutivity managing QoS and composition issues
From MaRDI portal
Publication:988175
DOI10.1016/j.scico.2010.02.004zbMath1214.68097OpenAlexW2066455456MaRDI QIDQ988175
Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot
Publication date: 26 August 2010
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2010.02.004
Related Items (1)
Uses Software
Cites Work
- Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton
- Verification of evolving software via component substitutability analysis
- Component simulation-based substitutivity managing QoS and composition issues
- A calculus of communicating systems
- On the degree of ambiguity of finite automata
- Finite-valued distance automata
- Enhancements of partitioning techniques for image compression using weighted finite automata.
- Minimum-cost delegation in service composition
- On the optimal reachability problem of weighted timed automata
- Interactive tool support for CSP \(\parallel\) B consistency checking
- Operating Guidelines for Finite-State Services
- Algebraic laws for nondeterminism and concurrency
- THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
- DECIDABILITY OF THE EQUIVALENCE PROBLEM FOR FINITELY AMBIGUOUS FINANCE AUTOMATA
- Performance evaluation of (max,+) automata
- Fundamental Approaches to Software Engineering
- An approximate determinization algorithm for weighted finite-state automata
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Component simulation-based substitutivity managing QoS and composition issues
