More principled design of pervasive computing systems

Lecture Notes in Computer Science

Volumn 3425, Issue , 2005, Pages 292-305

  Dobson, Simon ^a   Nixon, Paddy ^b  

^a TRINITY COLLEGE DUBLIN   (Ireland)

^b UNIVERSITY OF STRATHCLYDE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL RESEARCH; COMPUTATIONAL METHODS; SEMANTICS;

INTERFACE MODALITIES; INTERFACE MODALITY; PERVASIVE COMPUTING;

HUMAN COMPUTER INTERACTION;

EID: 24344485562     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11431879_20     Document Type: Conference Paper

References (15)

1. Weiser, M.The computer for the 21st century. Scientific American (1991)
2. Winograd, T. Architecture for context. Human Computer Interaction 16 (1994) 85-90
3. Minsky, M. A Framework for Representing Knowledge. In The Psychology of Computer Vision. McGraw Hill (1975)
4. Brooks, R. A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation 2 (1986)
5. A.Draper, B., Collins, R.T., Brolio, J., Hansen, A.R., Riseman, E.M. The schema system. International Journal of Computer Vision 2 (1989)
6. Bajcsy, R. Active perception. Proceedings of the IEEE 1 (1988) 996-1006
7. Salber, D., Dey, A., Abowd, G. The Context Toolkit: aiding the development of context-enabled applications. In Proceedings of the ACM Conference on Computer-Human Interaction, CHI'99. (1999) 434-441
8. Ward, A., Jones, A., Hopper, A. A new location technique for the active office. IEEE Personal Comunications 4 (1997) 42-27
9. Rodden, T., K.Cheverest, Davies, K., Dix, A. Exploiting context in HCI design for mobile systems. In Workshop on Human Computer Interaction with Mobile Devices. (1998)
10. Dey, A. Understanding and using context. Personal and Ubiquitous Computing 5 (2001) 4-7
11. Crowley, L., Coutaz, J., Rey, G., Reignier, P. Perceptual components for context aware computing. In Proceedings of Ubicomp 2002. (2002)
12. Calvary, G., Coutaz, J., Thevenin, D. A unifying reference framework for the development of plastic user interfaces. In Proceedings of EHCI'01. Volume 2254 of Lecture Notes in Computer Science., Springer Verlag (2001)
13. Dobson, S., Nixon, P. Towards a semantics of pervasive computing (just the category theory). Technical report, Department of Computer Science, Trinity College Dublin (To appear)
14. Cardelli, L., Gordon, A. Mobile ambients. In Nivat, M., ed. Foundations of software science and computational structures. Volume 1378 of LNCS. Springer Verlag (1998)
15. Jensen, O.H., Milner, R. Bigraphs and mobile processes. Technical Report UCAM-CL-TR-570, University of Cambridge Computer Laboratory (2003)