Matches in SemOpenAlex for { <https://semopenalex.org/work/W2397595145> ?p ?o ?g. }
- W2397595145 endingPage "75" @default.
- W2397595145 startingPage "65" @default.
- W2397595145 abstract "This paper describes an approach for designing, formalizing and implementing sentinels that detect errors in fail-uncontrolled multiagent systems, and controllers that identify particular situations in ambient intelligence (AmI) systems. The formalism we use for representing the expected patterns of actions along with exceptions, timeouts, and their handlers, is that of constrained global types extended with features for dealing with these new constructs. We provide the syntax and semantics of the extended constrained global types and examples of their use, in the different contexts of fail-uncontrolled and AmI systems." @default.
- W2397595145 created "2016-06-24" @default.
- W2397595145 creator A5036812254 @default.
- W2397595145 creator A5044774421 @default.
- W2397595145 creator A5076033814 @default.
- W2397595145 date "2015-01-01" @default.
- W2397595145 modified "2023-09-27" @default.
- W2397595145 title "Protocols with exceptions, timeouts, and handlers: A uniform framework for monitoring fail-uncontrolled and ambient intelligence systems" @default.
- W2397595145 cites W1491268894 @default.
- W2397595145 cites W1497120980 @default.
- W2397595145 cites W150671022 @default.
- W2397595145 cites W1518621202 @default.
- W2397595145 cites W1579252377 @default.
- W2397595145 cites W179500209 @default.
- W2397595145 cites W1866887767 @default.
- W2397595145 cites W189296993 @default.
- W2397595145 cites W1904065432 @default.
- W2397595145 cites W1975234382 @default.
- W2397595145 cites W1980249060 @default.
- W2397595145 cites W1999272838 @default.
- W2397595145 cites W2018678584 @default.
- W2397595145 cites W2019267535 @default.
- W2397595145 cites W2022895426 @default.
- W2397595145 cites W2023808162 @default.
- W2397595145 cites W2096527376 @default.
- W2397595145 cites W2113013206 @default.
- W2397595145 cites W2127495420 @default.
- W2397595145 cites W2138950394 @default.
- W2397595145 cites W2148589032 @default.
- W2397595145 cites W2152737448 @default.
- W2397595145 cites W2155456580 @default.
- W2397595145 cites W2166082361 @default.
- W2397595145 cites W2233334279 @default.
- W2397595145 cites W2255074524 @default.
- W2397595145 cites W2263055580 @default.
- W2397595145 cites W250884252 @default.
- W2397595145 cites W2556254568 @default.
- W2397595145 cites W2943937546 @default.
- W2397595145 cites W3212762964 @default.
- W2397595145 cites W33605851 @default.
- W2397595145 cites W48863930 @default.
- W2397595145 cites W65045497 @default.
- W2397595145 cites W79747535 @default.
- W2397595145 cites W98190550 @default.
- W2397595145 cites W994186388 @default.
- W2397595145 hasPublicationYear "2015" @default.
- W2397595145 type Work @default.
- W2397595145 sameAs 2397595145 @default.
- W2397595145 citedByCount "0" @default.
- W2397595145 crossrefType "journal-article" @default.
- W2397595145 hasAuthorship W2397595145A5036812254 @default.
- W2397595145 hasAuthorship W2397595145A5044774421 @default.
- W2397595145 hasAuthorship W2397595145A5076033814 @default.
- W2397595145 hasConcept C142362112 @default.
- W2397595145 hasConcept C153349607 @default.
- W2397595145 hasConcept C154945302 @default.
- W2397595145 hasConcept C184337299 @default.
- W2397595145 hasConcept C199360897 @default.
- W2397595145 hasConcept C201638289 @default.
- W2397595145 hasConcept C38652104 @default.
- W2397595145 hasConcept C41008148 @default.
- W2397595145 hasConcept C558565934 @default.
- W2397595145 hasConcept C73301696 @default.
- W2397595145 hasConceptScore W2397595145C142362112 @default.
- W2397595145 hasConceptScore W2397595145C153349607 @default.
- W2397595145 hasConceptScore W2397595145C154945302 @default.
- W2397595145 hasConceptScore W2397595145C184337299 @default.
- W2397595145 hasConceptScore W2397595145C199360897 @default.
- W2397595145 hasConceptScore W2397595145C201638289 @default.
- W2397595145 hasConceptScore W2397595145C38652104 @default.
- W2397595145 hasConceptScore W2397595145C41008148 @default.
- W2397595145 hasConceptScore W2397595145C558565934 @default.
- W2397595145 hasConceptScore W2397595145C73301696 @default.
- W2397595145 hasLocation W23975951451 @default.
- W2397595145 hasOpenAccess W2397595145 @default.
- W2397595145 hasPrimaryLocation W23975951451 @default.
- W2397595145 hasRelatedWork W2020221119 @default.
- W2397595145 hasRelatedWork W2048588248 @default.
- W2397595145 hasRelatedWork W2054897454 @default.
- W2397595145 hasRelatedWork W2107792798 @default.
- W2397595145 hasRelatedWork W2134818471 @default.
- W2397595145 hasRelatedWork W2405855759 @default.
- W2397595145 hasRelatedWork W2472915978 @default.
- W2397595145 hasRelatedWork W2554846886 @default.
- W2397595145 hasRelatedWork W2754112424 @default.
- W2397595145 hasRelatedWork W2809185728 @default.
- W2397595145 hasRelatedWork W2888264455 @default.
- W2397595145 hasRelatedWork W2961596948 @default.
- W2397595145 hasRelatedWork W3137046592 @default.
- W2397595145 hasRelatedWork W3175225441 @default.
- W2397595145 hasRelatedWork W3202345946 @default.
- W2397595145 hasRelatedWork W3204200621 @default.
- W2397595145 hasRelatedWork W913091180 @default.
- W2397595145 hasRelatedWork W922796079 @default.
- W2397595145 hasRelatedWork W2186904465 @default.
- W2397595145 hasRelatedWork W297722552 @default.
- W2397595145 hasVolume "1382" @default.
- W2397595145 isParatext "false" @default.