Matches in SemOpenAlex for { <https://semopenalex.org/work/W4241231023> ?p ?o ?g. }
- W4241231023 abstract "The context-awareness is a central aspect in the design of pervasive systems, characterizing their ability to adapt its structure and behavior. The context-aware exception handling (CAEH) is an existing approach employed to design exception handling in pervasive systems. In this approach, the context is used to define, detect, propagate, and handle exceptions. CAEH is a complex and error prone activity, needing designers' insights and domain expertise to identify and characterize contextual exceptions. However, despite the existence of formal methods to analyze the adaptive behavior of pervasive systems, such methods lack specific support to specify the CAEH behavior. In this paper, we propose a formal model to reason about the CAEH behavior. It comprises an extension of the Kripke Structure to model the context evolution of a pervasive system and a transformation function that derivates the CAEH control flow from that proposed structure." @default.
- W4241231023 created "2022-05-12" @default.
- W4241231023 creator A5028095132 @default.
- W4241231023 creator A5069329136 @default.
- W4241231023 date "2012-06-01" @default.
- W4241231023 modified "2023-10-18" @default.
- W4241231023 title "Towards a formal model to reason about context-aware exception handling" @default.
- W4241231023 cites W1967287503 @default.
- W4241231023 cites W1967661515 @default.
- W4241231023 cites W1999392360 @default.
- W4241231023 cites W2000180481 @default.
- W4241231023 cites W2031061383 @default.
- W4241231023 cites W2045202627 @default.
- W4241231023 cites W2078687508 @default.
- W4241231023 cites W2081638970 @default.
- W4241231023 cites W2101768624 @default.
- W4241231023 cites W2116817369 @default.
- W4241231023 cites W2120729378 @default.
- W4241231023 cites W2125061093 @default.
- W4241231023 cites W2128026023 @default.
- W4241231023 cites W41095567 @default.
- W4241231023 doi "https://doi.org/10.1109/weh.2012.6226595" @default.
- W4241231023 hasPublicationYear "2012" @default.
- W4241231023 type Work @default.
- W4241231023 citedByCount "3" @default.
- W4241231023 countsByYear W42412310232014 @default.
- W4241231023 countsByYear W42412310232019 @default.
- W4241231023 countsByYear W42412310232022 @default.
- W4241231023 crossrefType "proceedings-article" @default.
- W4241231023 hasAuthorship W4241231023A5028095132 @default.
- W4241231023 hasAuthorship W4241231023A5069329136 @default.
- W4241231023 hasConcept C104317684 @default.
- W4241231023 hasConcept C107457646 @default.
- W4241231023 hasConcept C134306372 @default.
- W4241231023 hasConcept C138885662 @default.
- W4241231023 hasConcept C14036430 @default.
- W4241231023 hasConcept C145428669 @default.
- W4241231023 hasConcept C151730666 @default.
- W4241231023 hasConcept C154945302 @default.
- W4241231023 hasConcept C160191386 @default.
- W4241231023 hasConcept C172195944 @default.
- W4241231023 hasConcept C183322885 @default.
- W4241231023 hasConcept C185592680 @default.
- W4241231023 hasConcept C199360897 @default.
- W4241231023 hasConcept C204241405 @default.
- W4241231023 hasConcept C2776436953 @default.
- W4241231023 hasConcept C2778029271 @default.
- W4241231023 hasConcept C2778707766 @default.
- W4241231023 hasConcept C2779343474 @default.
- W4241231023 hasConcept C2779791154 @default.
- W4241231023 hasConcept C2781238097 @default.
- W4241231023 hasConcept C2781368080 @default.
- W4241231023 hasConcept C33923547 @default.
- W4241231023 hasConcept C36503486 @default.
- W4241231023 hasConcept C41008148 @default.
- W4241231023 hasConcept C41895202 @default.
- W4241231023 hasConcept C55493867 @default.
- W4241231023 hasConcept C78458016 @default.
- W4241231023 hasConcept C86803240 @default.
- W4241231023 hasConceptScore W4241231023C104317684 @default.
- W4241231023 hasConceptScore W4241231023C107457646 @default.
- W4241231023 hasConceptScore W4241231023C134306372 @default.
- W4241231023 hasConceptScore W4241231023C138885662 @default.
- W4241231023 hasConceptScore W4241231023C14036430 @default.
- W4241231023 hasConceptScore W4241231023C145428669 @default.
- W4241231023 hasConceptScore W4241231023C151730666 @default.
- W4241231023 hasConceptScore W4241231023C154945302 @default.
- W4241231023 hasConceptScore W4241231023C160191386 @default.
- W4241231023 hasConceptScore W4241231023C172195944 @default.
- W4241231023 hasConceptScore W4241231023C183322885 @default.
- W4241231023 hasConceptScore W4241231023C185592680 @default.
- W4241231023 hasConceptScore W4241231023C199360897 @default.
- W4241231023 hasConceptScore W4241231023C204241405 @default.
- W4241231023 hasConceptScore W4241231023C2776436953 @default.
- W4241231023 hasConceptScore W4241231023C2778029271 @default.
- W4241231023 hasConceptScore W4241231023C2778707766 @default.
- W4241231023 hasConceptScore W4241231023C2779343474 @default.
- W4241231023 hasConceptScore W4241231023C2779791154 @default.
- W4241231023 hasConceptScore W4241231023C2781238097 @default.
- W4241231023 hasConceptScore W4241231023C2781368080 @default.
- W4241231023 hasConceptScore W4241231023C33923547 @default.
- W4241231023 hasConceptScore W4241231023C36503486 @default.
- W4241231023 hasConceptScore W4241231023C41008148 @default.
- W4241231023 hasConceptScore W4241231023C41895202 @default.
- W4241231023 hasConceptScore W4241231023C55493867 @default.
- W4241231023 hasConceptScore W4241231023C78458016 @default.
- W4241231023 hasConceptScore W4241231023C86803240 @default.
- W4241231023 hasLocation W42412310231 @default.
- W4241231023 hasOpenAccess W4241231023 @default.
- W4241231023 hasPrimaryLocation W42412310231 @default.
- W4241231023 hasRelatedWork W1504101963 @default.
- W4241231023 hasRelatedWork W1530555483 @default.
- W4241231023 hasRelatedWork W1873070591 @default.
- W4241231023 hasRelatedWork W1985951810 @default.
- W4241231023 hasRelatedWork W2122099877 @default.
- W4241231023 hasRelatedWork W2950854114 @default.
- W4241231023 hasRelatedWork W4241231023 @default.
- W4241231023 hasRelatedWork W63543172 @default.
- W4241231023 hasRelatedWork W2112755493 @default.
- W4241231023 hasRelatedWork W2172722921 @default.