Matches in SemOpenAlex for { <https://semopenalex.org/work/W1514560100> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1514560100 endingPage "438" @default.
- W1514560100 startingPage "423" @default.
- W1514560100 abstract "Traditional methods for the analysis of system performance and reliability generally assume a precise knowledge of the system and its workload. Here, we present methods that are suited for the analysis of systems that contain partly unknown or unspecified components, such as systems in their early design stages. We introduce stochastic transition systems, a high-level formalism for the modeling of timed probabilistic systems. Stochastic transition systems extend current modeling capabilities by enabling the representation of transitions having unknown delay distributions, alongside transitions with zero or exponentially-distributed delay. We show how these various types of transitions can be uniformly represented in terms of nondeterminism, probability, fairness and time, yielding efficient algorithms for system analysis. Finally, we present methods for the specification and verification of long-run average properties of STSs. These properties include many relevant performance and reliability indices, such as system throughput, average response time, and mean time between failures." @default.
- W1514560100 created "2016-06-24" @default.
- W1514560100 creator A5050777140 @default.
- W1514560100 date "1998-01-01" @default.
- W1514560100 modified "2023-09-27" @default.
- W1514560100 title "Stochastic transition systems" @default.
- W1514560100 cites W1496748552 @default.
- W1514560100 cites W1505738311 @default.
- W1514560100 cites W1531089277 @default.
- W1514560100 cites W1793726001 @default.
- W1514560100 cites W2034883517 @default.
- W1514560100 cites W2079636926 @default.
- W1514560100 cites W2091188761 @default.
- W1514560100 cites W2130415189 @default.
- W1514560100 cites W2165161585 @default.
- W1514560100 cites W4206542816 @default.
- W1514560100 doi "https://doi.org/10.1007/bfb0055639" @default.
- W1514560100 hasPublicationYear "1998" @default.
- W1514560100 type Work @default.
- W1514560100 sameAs 1514560100 @default.
- W1514560100 citedByCount "24" @default.
- W1514560100 countsByYear W15145601002015 @default.
- W1514560100 countsByYear W15145601002017 @default.
- W1514560100 countsByYear W15145601002019 @default.
- W1514560100 countsByYear W15145601002023 @default.
- W1514560100 crossrefType "book-chapter" @default.
- W1514560100 hasAuthorship W1514560100A5050777140 @default.
- W1514560100 hasConcept C111919701 @default.
- W1514560100 hasConcept C11413529 @default.
- W1514560100 hasConcept C121332964 @default.
- W1514560100 hasConcept C142362112 @default.
- W1514560100 hasConcept C153349607 @default.
- W1514560100 hasConcept C154945302 @default.
- W1514560100 hasConcept C163258240 @default.
- W1514560100 hasConcept C17744445 @default.
- W1514560100 hasConcept C199539241 @default.
- W1514560100 hasConcept C24404364 @default.
- W1514560100 hasConcept C2776359362 @default.
- W1514560100 hasConcept C2778476105 @default.
- W1514560100 hasConcept C2986581786 @default.
- W1514560100 hasConcept C41008148 @default.
- W1514560100 hasConcept C43214815 @default.
- W1514560100 hasConcept C49937458 @default.
- W1514560100 hasConcept C558565934 @default.
- W1514560100 hasConcept C62520636 @default.
- W1514560100 hasConcept C73301696 @default.
- W1514560100 hasConcept C79403827 @default.
- W1514560100 hasConcept C94625758 @default.
- W1514560100 hasConceptScore W1514560100C111919701 @default.
- W1514560100 hasConceptScore W1514560100C11413529 @default.
- W1514560100 hasConceptScore W1514560100C121332964 @default.
- W1514560100 hasConceptScore W1514560100C142362112 @default.
- W1514560100 hasConceptScore W1514560100C153349607 @default.
- W1514560100 hasConceptScore W1514560100C154945302 @default.
- W1514560100 hasConceptScore W1514560100C163258240 @default.
- W1514560100 hasConceptScore W1514560100C17744445 @default.
- W1514560100 hasConceptScore W1514560100C199539241 @default.
- W1514560100 hasConceptScore W1514560100C24404364 @default.
- W1514560100 hasConceptScore W1514560100C2776359362 @default.
- W1514560100 hasConceptScore W1514560100C2778476105 @default.
- W1514560100 hasConceptScore W1514560100C2986581786 @default.
- W1514560100 hasConceptScore W1514560100C41008148 @default.
- W1514560100 hasConceptScore W1514560100C43214815 @default.
- W1514560100 hasConceptScore W1514560100C49937458 @default.
- W1514560100 hasConceptScore W1514560100C558565934 @default.
- W1514560100 hasConceptScore W1514560100C62520636 @default.
- W1514560100 hasConceptScore W1514560100C73301696 @default.
- W1514560100 hasConceptScore W1514560100C79403827 @default.
- W1514560100 hasConceptScore W1514560100C94625758 @default.
- W1514560100 hasLocation W15145601001 @default.
- W1514560100 hasOpenAccess W1514560100 @default.
- W1514560100 hasPrimaryLocation W15145601001 @default.
- W1514560100 hasRelatedWork W2063093286 @default.
- W1514560100 hasRelatedWork W2063508385 @default.
- W1514560100 hasRelatedWork W2079440433 @default.
- W1514560100 hasRelatedWork W2088453725 @default.
- W1514560100 hasRelatedWork W2092456686 @default.
- W1514560100 hasRelatedWork W2212155158 @default.
- W1514560100 hasRelatedWork W2364010411 @default.
- W1514560100 hasRelatedWork W2370348022 @default.
- W1514560100 hasRelatedWork W2374239309 @default.
- W1514560100 hasRelatedWork W2794348364 @default.
- W1514560100 isParatext "false" @default.
- W1514560100 isRetracted "false" @default.
- W1514560100 magId "1514560100" @default.
- W1514560100 workType "book-chapter" @default.