FRINK Linked Data Fragments server

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

• W1497647456 endingPage "289" @default.
• W1497647456 startingPage "261" @default.
• W1497647456 abstract "Markov chains (and their extensions with rewards) have been widely used to determine performance, dependability and performability characteristics of computer communication systems, such as throughput, delay, mean time to failure, or the probability to accumulate at least a certain amount of reward in a given time.Due to the rapidly increasing size and complexity of systems, Markov chains and Markov reward models are difficult and cumbersome to specify by hand at the state-space level. Therefore, various specification formalisms, such as stochastic Petri nets and stochastic process algebras, have been developed to facilitate the specification of these models at a higher level of abstraction. Uptill now, however, the specification of the measure-of-interest is often done in an informal and relatively unstructured way. Furthermore, some measures-of-interest can not be expressed conveniently at all.In this tutorial paper, we present a logic-based specification technique to specify performance, dependability and performability measures-ofinterest and show how for a given finite Markov chain (or Markov reward model) such measures can be evaluated in a fully automated way. Particular emphasis will be given to so-called path-based measures and hierarchically-specified measures. For this purpose, we extend so-called model checking techniques to reason about discrete- and continuous-time Markov chains and their rewards.We also report on the use of techniques such as (compositional) model reduction and measure-driven state-space generation to combat the infamous state space explosion problem." @default.
• W1497647456 created "2016-06-24" @default.
• W1497647456 creator A5028747794 @default.
• W1497647456 creator A5036034957 @default.
• W1497647456 creator A5090819329 @default.
• W1497647456 creator A5091344667 @default.
• W1497647456 date "2002-01-01" @default.
• W1497647456 modified "2023-09-25" @default.
• W1497647456 title "Automated Performance and Dependability Evaluation Using Model Checking" @default.
• W1497647456 cites W1501020965 @default.
• W1497647456 cites W1514324734 @default.
• W1497647456 cites W1539457702 @default.
• W1497647456 cites W1596739056 @default.
• W1497647456 cites W1803230550 @default.
• W1497647456 cites W1897676854 @default.
• W1497647456 cites W1965697381 @default.
• W1497647456 cites W1967497793 @default.
• W1497647456 cites W1972002191 @default.
• W1497647456 cites W1984121732 @default.
• W1497647456 cites W198918365 @default.
• W1497647456 cites W2001919784 @default.
• W1497647456 cites W2013144508 @default.
• W1497647456 cites W2023394487 @default.
• W1497647456 cites W2041226400 @default.
• W1497647456 cites W2043896870 @default.
• W1497647456 cites W2044811734 @default.
• W1497647456 cites W2047386147 @default.
• W1497647456 cites W2048782993 @default.
• W1497647456 cites W2078423317 @default.
• W1497647456 cites W2095939858 @default.
• W1497647456 cites W2096899005 @default.
• W1497647456 cites W2099529102 @default.
• W1497647456 cites W2103767382 @default.
• W1497647456 cites W2107224406 @default.
• W1497647456 cites W2114710208 @default.
• W1497647456 cites W2115309705 @default.
• W1497647456 cites W2117189826 @default.
• W1497647456 cites W2124446794 @default.
• W1497647456 cites W2125696354 @default.
• W1497647456 cites W2131390691 @default.
• W1497647456 cites W2133820906 @default.
• W1497647456 cites W2159763578 @default.
• W1497647456 cites W2160136100 @default.
• W1497647456 cites W2163831082 @default.
• W1497647456 cites W2165439624 @default.
• W1497647456 cites W2653646069 @default.
• W1497647456 cites W2695253840 @default.
• W1497647456 cites W3166263510 @default.
• W1497647456 cites W4206542816 @default.
• W1497647456 cites W4210485182 @default.
• W1497647456 cites W4244847755 @default.
• W1497647456 cites W4300021588 @default.
• W1497647456 doi "https://doi.org/10.1007/3-540-45798-4_12" @default.
• W1497647456 hasPublicationYear "2002" @default.
• W1497647456 type Work @default.
• W1497647456 sameAs 1497647456 @default.
• W1497647456 citedByCount "30" @default.
• W1497647456 countsByYear W14976474562012 @default.
• W1497647456 countsByYear W14976474562014 @default.
• W1497647456 countsByYear W14976474562017 @default.
• W1497647456 countsByYear W14976474562018 @default.
• W1497647456 countsByYear W14976474562019 @default.
• W1497647456 crossrefType "book-chapter" @default.
• W1497647456 hasAuthorship W1497647456A5028747794 @default.
• W1497647456 hasAuthorship W1497647456A5036034957 @default.
• W1497647456 hasAuthorship W1497647456A5090819329 @default.
• W1497647456 hasAuthorship W1497647456A5091344667 @default.
• W1497647456 hasBestOaLocation W14976474561 @default.
• W1497647456 hasConcept C105795698 @default.
• W1497647456 hasConcept C110251889 @default.
• W1497647456 hasConcept C111472728 @default.
• W1497647456 hasConcept C11413529 @default.
• W1497647456 hasConcept C115903868 @default.
• W1497647456 hasConcept C119857082 @default.
• W1497647456 hasConcept C124101348 @default.
• W1497647456 hasConcept C124304363 @default.
• W1497647456 hasConcept C138885662 @default.
• W1497647456 hasConcept C159886148 @default.
• W1497647456 hasConcept C163836022 @default.
• W1497647456 hasConcept C171018156 @default.
• W1497647456 hasConcept C197551870 @default.
• W1497647456 hasConcept C2524010 @default.
• W1497647456 hasConcept C2780009758 @default.
• W1497647456 hasConcept C33923547 @default.
• W1497647456 hasConcept C38677869 @default.
• W1497647456 hasConcept C41008148 @default.
• W1497647456 hasConcept C72434380 @default.
• W1497647456 hasConcept C77019957 @default.
• W1497647456 hasConcept C80444323 @default.
• W1497647456 hasConcept C98763669 @default.
• W1497647456 hasConceptScore W1497647456C105795698 @default.
• W1497647456 hasConceptScore W1497647456C110251889 @default.
• W1497647456 hasConceptScore W1497647456C111472728 @default.
• W1497647456 hasConceptScore W1497647456C11413529 @default.
• W1497647456 hasConceptScore W1497647456C115903868 @default.
• W1497647456 hasConceptScore W1497647456C119857082 @default.
• W1497647456 hasConceptScore W1497647456C124101348 @default.
• W1497647456 hasConceptScore W1497647456C124304363 @default.

• next