Matches in SemOpenAlex for { <https://semopenalex.org/work/W1658707774> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1658707774 abstract "Modern distributed systems include a class of applications in which non-functional requirements are important. In particular, these applications include multimedia facilities where real time constraints are crucial to their correct functioning. In order to specify such systems it is necessary to describe that events occur at times given by probability distributions and stochastic automata have emerged as a useful technique by which such systems can be specified and verified. However, stochastic descriptions are very general, in particular they allow the use of general probability distribution functions, and therefore their verification can be complex. In the last few years, model checking has emerged as a useful verification tool for large systems. In this paper we describe two model checking algorithms for stochastic automata. These algorithms consider how properties written in a simple probabilistic real-time logic can be checked against a given stochastic automaton." @default.
- W1658707774 created "2016-06-24" @default.
- W1658707774 creator A5011062278 @default.
- W1658707774 creator A5060549428 @default.
- W1658707774 creator A5082173249 @default.
- W1658707774 date "2000-02-04" @default.
- W1658707774 modified "2023-09-27" @default.
- W1658707774 title "Stochastic Model Checking for Multimedia" @default.
- W1658707774 cites W1514324734 @default.
- W1658707774 cites W1874725288 @default.
- W1658707774 cites W2000256138 @default.
- W1658707774 cites W2000947342 @default.
- W1658707774 cites W2021089599 @default.
- W1658707774 cites W2051580064 @default.
- W1658707774 cites W2101508170 @default.
- W1658707774 cites W2121115481 @default.
- W1658707774 cites W2153439859 @default.
- W1658707774 cites W2511894128 @default.
- W1658707774 cites W2159202155 @default.
- W1658707774 cites W2912446224 @default.
- W1658707774 hasPublicationYear "2000" @default.
- W1658707774 type Work @default.
- W1658707774 sameAs 1658707774 @default.
- W1658707774 citedByCount "0" @default.
- W1658707774 crossrefType "posted-content" @default.
- W1658707774 hasAuthorship W1658707774A5011062278 @default.
- W1658707774 hasAuthorship W1658707774A5060549428 @default.
- W1658707774 hasAuthorship W1658707774A5082173249 @default.
- W1658707774 hasConcept C105795698 @default.
- W1658707774 hasConcept C110251889 @default.
- W1658707774 hasConcept C111472728 @default.
- W1658707774 hasConcept C112505250 @default.
- W1658707774 hasConcept C127491075 @default.
- W1658707774 hasConcept C138885662 @default.
- W1658707774 hasConcept C149441793 @default.
- W1658707774 hasConcept C154945302 @default.
- W1658707774 hasConcept C174784677 @default.
- W1658707774 hasConcept C25016198 @default.
- W1658707774 hasConcept C2777212361 @default.
- W1658707774 hasConcept C2780586882 @default.
- W1658707774 hasConcept C33923547 @default.
- W1658707774 hasConcept C41008148 @default.
- W1658707774 hasConcept C49937458 @default.
- W1658707774 hasConcept C80444323 @default.
- W1658707774 hasConceptScore W1658707774C105795698 @default.
- W1658707774 hasConceptScore W1658707774C110251889 @default.
- W1658707774 hasConceptScore W1658707774C111472728 @default.
- W1658707774 hasConceptScore W1658707774C112505250 @default.
- W1658707774 hasConceptScore W1658707774C127491075 @default.
- W1658707774 hasConceptScore W1658707774C138885662 @default.
- W1658707774 hasConceptScore W1658707774C149441793 @default.
- W1658707774 hasConceptScore W1658707774C154945302 @default.
- W1658707774 hasConceptScore W1658707774C174784677 @default.
- W1658707774 hasConceptScore W1658707774C25016198 @default.
- W1658707774 hasConceptScore W1658707774C2777212361 @default.
- W1658707774 hasConceptScore W1658707774C2780586882 @default.
- W1658707774 hasConceptScore W1658707774C33923547 @default.
- W1658707774 hasConceptScore W1658707774C41008148 @default.
- W1658707774 hasConceptScore W1658707774C49937458 @default.
- W1658707774 hasConceptScore W1658707774C80444323 @default.
- W1658707774 hasLocation W16587077741 @default.
- W1658707774 hasOpenAccess W1658707774 @default.
- W1658707774 hasPrimaryLocation W16587077741 @default.
- W1658707774 hasRelatedWork W117556101 @default.
- W1658707774 hasRelatedWork W138443365 @default.
- W1658707774 hasRelatedWork W157143398 @default.
- W1658707774 hasRelatedWork W1577524604 @default.
- W1658707774 hasRelatedWork W1617322827 @default.
- W1658707774 hasRelatedWork W186611154 @default.
- W1658707774 hasRelatedWork W2112347632 @default.
- W1658707774 hasRelatedWork W2173065762 @default.
- W1658707774 hasRelatedWork W2185545937 @default.
- W1658707774 hasRelatedWork W2255489448 @default.
- W1658707774 hasRelatedWork W2260592993 @default.
- W1658707774 hasRelatedWork W2402139032 @default.
- W1658707774 hasRelatedWork W2466063651 @default.
- W1658707774 hasRelatedWork W2481947210 @default.
- W1658707774 hasRelatedWork W2625519638 @default.
- W1658707774 hasRelatedWork W2911583164 @default.
- W1658707774 hasRelatedWork W2949199979 @default.
- W1658707774 hasRelatedWork W2950142800 @default.
- W1658707774 hasRelatedWork W3036669218 @default.
- W1658707774 hasRelatedWork W3194650806 @default.
- W1658707774 isParatext "false" @default.
- W1658707774 isRetracted "false" @default.
- W1658707774 magId "1658707774" @default.
- W1658707774 workType "article" @default.