Stochastic Model Checking for Predicting Component Failures and Service Availability

IEEE Transactions on Dependable and Secure Computing - United States
doi 10.1109/tdsc.2017.2650901
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Related search

An Epistemic Model Checking Approach to Web Service Compositions

International Journal of Wireless and Microwave Technologies
2012English

Validation of Service Level Agreements Using Probabilistic Model Checking

2017English

An Analytical Model for Availability Evaluation of Cloud Service Provisioning System

International Journal of Advanced Computer Science and Applications
Computer Science
2017English

A Model-Based Repository for Open Source Service and Component Integration

2011English

A Temporal Model of Perceived Control to Explain Service Failures

BAR - Brazilian Administration Review
ManagementStrategy
2019English

Predicting the Availability of Production Lines by Combining Simulation and Surrogate Model

Advances in Production Engineering And Management
IndustrialMechanical EngineeringNuclearManufacturing EngineeringHigh Energy PhysicsManagement ScienceInnovationManagement of TechnologyOperations Research
2017English

Server Failures Enabled Javaspaces Service

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2014English

IT Service Management for High Availability

IBM Systems Journal
2008English

Testing and Model-Checking Techniques for Diagnosis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy