Matches in SemOpenAlex for { <https://semopenalex.org/work/W4205126710> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W4205126710 endingPage "86" @default.
- W4205126710 startingPage "73" @default.
- W4205126710 abstract "The current theory of runtime enforcement is based on two properties for evaluating an enforcement mechanism: soundness and transparency. Soundness defines that the output is always good (“no bad traces slip out”) and transparency defines that good input is not changed (“no surprises on good traces”). However, in practical applications it is also important to specify how bad traces are fixed so that the system exhibits a reasonable behavior. We propose a new notion of predictability which can be defined in the same spirit of continuity in real-functions calculus. It defines that there are “no surprises on bad input”. We discuss this idea based on the feedback of an industrial case study on e-Health." @default.
- W4205126710 created "2022-01-26" @default.
- W4205126710 creator A5020925462 @default.
- W4205126710 creator A5085639552 @default.
- W4205126710 date "2011-01-01" @default.
- W4205126710 modified "2023-10-01" @default.
- W4205126710 title "Predictability of Enforcement" @default.
- W4205126710 cites W1514022243 @default.
- W4205126710 cites W1544635099 @default.
- W4205126710 cites W1681496151 @default.
- W4205126710 cites W1870633701 @default.
- W4205126710 cites W1967389018 @default.
- W4205126710 cites W1970170564 @default.
- W4205126710 cites W1976635413 @default.
- W4205126710 cites W1985929316 @default.
- W4205126710 cites W2036910349 @default.
- W4205126710 cites W2047277075 @default.
- W4205126710 cites W2068189899 @default.
- W4205126710 cites W2068341689 @default.
- W4205126710 cites W2125140474 @default.
- W4205126710 cites W4246266336 @default.
- W4205126710 doi "https://doi.org/10.1007/978-3-642-19125-1_6" @default.
- W4205126710 hasPublicationYear "2011" @default.
- W4205126710 type Work @default.
- W4205126710 citedByCount "21" @default.
- W4205126710 countsByYear W42051267102012 @default.
- W4205126710 countsByYear W42051267102013 @default.
- W4205126710 countsByYear W42051267102014 @default.
- W4205126710 countsByYear W42051267102015 @default.
- W4205126710 countsByYear W42051267102016 @default.
- W4205126710 countsByYear W42051267102018 @default.
- W4205126710 countsByYear W42051267102019 @default.
- W4205126710 countsByYear W42051267102022 @default.
- W4205126710 countsByYear W42051267102023 @default.
- W4205126710 crossrefType "book-chapter" @default.
- W4205126710 hasAuthorship W4205126710A5020925462 @default.
- W4205126710 hasAuthorship W4205126710A5085639552 @default.
- W4205126710 hasConcept C105795698 @default.
- W4205126710 hasConcept C134306372 @default.
- W4205126710 hasConcept C144237770 @default.
- W4205126710 hasConcept C154945302 @default.
- W4205126710 hasConcept C162324750 @default.
- W4205126710 hasConcept C17231256 @default.
- W4205126710 hasConcept C17744445 @default.
- W4205126710 hasConcept C190253527 @default.
- W4205126710 hasConcept C197640229 @default.
- W4205126710 hasConcept C199343813 @default.
- W4205126710 hasConcept C199360897 @default.
- W4205126710 hasConcept C199539241 @default.
- W4205126710 hasConcept C2775924081 @default.
- W4205126710 hasConcept C2777686260 @default.
- W4205126710 hasConcept C2779777834 @default.
- W4205126710 hasConcept C2780233690 @default.
- W4205126710 hasConcept C33923547 @default.
- W4205126710 hasConcept C38652104 @default.
- W4205126710 hasConcept C39920170 @default.
- W4205126710 hasConcept C41008148 @default.
- W4205126710 hasConcept C47446073 @default.
- W4205126710 hasConcept C71924100 @default.
- W4205126710 hasConceptScore W4205126710C105795698 @default.
- W4205126710 hasConceptScore W4205126710C134306372 @default.
- W4205126710 hasConceptScore W4205126710C144237770 @default.
- W4205126710 hasConceptScore W4205126710C154945302 @default.
- W4205126710 hasConceptScore W4205126710C162324750 @default.
- W4205126710 hasConceptScore W4205126710C17231256 @default.
- W4205126710 hasConceptScore W4205126710C17744445 @default.
- W4205126710 hasConceptScore W4205126710C190253527 @default.
- W4205126710 hasConceptScore W4205126710C197640229 @default.
- W4205126710 hasConceptScore W4205126710C199343813 @default.
- W4205126710 hasConceptScore W4205126710C199360897 @default.
- W4205126710 hasConceptScore W4205126710C199539241 @default.
- W4205126710 hasConceptScore W4205126710C2775924081 @default.
- W4205126710 hasConceptScore W4205126710C2777686260 @default.
- W4205126710 hasConceptScore W4205126710C2779777834 @default.
- W4205126710 hasConceptScore W4205126710C2780233690 @default.
- W4205126710 hasConceptScore W4205126710C33923547 @default.
- W4205126710 hasConceptScore W4205126710C38652104 @default.
- W4205126710 hasConceptScore W4205126710C39920170 @default.
- W4205126710 hasConceptScore W4205126710C41008148 @default.
- W4205126710 hasConceptScore W4205126710C47446073 @default.
- W4205126710 hasConceptScore W4205126710C71924100 @default.
- W4205126710 hasLocation W42051267101 @default.
- W4205126710 hasOpenAccess W4205126710 @default.
- W4205126710 hasPrimaryLocation W42051267101 @default.
- W4205126710 hasRelatedWork W1496272821 @default.
- W4205126710 hasRelatedWork W2071793875 @default.
- W4205126710 hasRelatedWork W2117798332 @default.
- W4205126710 hasRelatedWork W2129933223 @default.
- W4205126710 hasRelatedWork W2148062074 @default.
- W4205126710 hasRelatedWork W2739135397 @default.
- W4205126710 hasRelatedWork W3169616153 @default.
- W4205126710 hasRelatedWork W4205126710 @default.
- W4205126710 hasRelatedWork W4298974867 @default.
- W4205126710 hasRelatedWork W56937029 @default.
- W4205126710 isParatext "false" @default.
- W4205126710 isRetracted "false" @default.
- W4205126710 workType "book-chapter" @default.