FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2160999213> ?p ?o ?g. }

• W2160999213 endingPage "15" @default.
• W2160999213 startingPage "10" @default.
• W2160999213 abstract "Markov chains are one of the most popular models for the evaluation of performance and dependability of information processing systems. To obtain performance measures, typically long-run or transient state probabilities of Markov chains are determined. Sometimes the Markov chain at hand is equipped with rewards and computations involve determining long-run or instantaneous reward probabilities.This note summarises a technique to determine performance and dependability guarantees of Markov chains. Given a precise description of the desired guarantee, all states in the Markov chain are determined that surely meet the guarantee. This is done in a fully automated way. Guarantees are described using logics. The use of logics yields an expressive framework that allows to express well-known measures, but also (new) intricate and complex performance guarantees. The power of this technique is that no matter how complex the logical guarantee, it is automatically checked which states in the Markov chain satisfy it. Neither manual manipulations of Markov chains (or their high-level descriptions) are needed, nor the knowledge of any numerical technique to analyze them efficiently. This applies to any (time-homogeneous) Markov chain of any structure specified in any high-level formalism." @default.
• W2160999213 created "2016-06-24" @default.
• W2160999213 creator A5028747794 @default.
• W2160999213 creator A5061088253 @default.
• W2160999213 creator A5090819329 @default.
• W2160999213 creator A5091344667 @default.
• W2160999213 date "2005-03-01" @default.
• W2160999213 modified "2023-09-24" @default.
• W2160999213 title "Model checking meets performance evaluation" @default.
• W2160999213 cites W1557817244 @default.
• W2160999213 cites W1963619740 @default.
• W2160999213 cites W1969553191 @default.
• W2160999213 cites W1976268573 @default.
• W2160999213 cites W1984719832 @default.
• W2160999213 cites W2005998857 @default.
• W2160999213 cites W2006889545 @default.
• W2160999213 cites W2041226400 @default.
• W2160999213 cites W2044811734 @default.
• W2160999213 cites W2051580064 @default.
• W2160999213 cites W2067463757 @default.
• W2160999213 cites W2097476502 @default.
• W2160999213 cites W2122510266 @default.
• W2160999213 cites W2141881497 @default.
• W2160999213 cites W2160634572 @default.
• W2160999213 cites W2162943184 @default.
• W2160999213 doi "https://doi.org/10.1145/1059816.1059819" @default.
• W2160999213 hasPublicationYear "2005" @default.
• W2160999213 type Work @default.
• W2160999213 sameAs 2160999213 @default.
• W2160999213 citedByCount "21" @default.
• W2160999213 countsByYear W21609992132012 @default.
• W2160999213 countsByYear W21609992132013 @default.
• W2160999213 countsByYear W21609992132014 @default.
• W2160999213 countsByYear W21609992132015 @default.
• W2160999213 countsByYear W21609992132017 @default.
• W2160999213 countsByYear W21609992132020 @default.
• W2160999213 crossrefType "journal-article" @default.
• W2160999213 hasAuthorship W2160999213A5028747794 @default.
• W2160999213 hasAuthorship W2160999213A5061088253 @default.
• W2160999213 hasAuthorship W2160999213A5090819329 @default.
• W2160999213 hasAuthorship W2160999213A5091344667 @default.
• W2160999213 hasBestOaLocation W21609992132 @default.
• W2160999213 hasConcept C105795698 @default.
• W2160999213 hasConcept C11413529 @default.
• W2160999213 hasConcept C115903868 @default.
• W2160999213 hasConcept C119857082 @default.
• W2160999213 hasConcept C126255220 @default.
• W2160999213 hasConcept C142362112 @default.
• W2160999213 hasConcept C153349607 @default.
• W2160999213 hasConcept C159886148 @default.
• W2160999213 hasConcept C163540672 @default.
• W2160999213 hasConcept C163836022 @default.
• W2160999213 hasConcept C33923547 @default.
• W2160999213 hasConcept C41008148 @default.
• W2160999213 hasConcept C45374587 @default.
• W2160999213 hasConcept C54907487 @default.
• W2160999213 hasConcept C558565934 @default.
• W2160999213 hasConcept C73301696 @default.
• W2160999213 hasConcept C76408418 @default.
• W2160999213 hasConcept C77019957 @default.
• W2160999213 hasConcept C80444323 @default.
• W2160999213 hasConcept C98763669 @default.
• W2160999213 hasConceptScore W2160999213C105795698 @default.
• W2160999213 hasConceptScore W2160999213C11413529 @default.
• W2160999213 hasConceptScore W2160999213C115903868 @default.
• W2160999213 hasConceptScore W2160999213C119857082 @default.
• W2160999213 hasConceptScore W2160999213C126255220 @default.
• W2160999213 hasConceptScore W2160999213C142362112 @default.
• W2160999213 hasConceptScore W2160999213C153349607 @default.
• W2160999213 hasConceptScore W2160999213C159886148 @default.
• W2160999213 hasConceptScore W2160999213C163540672 @default.
• W2160999213 hasConceptScore W2160999213C163836022 @default.
• W2160999213 hasConceptScore W2160999213C33923547 @default.
• W2160999213 hasConceptScore W2160999213C41008148 @default.
• W2160999213 hasConceptScore W2160999213C45374587 @default.
• W2160999213 hasConceptScore W2160999213C54907487 @default.
• W2160999213 hasConceptScore W2160999213C558565934 @default.
• W2160999213 hasConceptScore W2160999213C73301696 @default.
• W2160999213 hasConceptScore W2160999213C76408418 @default.
• W2160999213 hasConceptScore W2160999213C77019957 @default.
• W2160999213 hasConceptScore W2160999213C80444323 @default.
• W2160999213 hasConceptScore W2160999213C98763669 @default.
• W2160999213 hasIssue "4" @default.
• W2160999213 hasLocation W21609992131 @default.
• W2160999213 hasLocation W21609992132 @default.
• W2160999213 hasOpenAccess W2160999213 @default.
• W2160999213 hasPrimaryLocation W21609992131 @default.
• W2160999213 hasRelatedWork W2017778405 @default.
• W2160999213 hasRelatedWork W2019735591 @default.
• W2160999213 hasRelatedWork W2287610685 @default.
• W2160999213 hasRelatedWork W2393764248 @default.
• W2160999213 hasRelatedWork W2788142463 @default.
• W2160999213 hasRelatedWork W2938904807 @default.
• W2160999213 hasRelatedWork W3021931671 @default.
• W2160999213 hasRelatedWork W3023188449 @default.
• W2160999213 hasRelatedWork W50519898 @default.
• W2160999213 hasRelatedWork W628582992 @default.
• W2160999213 hasVolume "32" @default.

• next