Matches in SemOpenAlex for { <https://semopenalex.org/work/W103653802> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W103653802 endingPage "303" @default.
- W103653802 startingPage "288" @default.
- W103653802 abstract "This paper introduces a modelling framework to perform automatic analyses on the specification of an information exchange policy. To avoid the increase of development costs and risks of uncontrolled dissemination of information, the specification errors need to be detected before the implementation phase. We propose a minimalist core language to unambiguously represent an exchange policy specification and a gateway to logic solvers to verify some properties, namely: completeness, consistency, applicability and minimality. The aim is to check whether the formalisation of an exchange policy is consistent with user expectations." @default.
- W103653802 created "2016-06-24" @default.
- W103653802 creator A5026515183 @default.
- W103653802 creator A5033722468 @default.
- W103653802 date "2013-01-01" @default.
- W103653802 modified "2023-09-27" @default.
- W103653802 title "Formal Methods for Exchange Policy Specification" @default.
- W103653802 cites W1499965485 @default.
- W103653802 cites W1528726871 @default.
- W103653802 cites W1537967719 @default.
- W103653802 cites W1547030198 @default.
- W103653802 cites W1775352280 @default.
- W103653802 cites W2119284483 @default.
- W103653802 cites W2120938521 @default.
- W103653802 cites W2504013670 @default.
- W103653802 cites W4233648386 @default.
- W103653802 cites W4242309855 @default.
- W103653802 cites W49785687 @default.
- W103653802 cites W5815757 @default.
- W103653802 doi "https://doi.org/10.1007/978-3-642-38709-8_19" @default.
- W103653802 hasPublicationYear "2013" @default.
- W103653802 type Work @default.
- W103653802 sameAs 103653802 @default.
- W103653802 citedByCount "10" @default.
- W103653802 countsByYear W1036538022014 @default.
- W103653802 countsByYear W1036538022015 @default.
- W103653802 countsByYear W1036538022016 @default.
- W103653802 countsByYear W1036538022017 @default.
- W103653802 countsByYear W1036538022019 @default.
- W103653802 crossrefType "book-chapter" @default.
- W103653802 hasAuthorship W103653802A5026515183 @default.
- W103653802 hasAuthorship W103653802A5033722468 @default.
- W103653802 hasBestOaLocation W1036538021 @default.
- W103653802 hasConcept C116253237 @default.
- W103653802 hasConcept C117222624 @default.
- W103653802 hasConcept C119857082 @default.
- W103653802 hasConcept C134306372 @default.
- W103653802 hasConcept C136764020 @default.
- W103653802 hasConcept C154945302 @default.
- W103653802 hasConcept C17231256 @default.
- W103653802 hasConcept C189693848 @default.
- W103653802 hasConcept C199360897 @default.
- W103653802 hasConcept C201677973 @default.
- W103653802 hasConcept C2164484 @default.
- W103653802 hasConcept C2776436953 @default.
- W103653802 hasConcept C2777710495 @default.
- W103653802 hasConcept C33923547 @default.
- W103653802 hasConcept C41008148 @default.
- W103653802 hasConcept C75606506 @default.
- W103653802 hasConcept C76155785 @default.
- W103653802 hasConcept C90069079 @default.
- W103653802 hasConceptScore W103653802C116253237 @default.
- W103653802 hasConceptScore W103653802C117222624 @default.
- W103653802 hasConceptScore W103653802C119857082 @default.
- W103653802 hasConceptScore W103653802C134306372 @default.
- W103653802 hasConceptScore W103653802C136764020 @default.
- W103653802 hasConceptScore W103653802C154945302 @default.
- W103653802 hasConceptScore W103653802C17231256 @default.
- W103653802 hasConceptScore W103653802C189693848 @default.
- W103653802 hasConceptScore W103653802C199360897 @default.
- W103653802 hasConceptScore W103653802C201677973 @default.
- W103653802 hasConceptScore W103653802C2164484 @default.
- W103653802 hasConceptScore W103653802C2776436953 @default.
- W103653802 hasConceptScore W103653802C2777710495 @default.
- W103653802 hasConceptScore W103653802C33923547 @default.
- W103653802 hasConceptScore W103653802C41008148 @default.
- W103653802 hasConceptScore W103653802C75606506 @default.
- W103653802 hasConceptScore W103653802C76155785 @default.
- W103653802 hasConceptScore W103653802C90069079 @default.
- W103653802 hasLocation W1036538021 @default.
- W103653802 hasOpenAccess W103653802 @default.
- W103653802 hasPrimaryLocation W1036538021 @default.
- W103653802 hasRelatedWork W103653802 @default.
- W103653802 hasRelatedWork W1585277884 @default.
- W103653802 hasRelatedWork W2019211555 @default.
- W103653802 hasRelatedWork W2131562137 @default.
- W103653802 hasRelatedWork W2592399342 @default.
- W103653802 hasRelatedWork W265666298 @default.
- W103653802 hasRelatedWork W2898425611 @default.
- W103653802 hasRelatedWork W3142470543 @default.
- W103653802 hasRelatedWork W4253456520 @default.
- W103653802 hasRelatedWork W44333732 @default.
- W103653802 isParatext "false" @default.
- W103653802 isRetracted "false" @default.
- W103653802 magId "103653802" @default.
- W103653802 workType "book-chapter" @default.