SHARPE
From MaRDI portal
Software:15633
swMATH3100MaRDI QIDQ15633FDOQ15633
Author name not available (Why is that?)
Cited In (36)
- Agent-based forwarding strategies for reducing location management cost in mobile networks
- How to capture dynamic behaviours of dependable systems
- Title not available (Why is that?)
- A two-phase cyclic nonhomogeneous Markov chain performability evaluation by explicit approximate inverses applied to a replicated database system
- Response Time Distributions in Networks of Queues
- Stochastic Discrete Event Systems
- Diagnosing Hybrid Dynamical Systems Using Max-Plus Algebraic Methods
- Title not available (Why is that?)
- Fast computation of bounds for two-terminal network reliability
- Investigating dynamic reliability and availability through state-space models
- Game theoretic modeling and dependability analysis of small cell relays under bandwidth spoofing attack in 5G wireless communication network
- Architecture-based approaches to software reliability prediction
- Evaluating layered distributed software systems with fault-tolerant features
- Performance analysis of probabilistic action systems
- Title not available (Why is that?)
- A compositional model to reason about end-to-end QoS in stochastic Reo connectors
- SREPT: software reliability estimation and prediction tool
- Title not available (Why is that?)
- Title not available (Why is that?)
- Stochastic modeling for delay analysis of a VoIP network
- Approximate transient analysis of large stochastic models with WinPEPSY-QNS
- Towards robust predictive fault-tolerant control for a battery assembly system
- FM – a pragmatic tool to model, analyse and predict complex behaviour of industrial systems
- A queueing theoretic approach for performance evaluation of low-power multi-core embedded systems
- Improving network service performance and reliability via links trunking technologies
- A Comparative Cost Analysis of Degradable Location Management Algorithms in Wireless Networks
- OPTIMAL SOFTWARE RELEASE POLICY BASED ON MARKOVIAN PERFECT DEBUGGING MODEL
- Title not available (Why is that?)
- Title not available (Why is that?)
- Rough set methods for the synthesis and analysis of concurrent processes
- A survivability model in wireless sensor networks
- Architecture-based approach to reliability assessment of software systems
- Closed-form solution of decomposable stochastic models
- A review of attack graph and attack tree visual syntax in cyber security
- Formal reliability analysis of redundancy architectures
- Analysis of the deviation of the nonstationary availability factor of a restorable system from its stationary value
This page was built for software: SHARPE