Matches in SemOpenAlex for { <https://semopenalex.org/work/W2182202012> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2182202012 abstract "In this paper we present a novel user-friendly high-level approach to the specification of temporal properties of web documents which can be used for verification purposes. The method described is based on specification patterns supporting an incremental construction of commonly used consistency criteria. We show that our approach fills the gap between a temporal logic such as CTL as a powerful tool for specifying consistency criteria for web documents and users that maintain documents but have no or very limited knowledge about the specification formalism. An empiric assessment of the usability of specification patterns for web documents confirms that a pattern based specification shows significantly better results than the direct specification with CTL." @default.
- W2182202012 created "2016-06-24" @default.
- W2182202012 creator A5052849771 @default.
- W2182202012 creator A5072048626 @default.
- W2182202012 date "2018-01-23" @default.
- W2182202012 modified "2023-09-26" @default.
- W2182202012 title "Temporal Patterns for Document Verification" @default.
- W2182202012 cites W1498407685 @default.
- W2182202012 cites W1549504320 @default.
- W2182202012 cites W1612453857 @default.
- W2182202012 cites W1679534293 @default.
- W2182202012 cites W1820824310 @default.
- W2182202012 cites W1989458738 @default.
- W2182202012 cites W1996832037 @default.
- W2182202012 cites W2001289891 @default.
- W2182202012 cites W2048779903 @default.
- W2182202012 cites W2105508197 @default.
- W2182202012 cites W2125252087 @default.
- W2182202012 cites W2137262698 @default.
- W2182202012 cites W2159124591 @default.
- W2182202012 cites W2159958244 @default.
- W2182202012 cites W2188437736 @default.
- W2182202012 cites W2404427064 @default.
- W2182202012 cites W2918050209 @default.
- W2182202012 doi "https://doi.org/10.29007/dclv" @default.
- W2182202012 hasPublicationYear "2018" @default.
- W2182202012 type Work @default.
- W2182202012 sameAs 2182202012 @default.
- W2182202012 citedByCount "0" @default.
- W2182202012 crossrefType "proceedings-article" @default.
- W2182202012 hasAuthorship W2182202012A5052849771 @default.
- W2182202012 hasAuthorship W2182202012A5072048626 @default.
- W2182202012 hasBestOaLocation W21822020121 @default.
- W2182202012 hasConcept C107457646 @default.
- W2182202012 hasConcept C115903868 @default.
- W2182202012 hasConcept C116253237 @default.
- W2182202012 hasConcept C124101348 @default.
- W2182202012 hasConcept C142362112 @default.
- W2182202012 hasConcept C153349607 @default.
- W2182202012 hasConcept C154945302 @default.
- W2182202012 hasConcept C170130773 @default.
- W2182202012 hasConcept C199360897 @default.
- W2182202012 hasConcept C23123220 @default.
- W2182202012 hasConcept C25016198 @default.
- W2182202012 hasConcept C2776436953 @default.
- W2182202012 hasConcept C41008148 @default.
- W2182202012 hasConcept C558565934 @default.
- W2182202012 hasConcept C73301696 @default.
- W2182202012 hasConcept C84651959 @default.
- W2182202012 hasConceptScore W2182202012C107457646 @default.
- W2182202012 hasConceptScore W2182202012C115903868 @default.
- W2182202012 hasConceptScore W2182202012C116253237 @default.
- W2182202012 hasConceptScore W2182202012C124101348 @default.
- W2182202012 hasConceptScore W2182202012C142362112 @default.
- W2182202012 hasConceptScore W2182202012C153349607 @default.
- W2182202012 hasConceptScore W2182202012C154945302 @default.
- W2182202012 hasConceptScore W2182202012C170130773 @default.
- W2182202012 hasConceptScore W2182202012C199360897 @default.
- W2182202012 hasConceptScore W2182202012C23123220 @default.
- W2182202012 hasConceptScore W2182202012C25016198 @default.
- W2182202012 hasConceptScore W2182202012C2776436953 @default.
- W2182202012 hasConceptScore W2182202012C41008148 @default.
- W2182202012 hasConceptScore W2182202012C558565934 @default.
- W2182202012 hasConceptScore W2182202012C73301696 @default.
- W2182202012 hasConceptScore W2182202012C84651959 @default.
- W2182202012 hasLocation W21822020121 @default.
- W2182202012 hasOpenAccess W2182202012 @default.
- W2182202012 hasPrimaryLocation W21822020121 @default.
- W2182202012 hasRelatedWork W1492924785 @default.
- W2182202012 hasRelatedWork W1569814689 @default.
- W2182202012 hasRelatedWork W1597492513 @default.
- W2182202012 hasRelatedWork W1603135579 @default.
- W2182202012 hasRelatedWork W1782595006 @default.
- W2182202012 hasRelatedWork W2055187133 @default.
- W2182202012 hasRelatedWork W2114282162 @default.
- W2182202012 hasRelatedWork W2122450552 @default.
- W2182202012 hasRelatedWork W2943346267 @default.
- W2182202012 hasRelatedWork W9205283 @default.
- W2182202012 isParatext "false" @default.
- W2182202012 isRetracted "false" @default.
- W2182202012 magId "2182202012" @default.
- W2182202012 workType "article" @default.