Matches in SemOpenAlex for { <https://semopenalex.org/work/W2524571918> ?p ?o ?g. }
- W2524571918 abstract "The present book focuses on distributed systems operating under probabilistic influences like faults. How well can such systems provide their service under the effects of faults? How well can they recover from faults? Along with a thorough introduction into the area of fault tolerance, this book introduces a measure called limiting window availability to answer such questions. Furthermore, a method for computing the limiting window availability based on constructing the transition models from the system and environment models is developed. The method yet hinges on the transition model being exponential in the size of the constituting system models. This effect is commonly known as state space explosion. Combining decomposition and lumping methods for reducing the state space from the domain of model checking yet allows to dampen the state space explosion, thus enhancing the spectrum of systems that are tractable for an analysis significantly." @default.
- W2524571918 created "2016-10-07" @default.
- W2524571918 creator A5029337092 @default.
- W2524571918 date "2014-01-01" @default.
- W2524571918 modified "2023-09-26" @default.
- W2524571918 title "Unmasking fault tolerance : Quantifying deterministic recovery dynamics in probabilistic environments" @default.
- W2524571918 cites W1491980118 @default.
- W2524571918 cites W1501881008 @default.
- W2524571918 cites W1504504841 @default.
- W2524571918 cites W1505337087 @default.
- W2524571918 cites W1508143344 @default.
- W2524571918 cites W1518754760 @default.
- W2524571918 cites W1548274066 @default.
- W2524571918 cites W1567452806 @default.
- W2524571918 cites W1567498567 @default.
- W2524571918 cites W1567646530 @default.
- W2524571918 cites W1570153265 @default.
- W2524571918 cites W1573853539 @default.
- W2524571918 cites W1579164394 @default.
- W2524571918 cites W1595498733 @default.
- W2524571918 cites W1686222892 @default.
- W2524571918 cites W1838112905 @default.
- W2524571918 cites W1875111002 @default.
- W2524571918 cites W1980824962 @default.
- W2524571918 cites W1987073190 @default.
- W2524571918 cites W1992580876 @default.
- W2524571918 cites W1997644999 @default.
- W2524571918 cites W1998422337 @default.
- W2524571918 cites W2015447272 @default.
- W2524571918 cites W2015849324 @default.
- W2524571918 cites W2020779709 @default.
- W2524571918 cites W2023270434 @default.
- W2524571918 cites W2038455914 @default.
- W2524571918 cites W2043801088 @default.
- W2524571918 cites W2045651560 @default.
- W2524571918 cites W2047924755 @default.
- W2524571918 cites W2048472066 @default.
- W2524571918 cites W2075379212 @default.
- W2524571918 cites W2078000719 @default.
- W2524571918 cites W2088176067 @default.
- W2524571918 cites W2096210507 @default.
- W2524571918 cites W2100464070 @default.
- W2524571918 cites W2103412683 @default.
- W2524571918 cites W2109632751 @default.
- W2524571918 cites W2110411539 @default.
- W2524571918 cites W2111132249 @default.
- W2524571918 cites W2114710208 @default.
- W2524571918 cites W2115179079 @default.
- W2524571918 cites W2117189826 @default.
- W2524571918 cites W2122249806 @default.
- W2524571918 cites W2123825896 @default.
- W2524571918 cites W2127949150 @default.
- W2524571918 cites W2128932399 @default.
- W2524571918 cites W2131140193 @default.
- W2524571918 cites W2132334337 @default.
- W2524571918 cites W2141425427 @default.
- W2524571918 cites W2141823988 @default.
- W2524571918 cites W2142486837 @default.
- W2524571918 cites W2145071552 @default.
- W2524571918 cites W2146049822 @default.
- W2524571918 cites W2153063501 @default.
- W2524571918 cites W2158143875 @default.
- W2524571918 cites W2163350150 @default.
- W2524571918 cites W2163850966 @default.
- W2524571918 cites W2164096878 @default.
- W2524571918 cites W2167797798 @default.
- W2524571918 cites W2340995113 @default.
- W2524571918 cites W2563233999 @default.
- W2524571918 cites W2611515161 @default.
- W2524571918 cites W2751862591 @default.
- W2524571918 cites W2788962374 @default.
- W2524571918 cites W2913788705 @default.
- W2524571918 cites W2952753488 @default.
- W2524571918 cites W3102160464 @default.
- W2524571918 cites W3119473442 @default.
- W2524571918 cites W69467742 @default.
- W2524571918 cites W1980073965 @default.
- W2524571918 hasPublicationYear "2014" @default.
- W2524571918 type Work @default.
- W2524571918 sameAs 2524571918 @default.
- W2524571918 citedByCount "2" @default.
- W2524571918 countsByYear W25245719182015 @default.
- W2524571918 countsByYear W25245719182018 @default.
- W2524571918 crossrefType "dissertation" @default.
- W2524571918 hasAuthorship W2524571918A5029337092 @default.
- W2524571918 hasConcept C105795698 @default.
- W2524571918 hasConcept C120314980 @default.
- W2524571918 hasConcept C124681953 @default.
- W2524571918 hasConcept C127413603 @default.
- W2524571918 hasConcept C134306372 @default.
- W2524571918 hasConcept C154945302 @default.
- W2524571918 hasConcept C188198153 @default.
- W2524571918 hasConcept C18903297 @default.
- W2524571918 hasConcept C33923547 @default.
- W2524571918 hasConcept C36503486 @default.
- W2524571918 hasConcept C41008148 @default.
- W2524571918 hasConcept C47822265 @default.
- W2524571918 hasConcept C49937458 @default.
- W2524571918 hasConcept C63540848 @default.
- W2524571918 hasConcept C72434380 @default.