Matches in SemOpenAlex for { <https://semopenalex.org/work/W2203470460> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2203470460 abstract "Interactive Scores (IS) is a formalism for composing and performing interactive multimedia scenarios. In IS, the composer defines temporal relations (TRs) between temporal objects (TOs) in order to specify the temporal organization of the scenario. During execution, the performer may trigger interaction points to modify the star/stop times of TOs, while the system guarantees that all the TRs are satisfied. IS is implemented in the tool I-SCORE and its semantics is formally defined as a Hierarchical Time Stream Petri Net (HTSPN). However, this model is not able to represent branching behaviors that are necessary to properly deal with applications such as video games and museum installations. Moreover, HTSPN does not provide tools for the automatic verification of critical properties of scenarios. In this work we define a semantics for IS based on Timed Automata (TA) and we show that such model yields to a complete framework to compose, verify and execute interactive scenarios. More precisely, we show that: 1) our model is able to deal with conditional statements in IS; 2) efficient verification techniques can be now used to reason about the written scenarios; and 3) our model allows for a directly implementation on a reconfigurable device, thus guaranteeing a real-time performance." @default.
- W2203470460 created "2016-06-24" @default.
- W2203470460 creator A5021897565 @default.
- W2203470460 creator A5027273299 @default.
- W2203470460 creator A5088905086 @default.
- W2203470460 date "2015-06-01" @default.
- W2203470460 modified "2023-09-25" @default.
- W2203470460 title "A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios" @default.
- W2203470460 cites W1464495 @default.
- W2203470460 cites W1503973138 @default.
- W2203470460 cites W1534855236 @default.
- W2203470460 cites W1568573127 @default.
- W2203470460 cites W1757537413 @default.
- W2203470460 cites W1962072139 @default.
- W2203470460 cites W1978192117 @default.
- W2203470460 cites W2000947342 @default.
- W2203470460 cites W2025782239 @default.
- W2203470460 cites W2033593612 @default.
- W2203470460 cites W2100183523 @default.
- W2203470460 cites W2101508170 @default.
- W2203470460 cites W2103121043 @default.
- W2203470460 cites W2111139814 @default.
- W2203470460 cites W2129819331 @default.
- W2203470460 cites W2138133565 @default.
- W2203470460 cites W2144039621 @default.
- W2203470460 cites W2144128285 @default.
- W2203470460 cites W2159037707 @default.
- W2203470460 cites W2606525685 @default.
- W2203470460 cites W406929393 @default.
- W2203470460 cites W65934101 @default.
- W2203470460 doi "https://doi.org/10.1109/acsd.2015.8" @default.
- W2203470460 hasPublicationYear "2015" @default.
- W2203470460 type Work @default.
- W2203470460 sameAs 2203470460 @default.
- W2203470460 citedByCount "1" @default.
- W2203470460 countsByYear W22034704602019 @default.
- W2203470460 crossrefType "proceedings-article" @default.
- W2203470460 hasAuthorship W2203470460A5021897565 @default.
- W2203470460 hasAuthorship W2203470460A5027273299 @default.
- W2203470460 hasAuthorship W2203470460A5088905086 @default.
- W2203470460 hasBestOaLocation W22034704602 @default.
- W2203470460 hasConcept C107457646 @default.
- W2203470460 hasConcept C110251889 @default.
- W2203470460 hasConcept C112505250 @default.
- W2203470460 hasConcept C142362112 @default.
- W2203470460 hasConcept C153349607 @default.
- W2203470460 hasConcept C184337299 @default.
- W2203470460 hasConcept C199360897 @default.
- W2203470460 hasConcept C25016198 @default.
- W2203470460 hasConcept C38677869 @default.
- W2203470460 hasConcept C41008148 @default.
- W2203470460 hasConcept C558565934 @default.
- W2203470460 hasConcept C73301696 @default.
- W2203470460 hasConcept C80444323 @default.
- W2203470460 hasConceptScore W2203470460C107457646 @default.
- W2203470460 hasConceptScore W2203470460C110251889 @default.
- W2203470460 hasConceptScore W2203470460C112505250 @default.
- W2203470460 hasConceptScore W2203470460C142362112 @default.
- W2203470460 hasConceptScore W2203470460C153349607 @default.
- W2203470460 hasConceptScore W2203470460C184337299 @default.
- W2203470460 hasConceptScore W2203470460C199360897 @default.
- W2203470460 hasConceptScore W2203470460C25016198 @default.
- W2203470460 hasConceptScore W2203470460C38677869 @default.
- W2203470460 hasConceptScore W2203470460C41008148 @default.
- W2203470460 hasConceptScore W2203470460C558565934 @default.
- W2203470460 hasConceptScore W2203470460C73301696 @default.
- W2203470460 hasConceptScore W2203470460C80444323 @default.
- W2203470460 hasLocation W22034704601 @default.
- W2203470460 hasLocation W22034704602 @default.
- W2203470460 hasLocation W22034704603 @default.
- W2203470460 hasLocation W22034704604 @default.
- W2203470460 hasLocation W22034704605 @default.
- W2203470460 hasOpenAccess W2203470460 @default.
- W2203470460 hasPrimaryLocation W22034704601 @default.
- W2203470460 hasRelatedWork W1488218540 @default.
- W2203470460 hasRelatedWork W1495820984 @default.
- W2203470460 hasRelatedWork W1749129787 @default.
- W2203470460 hasRelatedWork W206281402 @default.
- W2203470460 hasRelatedWork W2134758599 @default.
- W2203470460 hasRelatedWork W2151277984 @default.
- W2203470460 hasRelatedWork W2182369299 @default.
- W2203470460 hasRelatedWork W2359102888 @default.
- W2203470460 hasRelatedWork W51650568 @default.
- W2203470460 hasRelatedWork W2586039792 @default.
- W2203470460 isParatext "false" @default.
- W2203470460 isRetracted "false" @default.
- W2203470460 magId "2203470460" @default.
- W2203470460 workType "article" @default.