{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:39:50Z","timestamp":1725485990118},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540416630"},{"type":"electronic","value":"9783540446750"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44675-3_4","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T20:44:02Z","timestamp":1180903442000},"page":"51-63","source":"Crossref","is-referenced-by-count":3,"title":["Specifying Multiple Time Granularities in Interactive Systems"],"prefix":"10.1007","author":[{"given":"Maria","family":"Kutar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carol","family":"Britton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chrystopher","family":"Nehaniv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,11]]},"reference":[{"key":"4_CR1","unstructured":"Byrne, A. and Picking, R. (1997) Is Time Out to be the Big Issue? Presented at Time and the Web, Staffordshire University 19 June 1997. Available at: http:\/\/www.soc.staffs.ac.uk\/seminars\/web97\/papers\/picking.html"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Corsetti, F., Crivelli, E., Mandrioli, D., Montanari, A., Morzenti, A., San Pietro, P., Ratto, E. (1991) \u201cDealing with different time scales in formal specifications\u201d, 10th IEEE-ACM International Workshop on Software Specification and Design, Como, Italy, October 1991","DOI":"10.1109\/IWSSD.1991.213072"},{"key":"4_CR3","unstructured":"Dix, A. J. (1987) The Myth of the infinitely Fast Machine. In People and Computers III Diaper and Winder (Eds.) CUP"},{"key":"4_CR4","unstructured":"Dix, A. J. (1992) Pace and Interaction. In People and Computers VII. Monk, Diaper and Harrison (Eds.) CUP"},{"key":"4_CR5","unstructured":"Dix, A. J. (1994a). Que Sera Sera \u2014 The Problem of Future Perfect in Open and Cooperative Systems. In People and Computers IX. Draper and Weir (Eds.) CUP"},{"key":"4_CR6","unstructured":"Dix, A. J. (1994b) Seven Years On, The Myth Continues. University of Huddersfield Research Report RR9405"},{"key":"4_CR7","unstructured":"Dix, A. J. (1996a) Natural Time. Position Paper for CHI 96 Basic Research Symposium, April 1996, Vancouver, BC. Available at: http:\/\/www.soc.staffs.ac.uk\/~cmtajd\/papers\/natural\/natural.html"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Dix, A. J. (1996b) Temporal Aspects of Usability. Delays and temporal Incoherence Due to Mediated Status-Status Mappings. In SIGCHI Bulletin, Vol. 28 No 3, April 1996 Available at: http:\/\/www1.acm.org:82\/sigs\/sigchi\/bulletin\/1996.2\/Alan-Dix.html","DOI":"10.1145\/226650.226667"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Dix, A. J., Ramduny, D. and Wilkinson, J. (1998) Interaction in the Large. In Interacting With Computers, Special Issue on Temporal Aspects of Usability","DOI":"10.1016\/S0953-5438(98)00031-9"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Johnson, C. (1995) The Challenge Of Time. In \u201cThe Design, Specification And Verification Of Interactive Systems\u201d, Palanque, P. and Bastide, R. (Eds.) Springer Verlag 1995 pp345\u2013357","DOI":"10.1007\/978-3-7091-9437-9_22"},{"key":"4_CR11","volume-title":"Metric and Layered Logic for Time Granularity","author":"A. Montanari","year":"1996","unstructured":"Montanari, A. (1996) Metric and Layered Logic for Time Granularity. ILLC Dissertation Series 1996\u201302, Institute for Logic, Language and Computation, University of Amsterdam, 1996"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1093\/jigpal\/7.1.79","volume":"7","author":"A. Montanari","year":"1999","unstructured":"Montanari A., Peron A. Policriti A., (1999) \u201cTheories of Omega-Layered Metric Temporal Structures: Expressiveness and Decidability\u201d. The Logic Journal of IGPL, vol.7, no.1, January 1999, pp. 79\u2013102.","journal-title":"The Logic Journal of IGPL"},{"issue":"6","key":"4_CR13","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1016\/0001-6918(74)90006-7","volume":"38","author":"R. N\u00e4\u00e4t\u00e4nen","year":"1974","unstructured":"N\u00e4\u00e4t\u00e4nen, R., Muranen, V. and Merisalo, A. (1974) Timing of Expectancy Peak in Simple Reaction Time Situation. Actua Psychologica 38(6), 461\u2013470","journal-title":"Actua Psychologica"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"O\u2019Donnell, P. and Draper, S. W. How Machine delays Change User Strategies. In Papers From A Workshop on Temporal Aspects of Usability. Johnson, C. and Gray, P. (Eds) University if Glasgow GIST Technical Report G95-1.","DOI":"10.1145\/226650.226665"},{"key":"4_CR15","series-title":"Technical Report","volume-title":"The User\u2019s Experience of Time During Interaction","author":"H. Parker","year":"1997","unstructured":"Parker, H. (1997) The User\u2019s Experience of Time During Interaction. Technical Report CRC-97-1, Computing Research Centre, School of Computing and Management Sciences, Sheffield Hallam University, 1997."},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1207\/s15327051hci0802_1","volume":"8","author":"S. J. Payne","year":"1993","unstructured":"Payne, S. J. (1993) Understanding Calendar Use. In Human Computer Interaction, Vol 8 pp83\u2013100, 1993","journal-title":"Human Computer Interaction"},{"issue":"3","key":"4_CR17","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1145\/2514.2517","volume":"16","author":"B. Shneiderman","year":"1984","unstructured":"Shneiderman, B. (1984) Response Time and Display Rate in Human Performance with Computers. In ACM Computing Surveys, Vol. 16, No 3, pp 265\u2013285, September 1984","journal-title":"ACM Computing Surveys"},{"key":"4_CR18","volume-title":"Proceedings of CHI 1992","author":"S. L. Teal","year":"1992","unstructured":"Teal, S. L. and Rudnicky, A. I. (1992) A Performance Model of System Delay and User Strategy Selection. In Proceedings of CHI 1992 (Monterey, California, May 3\u20137, 1992). ACM, New York."},{"key":"4_CR19","volume-title":"Engineering, Psychology and Human Performance","author":"C. D. Wickens","year":"1984","unstructured":"Wickens, C. D. (1984) Engineering, Psychology and Human Performance. Glenview, IL: Scott, Foresman and Company"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Besnard, P. (1989) An Introduction to Default Logic. Springer-Verlag 1989","DOI":"10.1007\/978-3-662-05689-9"},{"key":"4_CR21","unstructured":"Brewka, G. (1989) Preferred Subtheories: An extended logical framework for default reasoning. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence 1989, pp 1043\u20131048"},{"issue":"1","key":"4_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/200968.200969","volume":"2","author":"P. Dewan","year":"1995","unstructured":"Dewan, P. and Choudhary, R. Coupling the User Interfaces of a Multiuser Program. ACM Transactions on Computer Human Interaction. March 1995, Vol. 2, No. 1, pp 1\u201339.","journal-title":"ACM Transactions on Computer Human Interaction"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems Design, Specification, and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44675-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T16:55:56Z","timestamp":1556470556000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44675-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540416630","9783540446750"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-44675-3_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}