Matches in SemOpenAlex for { <https://semopenalex.org/work/W2117497989> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2117497989 abstract "Business and social life have become increasingly dependent on large-scale communication and information systems. A partial or complete breakdown as a consequence of natural disasters or purposeful attacks might have severe impacts. Survivability refers to the ability of a system to recover from such disaster circumstances. Evaluating survivability should therefore be an important part of communication system design. In this paper we take a model checking approach toward assessing survivability. We use the logic CSL to phrase survivability in a precise manner. The system operation is modelled through a labelled CTMC. Model checking algorithms can then decide automatically whether the system is survivable. We illustrate our method by evaluating the survivability of the Google file system using stochastic Petri nets." @default.
- W2117497989 created "2016-06-24" @default.
- W2117497989 creator A5011439676 @default.
- W2117497989 creator A5061088253 @default.
- W2117497989 date "2005-01-01" @default.
- W2117497989 modified "2023-09-30" @default.
- W2117497989 title "Model checking for survivability!" @default.
- W2117497989 cites W149299502 @default.
- W2117497989 cites W1497313266 @default.
- W2117497989 cites W1557817244 @default.
- W2117497989 cites W1721587744 @default.
- W2117497989 cites W2007018477 @default.
- W2117497989 cites W2041226400 @default.
- W2117497989 cites W2054020155 @default.
- W2117497989 cites W2095767682 @default.
- W2117497989 cites W2108611213 @default.
- W2117497989 cites W2115039240 @default.
- W2117497989 cites W2119565742 @default.
- W2117497989 cites W2122510266 @default.
- W2117497989 cites W2141881497 @default.
- W2117497989 cites W2147664171 @default.
- W2117497989 cites W4230164823 @default.
- W2117497989 doi "https://doi.org/10.1109/qest.2005.21" @default.
- W2117497989 hasPublicationYear "2005" @default.
- W2117497989 type Work @default.
- W2117497989 sameAs 2117497989 @default.
- W2117497989 citedByCount "46" @default.
- W2117497989 countsByYear W21174979892012 @default.
- W2117497989 countsByYear W21174979892013 @default.
- W2117497989 countsByYear W21174979892014 @default.
- W2117497989 countsByYear W21174979892015 @default.
- W2117497989 countsByYear W21174979892016 @default.
- W2117497989 countsByYear W21174979892017 @default.
- W2117497989 countsByYear W21174979892018 @default.
- W2117497989 countsByYear W21174979892019 @default.
- W2117497989 countsByYear W21174979892022 @default.
- W2117497989 countsByYear W21174979892023 @default.
- W2117497989 crossrefType "proceedings-article" @default.
- W2117497989 hasAuthorship W2117497989A5011439676 @default.
- W2117497989 hasAuthorship W2117497989A5061088253 @default.
- W2117497989 hasBestOaLocation W21174979892 @default.
- W2117497989 hasConcept C110251889 @default.
- W2117497989 hasConcept C120314980 @default.
- W2117497989 hasConcept C127413603 @default.
- W2117497989 hasConcept C197551870 @default.
- W2117497989 hasConcept C200601418 @default.
- W2117497989 hasConcept C2781133158 @default.
- W2117497989 hasConcept C31258907 @default.
- W2117497989 hasConcept C38652104 @default.
- W2117497989 hasConcept C38677869 @default.
- W2117497989 hasConcept C41008148 @default.
- W2117497989 hasConcept C80444323 @default.
- W2117497989 hasConceptScore W2117497989C110251889 @default.
- W2117497989 hasConceptScore W2117497989C120314980 @default.
- W2117497989 hasConceptScore W2117497989C127413603 @default.
- W2117497989 hasConceptScore W2117497989C197551870 @default.
- W2117497989 hasConceptScore W2117497989C200601418 @default.
- W2117497989 hasConceptScore W2117497989C2781133158 @default.
- W2117497989 hasConceptScore W2117497989C31258907 @default.
- W2117497989 hasConceptScore W2117497989C38652104 @default.
- W2117497989 hasConceptScore W2117497989C38677869 @default.
- W2117497989 hasConceptScore W2117497989C41008148 @default.
- W2117497989 hasConceptScore W2117497989C80444323 @default.
- W2117497989 hasLocation W21174979891 @default.
- W2117497989 hasLocation W21174979892 @default.
- W2117497989 hasOpenAccess W2117497989 @default.
- W2117497989 hasPrimaryLocation W21174979891 @default.
- W2117497989 hasRelatedWork W1495820984 @default.
- W2117497989 hasRelatedWork W16014793 @default.
- W2117497989 hasRelatedWork W1992110565 @default.
- W2117497989 hasRelatedWork W2089383275 @default.
- W2117497989 hasRelatedWork W2168615635 @default.
- W2117497989 hasRelatedWork W2274714293 @default.
- W2117497989 hasRelatedWork W2316022419 @default.
- W2117497989 hasRelatedWork W2332642554 @default.
- W2117497989 hasRelatedWork W2954138779 @default.
- W2117497989 hasRelatedWork W2586039792 @default.
- W2117497989 isParatext "false" @default.
- W2117497989 isRetracted "false" @default.
- W2117497989 magId "2117497989" @default.
- W2117497989 workType "article" @default.