Matches in SemOpenAlex for { <https://semopenalex.org/work/W2143669551> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2143669551 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. Stochastic process algebras 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 this paper we define a translation from stochastic process algebras to timed automata. By doing so we aim to use the simpler verification methods for timed automata (e.g. reachability properties) for the more complex stochastic descriptions." @default.
- W2143669551 created "2016-06-24" @default.
- W2143669551 creator A5060549428 @default.
- W2143669551 creator A5082173249 @default.
- W2143669551 date "1999-01-01" @default.
- W2143669551 modified "2023-10-18" @default.
- W2143669551 title "Stochastic Specification and Verification" @default.
- W2143669551 cites W106209860 @default.
- W2143669551 cites W126539787 @default.
- W2143669551 cites W1530422364 @default.
- W2143669551 cites W1558006451 @default.
- W2143669551 cites W1573378326 @default.
- W2143669551 cites W1576138800 @default.
- W2143669551 cites W2021089599 @default.
- W2143669551 cites W2023499821 @default.
- W2143669551 cites W2091540690 @default.
- W2143669551 cites W2101508170 @default.
- W2143669551 cites W2108746194 @default.
- W2143669551 cites W2113355185 @default.
- W2143669551 cites W2121115481 @default.
- W2143669551 cites W2180677596 @default.
- W2143669551 cites W2368465500 @default.
- W2143669551 doi "https://doi.org/10.14236/ewic/iwfm1999.3" @default.
- W2143669551 hasPublicationYear "1999" @default.
- W2143669551 type Work @default.
- W2143669551 sameAs 2143669551 @default.
- W2143669551 citedByCount "7" @default.
- W2143669551 crossrefType "proceedings-article" @default.
- W2143669551 hasAuthorship W2143669551A5060549428 @default.
- W2143669551 hasAuthorship W2143669551A5082173249 @default.
- W2143669551 hasBestOaLocation W21436695511 @default.
- W2143669551 hasConcept C105795698 @default.
- W2143669551 hasConcept C110251889 @default.
- W2143669551 hasConcept C112505250 @default.
- W2143669551 hasConcept C136643341 @default.
- W2143669551 hasConcept C149441793 @default.
- W2143669551 hasConcept C154945302 @default.
- W2143669551 hasConcept C161771561 @default.
- W2143669551 hasConcept C199360897 @default.
- W2143669551 hasConcept C2777212361 @default.
- W2143669551 hasConcept C33923547 @default.
- W2143669551 hasConcept C41008148 @default.
- W2143669551 hasConcept C80444323 @default.
- W2143669551 hasConcept C8272713 @default.
- W2143669551 hasConcept C98045186 @default.
- W2143669551 hasConceptScore W2143669551C105795698 @default.
- W2143669551 hasConceptScore W2143669551C110251889 @default.
- W2143669551 hasConceptScore W2143669551C112505250 @default.
- W2143669551 hasConceptScore W2143669551C136643341 @default.
- W2143669551 hasConceptScore W2143669551C149441793 @default.
- W2143669551 hasConceptScore W2143669551C154945302 @default.
- W2143669551 hasConceptScore W2143669551C161771561 @default.
- W2143669551 hasConceptScore W2143669551C199360897 @default.
- W2143669551 hasConceptScore W2143669551C2777212361 @default.
- W2143669551 hasConceptScore W2143669551C33923547 @default.
- W2143669551 hasConceptScore W2143669551C41008148 @default.
- W2143669551 hasConceptScore W2143669551C80444323 @default.
- W2143669551 hasConceptScore W2143669551C8272713 @default.
- W2143669551 hasConceptScore W2143669551C98045186 @default.
- W2143669551 hasLocation W21436695511 @default.
- W2143669551 hasLocation W21436695512 @default.
- W2143669551 hasOpenAccess W2143669551 @default.
- W2143669551 hasPrimaryLocation W21436695511 @default.
- W2143669551 hasRelatedWork W1485584666 @default.
- W2143669551 hasRelatedWork W1515728536 @default.
- W2143669551 hasRelatedWork W2098765445 @default.
- W2143669551 hasRelatedWork W2139989305 @default.
- W2143669551 hasRelatedWork W2143669551 @default.
- W2143669551 hasRelatedWork W2154717363 @default.
- W2143669551 hasRelatedWork W2165214723 @default.
- W2143669551 hasRelatedWork W2254957092 @default.
- W2143669551 hasRelatedWork W324582425 @default.
- W2143669551 hasRelatedWork W4285602996 @default.
- W2143669551 isParatext "false" @default.
- W2143669551 isRetracted "false" @default.
- W2143669551 magId "2143669551" @default.
- W2143669551 workType "article" @default.