Matches in SemOpenAlex for { <https://semopenalex.org/work/W2899058258> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2899058258 endingPage "24" @default.
- W2899058258 startingPage "1" @default.
- W2899058258 abstract "Declarative multimedia documents represent the description of multimedia applications in terms of media items and relationships among them. Relationships specify how media items are dynamically arranged in time and space during runtime. Although a declarative approach usually facilitates the authoring task, authors can still make mistakes due to incorrect use of language constructs or inconsistent or missing relationships in a document. In order to properly support multimedia application authoring, it is important to provide tools with validation capabilities. Document validation can indicate possible inconsistencies in a given document to an author so that it can be revised before deployment. Although very useful, multimedia validation tools are not often provided by authoring tools. This work proposes a multimedia validation approach that relies on a formal model called Simple Hypermedia Model ( SHM ). SHM is used for representing a document for the purpose of validation. An SHM document is validated using a hybrid approach based on two complementary techniques. The first one captures the document’s spatio-temporal layout in terms of its state throughout its execution by means of a rewrite theory, and validation is performed through model-checking . The second one captures the document’s layout in terms of intervals and event occurrences by means of Satisfiability Modulo Theories (SMT) formulas, and validation is performed through SMT solving. Due to different characteristics of both approaches, each validation technique complements the other in terms of expressiveness of SHM and tests to be checked. We briefly present validation tools that use our approach. They were evaluated with real NCL documents and by usability tests." @default.
- W2899058258 created "2018-11-09" @default.
- W2899058258 creator A5017693414 @default.
- W2899058258 creator A5052608522 @default.
- W2899058258 creator A5058810337 @default.
- W2899058258 creator A5072618257 @default.
- W2899058258 date "2018-10-30" @default.
- W2899058258 modified "2023-09-22" @default.
- W2899058258 title "A Hybrid Approach for Spatio-Temporal Validation of Declarative Multimedia Documents" @default.
- W2899058258 cites W1128447031 @default.
- W2899058258 cites W2006766139 @default.
- W2899058258 cites W2007486731 @default.
- W2899058258 cites W2008361377 @default.
- W2899058258 cites W2010985784 @default.
- W2899058258 cites W2017641296 @default.
- W2899058258 cites W2023808162 @default.
- W2899058258 cites W2064189581 @default.
- W2899058258 cites W2086318045 @default.
- W2899058258 cites W2091581165 @default.
- W2899058258 cites W2113117628 @default.
- W2899058258 cites W2127494295 @default.
- W2899058258 cites W2137351629 @default.
- W2899058258 cites W2151655578 @default.
- W2899058258 cites W2161484642 @default.
- W2899058258 cites W2166940901 @default.
- W2899058258 cites W2397575617 @default.
- W2899058258 cites W2549486221 @default.
- W2899058258 cites W2762245828 @default.
- W2899058258 cites W322180887 @default.
- W2899058258 cites W1987325302 @default.
- W2899058258 cites W2044918066 @default.
- W2899058258 doi "https://doi.org/10.1145/3267127" @default.
- W2899058258 hasPublicationYear "2018" @default.
- W2899058258 type Work @default.
- W2899058258 sameAs 2899058258 @default.
- W2899058258 citedByCount "1" @default.
- W2899058258 countsByYear W28990582582021 @default.
- W2899058258 crossrefType "journal-article" @default.
- W2899058258 hasAuthorship W2899058258A5017693414 @default.
- W2899058258 hasAuthorship W2899058258A5052608522 @default.
- W2899058258 hasAuthorship W2899058258A5058810337 @default.
- W2899058258 hasAuthorship W2899058258A5072618257 @default.
- W2899058258 hasBestOaLocation W28990582582 @default.
- W2899058258 hasConcept C107457646 @default.
- W2899058258 hasConcept C121332964 @default.
- W2899058258 hasConcept C162324750 @default.
- W2899058258 hasConcept C187736073 @default.
- W2899058258 hasConcept C199360897 @default.
- W2899058258 hasConcept C23123220 @default.
- W2899058258 hasConcept C2779662365 @default.
- W2899058258 hasConcept C2780126544 @default.
- W2899058258 hasConcept C2780451532 @default.
- W2899058258 hasConcept C41008148 @default.
- W2899058258 hasConcept C49774154 @default.
- W2899058258 hasConcept C62520636 @default.
- W2899058258 hasConceptScore W2899058258C107457646 @default.
- W2899058258 hasConceptScore W2899058258C121332964 @default.
- W2899058258 hasConceptScore W2899058258C162324750 @default.
- W2899058258 hasConceptScore W2899058258C187736073 @default.
- W2899058258 hasConceptScore W2899058258C199360897 @default.
- W2899058258 hasConceptScore W2899058258C23123220 @default.
- W2899058258 hasConceptScore W2899058258C2779662365 @default.
- W2899058258 hasConceptScore W2899058258C2780126544 @default.
- W2899058258 hasConceptScore W2899058258C2780451532 @default.
- W2899058258 hasConceptScore W2899058258C41008148 @default.
- W2899058258 hasConceptScore W2899058258C49774154 @default.
- W2899058258 hasConceptScore W2899058258C62520636 @default.
- W2899058258 hasFunder F4320313934 @default.
- W2899058258 hasFunder F4320321091 @default.
- W2899058258 hasFunder F4320322025 @default.
- W2899058258 hasFunder F4320322749 @default.
- W2899058258 hasIssue "4" @default.
- W2899058258 hasLocation W28990582581 @default.
- W2899058258 hasLocation W28990582582 @default.
- W2899058258 hasLocation W28990582583 @default.
- W2899058258 hasOpenAccess W2899058258 @default.
- W2899058258 hasPrimaryLocation W28990582581 @default.
- W2899058258 hasRelatedWork W1504161691 @default.
- W2899058258 hasRelatedWork W2104078272 @default.
- W2899058258 hasRelatedWork W2112962394 @default.
- W2899058258 hasRelatedWork W2118300983 @default.
- W2899058258 hasRelatedWork W2166247150 @default.
- W2899058258 hasRelatedWork W2351274574 @default.
- W2899058258 hasRelatedWork W2388366249 @default.
- W2899058258 hasRelatedWork W3137189469 @default.
- W2899058258 hasRelatedWork W4235530921 @default.
- W2899058258 hasRelatedWork W4243252198 @default.
- W2899058258 hasVolume "14" @default.
- W2899058258 isParatext "false" @default.
- W2899058258 isRetracted "false" @default.
- W2899058258 magId "2899058258" @default.
- W2899058258 workType "article" @default.