Matches in SemOpenAlex for { <https://semopenalex.org/work/W2294889778> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2294889778 abstract "Automatic behaviour can be defined as a fast processinghuman activity that does not require attention to occur.According to Norman and Shallice's model of attention andautomaticity the majority of responses are under fairly automaticcontrol triggered by environmental cues.In this paper we define a process algebraic framework toformalise Norman and Shallice's model and illustrate it throughtwo case studies: Driving and using an Automatic TellerMachine (ATM).Finally we show how to use model-checking to analyse modelinstantiations and present the outcome of the analysis for theATM case study." @default.
- W2294889778 created "2016-06-24" @default.
- W2294889778 creator A5048782242 @default.
- W2294889778 date "2011-09-20" @default.
- W2294889778 modified "2023-09-23" @default.
- W2294889778 title "Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems" @default.
- W2294889778 cites W1511223926 @default.
- W2294889778 cites W1535782774 @default.
- W2294889778 cites W1773016195 @default.
- W2294889778 cites W1923296261 @default.
- W2294889778 cites W1964797398 @default.
- W2294889778 cites W1983449691 @default.
- W2294889778 cites W1987292658 @default.
- W2294889778 cites W2032560996 @default.
- W2294889778 cites W2045382625 @default.
- W2294889778 cites W2046274922 @default.
- W2294889778 cites W2075346739 @default.
- W2294889778 cites W2093916942 @default.
- W2294889778 cites W2094147539 @default.
- W2294889778 cites W2120357670 @default.
- W2294889778 cites W2143073616 @default.
- W2294889778 cites W2156046656 @default.
- W2294889778 cites W2308039038 @default.
- W2294889778 cites W2340735175 @default.
- W2294889778 cites W2752491485 @default.
- W2294889778 cites W2783497009 @default.
- W2294889778 cites W2913459036 @default.
- W2294889778 cites W3144368627 @default.
- W2294889778 cites W3139680300 @default.
- W2294889778 doi "https://doi.org/10.14279/tuj.eceasst.45.657.662" @default.
- W2294889778 hasPublicationYear "2011" @default.
- W2294889778 type Work @default.
- W2294889778 sameAs 2294889778 @default.
- W2294889778 citedByCount "2" @default.
- W2294889778 countsByYear W22948897782014 @default.
- W2294889778 countsByYear W22948897782016 @default.
- W2294889778 crossrefType "journal-article" @default.
- W2294889778 hasAuthorship W2294889778A5048782242 @default.
- W2294889778 hasConcept C107457646 @default.
- W2294889778 hasConcept C146834321 @default.
- W2294889778 hasConcept C154945302 @default.
- W2294889778 hasConcept C15744967 @default.
- W2294889778 hasConcept C162324750 @default.
- W2294889778 hasConcept C169760540 @default.
- W2294889778 hasConcept C169900460 @default.
- W2294889778 hasConcept C188147891 @default.
- W2294889778 hasConcept C199360897 @default.
- W2294889778 hasConcept C33002781 @default.
- W2294889778 hasConcept C34447519 @default.
- W2294889778 hasConcept C41008148 @default.
- W2294889778 hasConcept C98045186 @default.
- W2294889778 hasConceptScore W2294889778C107457646 @default.
- W2294889778 hasConceptScore W2294889778C146834321 @default.
- W2294889778 hasConceptScore W2294889778C154945302 @default.
- W2294889778 hasConceptScore W2294889778C15744967 @default.
- W2294889778 hasConceptScore W2294889778C162324750 @default.
- W2294889778 hasConceptScore W2294889778C169760540 @default.
- W2294889778 hasConceptScore W2294889778C169900460 @default.
- W2294889778 hasConceptScore W2294889778C188147891 @default.
- W2294889778 hasConceptScore W2294889778C199360897 @default.
- W2294889778 hasConceptScore W2294889778C33002781 @default.
- W2294889778 hasConceptScore W2294889778C34447519 @default.
- W2294889778 hasConceptScore W2294889778C41008148 @default.
- W2294889778 hasConceptScore W2294889778C98045186 @default.
- W2294889778 hasLocation W22948897781 @default.
- W2294889778 hasOpenAccess W2294889778 @default.
- W2294889778 hasPrimaryLocation W22948897781 @default.
- W2294889778 hasRelatedWork W114592305 @default.
- W2294889778 hasRelatedWork W121826095 @default.
- W2294889778 hasRelatedWork W132806822 @default.
- W2294889778 hasRelatedWork W1482764590 @default.
- W2294889778 hasRelatedWork W1486204617 @default.
- W2294889778 hasRelatedWork W2069505315 @default.
- W2294889778 hasRelatedWork W2170822773 @default.
- W2294889778 hasRelatedWork W2342152478 @default.
- W2294889778 hasRelatedWork W2436558276 @default.
- W2294889778 hasRelatedWork W2531698139 @default.
- W2294889778 hasRelatedWork W2553495238 @default.
- W2294889778 hasRelatedWork W2621922016 @default.
- W2294889778 hasRelatedWork W2951891050 @default.
- W2294889778 hasRelatedWork W295306427 @default.
- W2294889778 hasRelatedWork W2970806416 @default.
- W2294889778 hasRelatedWork W3169876613 @default.
- W2294889778 hasRelatedWork W3198998390 @default.
- W2294889778 hasRelatedWork W3206188474 @default.
- W2294889778 hasRelatedWork W62489148 @default.
- W2294889778 hasRelatedWork W841346143 @default.
- W2294889778 hasVolume "45" @default.
- W2294889778 isParatext "false" @default.
- W2294889778 isRetracted "false" @default.
- W2294889778 magId "2294889778" @default.
- W2294889778 workType "article" @default.