FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567267043> ?p ?o ?g. }

• W1567267043 abstract "We consider policies that are described by regular expressions, finite automata, or formulae of linear temporal logic (LTL). Such policies are assumed to describe situations that are problematic, and thus should be avoided. Given a trace pattern u , i.e., a sequence of action symbols and variables, were the variables stand for unknown (i.e., not observed) sequences of actions, we ask whether u potentially violates a given policy L , i.e., whether the variables in u can be replaced by sequences of actions such that the resulting trace belongs to L . We also consider the dual case where the regular policy L is supposed to describe all the admissible situations. Here, we want to know whether u always adheres to the given policy L , i.e., whether all instances of u belong to L . We determine the complexity of the violation and the adherence problem, depending on whether trace patterns are linear or not, and on whether the policy is assumed to be fixed or not." @default.
• W1567267043 created "2016-06-24" @default.
• W1567267043 creator A5051152220 @default.
• W1567267043 creator A5071064651 @default.
• W1567267043 creator A5086254817 @default.
• W1567267043 date "2009-01-01" @default.
• W1567267043 modified "2023-09-25" @default.
• W1567267043 title "Matching Trace Patterns with Regular Policies" @default.
• W1567267043 cites W1492291048 @default.
• W1567267043 cites W1502428252 @default.
• W1567267043 cites W1506588809 @default.
• W1567267043 cites W1507758008 @default.
• W1567267043 cites W1535073122 @default.
• W1567267043 cites W1535889317 @default.
• W1567267043 cites W1740522204 @default.
• W1567267043 cites W1982129592 @default.
• W1567267043 cites W2003227046 @default.
• W1567267043 cites W2036910349 @default.
• W1567267043 cites W2041295283 @default.
• W1567267043 cites W2052706627 @default.
• W1567267043 cites W2089939112 @default.
• W1567267043 cites W45356373 @default.
• W1567267043 doi "https://doi.org/10.1007/978-3-642-00982-2_9" @default.
• W1567267043 hasPublicationYear "2009" @default.
• W1567267043 type Work @default.
• W1567267043 sameAs 1567267043 @default.
• W1567267043 citedByCount "1" @default.
• W1567267043 countsByYear W15672670432021 @default.
• W1567267043 crossrefType "book-chapter" @default.
• W1567267043 hasAuthorship W1567267043A5051152220 @default.
• W1567267043 hasAuthorship W1567267043A5071064651 @default.
• W1567267043 hasAuthorship W1567267043A5086254817 @default.
• W1567267043 hasConcept C105795698 @default.
• W1567267043 hasConcept C112505250 @default.
• W1567267043 hasConcept C118615104 @default.
• W1567267043 hasConcept C121332964 @default.
• W1567267043 hasConcept C124952713 @default.
• W1567267043 hasConcept C138885662 @default.
• W1567267043 hasConcept C142362112 @default.
• W1567267043 hasConcept C144237770 @default.
• W1567267043 hasConcept C165064840 @default.
• W1567267043 hasConcept C25016198 @default.
• W1567267043 hasConcept C2778112365 @default.
• W1567267043 hasConcept C2780791683 @default.
• W1567267043 hasConcept C2780980858 @default.
• W1567267043 hasConcept C33923547 @default.
• W1567267043 hasConcept C41008148 @default.
• W1567267043 hasConcept C41895202 @default.
• W1567267043 hasConcept C4777664 @default.
• W1567267043 hasConcept C54355233 @default.
• W1567267043 hasConcept C62520636 @default.
• W1567267043 hasConcept C75291252 @default.
• W1567267043 hasConcept C80444323 @default.
• W1567267043 hasConcept C86803240 @default.
• W1567267043 hasConceptScore W1567267043C105795698 @default.
• W1567267043 hasConceptScore W1567267043C112505250 @default.
• W1567267043 hasConceptScore W1567267043C118615104 @default.
• W1567267043 hasConceptScore W1567267043C121332964 @default.
• W1567267043 hasConceptScore W1567267043C124952713 @default.
• W1567267043 hasConceptScore W1567267043C138885662 @default.
• W1567267043 hasConceptScore W1567267043C142362112 @default.
• W1567267043 hasConceptScore W1567267043C144237770 @default.
• W1567267043 hasConceptScore W1567267043C165064840 @default.
• W1567267043 hasConceptScore W1567267043C25016198 @default.
• W1567267043 hasConceptScore W1567267043C2778112365 @default.
• W1567267043 hasConceptScore W1567267043C2780791683 @default.
• W1567267043 hasConceptScore W1567267043C2780980858 @default.
• W1567267043 hasConceptScore W1567267043C33923547 @default.
• W1567267043 hasConceptScore W1567267043C41008148 @default.
• W1567267043 hasConceptScore W1567267043C41895202 @default.
• W1567267043 hasConceptScore W1567267043C4777664 @default.
• W1567267043 hasConceptScore W1567267043C54355233 @default.
• W1567267043 hasConceptScore W1567267043C62520636 @default.
• W1567267043 hasConceptScore W1567267043C75291252 @default.
• W1567267043 hasConceptScore W1567267043C80444323 @default.
• W1567267043 hasConceptScore W1567267043C86803240 @default.
• W1567267043 hasLocation W15672670431 @default.
• W1567267043 hasOpenAccess W1567267043 @default.
• W1567267043 hasPrimaryLocation W15672670431 @default.
• W1567267043 hasRelatedWork W127619716 @default.
• W1567267043 hasRelatedWork W1871789383 @default.
• W1567267043 hasRelatedWork W191408160 @default.
• W1567267043 hasRelatedWork W1998197531 @default.
• W1567267043 hasRelatedWork W2002208751 @default.
• W1567267043 hasRelatedWork W2059466853 @default.
• W1567267043 hasRelatedWork W2075433022 @default.
• W1567267043 hasRelatedWork W2101571534 @default.
• W1567267043 hasRelatedWork W2167483151 @default.
• W1567267043 hasRelatedWork W2176381028 @default.
• W1567267043 hasRelatedWork W2244625598 @default.
• W1567267043 hasRelatedWork W2253920855 @default.
• W1567267043 hasRelatedWork W2273583583 @default.
• W1567267043 hasRelatedWork W2397618335 @default.
• W1567267043 hasRelatedWork W2786709181 @default.
• W1567267043 hasRelatedWork W2964382522 @default.
• W1567267043 hasRelatedWork W82809743 @default.
• W1567267043 hasRelatedWork W88926580 @default.
• W1567267043 hasRelatedWork W3100521170 @default.
• W1567267043 hasRelatedWork W3149255416 @default.
• W1567267043 isParatext "false" @default.

• next