SHARPE

swMATH3100MaRDI QIDQ15633FDOQ15633

Author name not available (Why is that?)

Official website: http://sharpe.pratt.duke.edu/

Cited In (51)

• 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
• FM - a pragmatic tool to model, analyse and predict complex behaviour of industrial 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
• TimeNET
• DrawNET++
• LeZi-update
• SREPT
• SMART_
• ExSpect
• PetriNets
• SPNP
• SCUBA
• AToM3
• SPNica
• MulVAL
• A queueing theoretic approach for performance evaluation of low-power multi-core embedded systems
• ADEPTS
• MOSEL
• 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
• Möbius
• 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