{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T15:24:56Z","timestamp":1744039496913,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540705680"},{"type":"electronic","value":"9783540705697"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70569-7_19","type":"book-chapter","created":{"date-parts":[[2008,7,15]],"date-time":"2008-07-15T05:28:15Z","timestamp":1216099695000},"page":"194-207","source":"Crossref","is-referenced-by-count":7,"title":["Resources for Situated Actions"],"prefix":"10.1007","author":[{"given":"Gavin","family":"Doherty","sequence":"first","affiliation":[]},{"given":"Jose","family":"Campos","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Harrison","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/11752707_3","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"A. Blandford","year":"2006","unstructured":"Blandford, A., Furniss, D.: DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems. In: Gilroy, S.W., Harrison, M.D. (eds.) DSV-IS 2005. LNCS, vol.\u00a03941, pp. 26\u201338. Springer, Heidelberg (2006)"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/11752707_16","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"J.C. Campos","year":"2006","unstructured":"Campos, J.C., Doherty, G.: Supporting resource based analysis of task information needs. In: Gilroy, S.W., Harrison, M.D. (eds.) DSV-IS 2005. LNCS, vol.\u00a03941, pp. 188\u2013200. Springer, Heidelberg (2006)"},{"issue":"3-4","key":"19_CR4","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1023\/A:1011265604021","volume":"8","author":"J.C. Campos","year":"2001","unstructured":"Campos, J.C., Harrison, M.D.: Model checking interactor specifications. Automated Software Engineering\u00a08(3-4), 275\u2013310 (2001)","journal-title":"Automated Software Engineering"},{"key":"19_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1881.001.0001","volume-title":"Cognition in the Wild","author":"E. Hutchins","year":"1995","unstructured":"Hutchins, E.: Cognition in the Wild. MIT Press, Cambridge (1995)"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/11555261_18","volume-title":"Human-Computer Interaction - INTERACT 2005","author":"K. Loer","year":"2005","unstructured":"Loer, K., Harrison, M.D.: Analysing user confusion in context aware mobile applications. In: Costabile, M.F., Patern\u00f3, F. (eds.) INTERACT 2005. LNCS, vol.\u00a03585, pp. 184\u2013197. Springer, Heidelberg (2005)"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-39959-3_3","volume-title":"Handheld and Ubiquitous Computing","author":"J. Nilsson","year":"2000","unstructured":"Nilsson, J., Sokoler, T., Binder, T., Wetcke, N.: Beyond the Control Room: Mobile Devices for Spatially Distributed Interaction on Industrial Process Plants. In: Thomas, P., Gellersen, H.-W. (eds.) HUC 2000. LNCS, vol.\u00a01927, pp. 1\u201330. Springer, Heidelberg (2000)"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Polson, P.G., Lewis, C., Rieman, J., Wharton, C.: Cognitive walkthroughs: a method for theory-based evaluation of user interfaces. International Journal of Man-Machine Studies\u00a036(5) (1992)","DOI":"10.1016\/0020-7373(92)90039-N"},{"key":"19_CR9","volume-title":"Plans and Situated Actions: The Problem of Human-Machine Communication","author":"L.A. Suchman","year":"1987","unstructured":"Suchman, L.A.: Plans and Situated Actions: The Problem of Human-Machine Communication. Cambridge University Press, Cambridge (1987)"},{"issue":"1","key":"19_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1207\/S15327051HCI1501_01","volume":"15","author":"P.C. Wright","year":"2001","unstructured":"Wright, P.C., Fields, R.E., Harrison, M.D.: Analyzing human-computer interaction as distributed cognition: the resources model. Human Computer Interaction\u00a015(1), 1\u201342 (2001)","journal-title":"Human Computer Interaction"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems. Design, Specification, and Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70569-7_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T00:58:29Z","timestamp":1738285109000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70569-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705680","9783540705697"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70569-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}