Matches in SemOpenAlex for { <https://semopenalex.org/work/W2065649655> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2065649655 endingPage "61" @default.
- W2065649655 startingPage "54" @default.
- W2065649655 abstract "A challenging research issue in analyzing probabilistic real-time systems is to model the tasks composing the system and the resource provided to the system. In this paper we propose a solution based on a probabilistic component-based model that abstracts the functional and non-functional requirements of real-time components. The obtained interfaces encode timing requirements and probability information of the component in a probabilistic version of the real-time calculus. Besides, it has been derived probabilistic scheduling and compositional guarantees to provide real-time analyses of probabilistic real-time systems. Finally, a test case illustrates the potentialities of the proposed model and its applicability in a large variety of problems within the probabilistic real-time scenario." @default.
- W2065649655 created "2016-06-24" @default.
- W2065649655 creator A5054286051 @default.
- W2065649655 creator A5083800155 @default.
- W2065649655 date "2011-03-01" @default.
- W2065649655 modified "2023-09-25" @default.
- W2065649655 title "Toward probabilistic real-time calculus" @default.
- W2065649655 cites W1574446752 @default.
- W2065649655 cites W1964142318 @default.
- W2065649655 cites W2085756908 @default.
- W2065649655 cites W2103779723 @default.
- W2065649655 cites W2108605225 @default.
- W2065649655 cites W2121784623 @default.
- W2065649655 cites W2136608864 @default.
- W2065649655 cites W2140314025 @default.
- W2065649655 cites W2156009911 @default.
- W2065649655 cites W2170600460 @default.
- W2065649655 doi "https://doi.org/10.1145/1967021.1967028" @default.
- W2065649655 hasPublicationYear "2011" @default.
- W2065649655 type Work @default.
- W2065649655 sameAs 2065649655 @default.
- W2065649655 citedByCount "10" @default.
- W2065649655 countsByYear W20656496552013 @default.
- W2065649655 countsByYear W20656496552014 @default.
- W2065649655 countsByYear W20656496552015 @default.
- W2065649655 countsByYear W20656496552016 @default.
- W2065649655 countsByYear W20656496552019 @default.
- W2065649655 crossrefType "journal-article" @default.
- W2065649655 hasAuthorship W2065649655A5054286051 @default.
- W2065649655 hasAuthorship W2065649655A5083800155 @default.
- W2065649655 hasConcept C104317684 @default.
- W2065649655 hasConcept C114289077 @default.
- W2065649655 hasConcept C121332964 @default.
- W2065649655 hasConcept C126255220 @default.
- W2065649655 hasConcept C128828806 @default.
- W2065649655 hasConcept C136197465 @default.
- W2065649655 hasConcept C143017306 @default.
- W2065649655 hasConcept C149189445 @default.
- W2065649655 hasConcept C154945302 @default.
- W2065649655 hasConcept C168167062 @default.
- W2065649655 hasConcept C185592680 @default.
- W2065649655 hasConcept C206729178 @default.
- W2065649655 hasConcept C24404364 @default.
- W2065649655 hasConcept C33923547 @default.
- W2065649655 hasConcept C41008148 @default.
- W2065649655 hasConcept C49937458 @default.
- W2065649655 hasConcept C52063229 @default.
- W2065649655 hasConcept C55493867 @default.
- W2065649655 hasConcept C66746571 @default.
- W2065649655 hasConcept C80444323 @default.
- W2065649655 hasConcept C97355855 @default.
- W2065649655 hasConceptScore W2065649655C104317684 @default.
- W2065649655 hasConceptScore W2065649655C114289077 @default.
- W2065649655 hasConceptScore W2065649655C121332964 @default.
- W2065649655 hasConceptScore W2065649655C126255220 @default.
- W2065649655 hasConceptScore W2065649655C128828806 @default.
- W2065649655 hasConceptScore W2065649655C136197465 @default.
- W2065649655 hasConceptScore W2065649655C143017306 @default.
- W2065649655 hasConceptScore W2065649655C149189445 @default.
- W2065649655 hasConceptScore W2065649655C154945302 @default.
- W2065649655 hasConceptScore W2065649655C168167062 @default.
- W2065649655 hasConceptScore W2065649655C185592680 @default.
- W2065649655 hasConceptScore W2065649655C206729178 @default.
- W2065649655 hasConceptScore W2065649655C24404364 @default.
- W2065649655 hasConceptScore W2065649655C33923547 @default.
- W2065649655 hasConceptScore W2065649655C41008148 @default.
- W2065649655 hasConceptScore W2065649655C49937458 @default.
- W2065649655 hasConceptScore W2065649655C52063229 @default.
- W2065649655 hasConceptScore W2065649655C55493867 @default.
- W2065649655 hasConceptScore W2065649655C66746571 @default.
- W2065649655 hasConceptScore W2065649655C80444323 @default.
- W2065649655 hasConceptScore W2065649655C97355855 @default.
- W2065649655 hasFunder F4320334960 @default.
- W2065649655 hasIssue "1" @default.
- W2065649655 hasLocation W20656496551 @default.
- W2065649655 hasLocation W20656496552 @default.
- W2065649655 hasOpenAccess W2065649655 @default.
- W2065649655 hasPrimaryLocation W20656496551 @default.
- W2065649655 hasRelatedWork W1535566948 @default.
- W2065649655 hasRelatedWork W1996917540 @default.
- W2065649655 hasRelatedWork W201397167 @default.
- W2065649655 hasRelatedWork W2039139411 @default.
- W2065649655 hasRelatedWork W2065649655 @default.
- W2065649655 hasRelatedWork W2749065928 @default.
- W2065649655 hasRelatedWork W2950416039 @default.
- W2065649655 hasRelatedWork W3149394920 @default.
- W2065649655 hasRelatedWork W3168443568 @default.
- W2065649655 hasRelatedWork W4238495367 @default.
- W2065649655 hasVolume "8" @default.
- W2065649655 isParatext "false" @default.
- W2065649655 isRetracted "false" @default.
- W2065649655 magId "2065649655" @default.
- W2065649655 workType "article" @default.