UbiComp 2003, the 5th Annual Conference on Ubiquitous Computing, is the premier forum for presentation of research results in all areas relating to the - sign, implementation, deployment and evaluation of ubiquitous computing te- nologies. The conference brings together leading researchers, from a variety of disciplines, perspectives and geographical areas, who are exploring the impli- tions of computing as it moves beyond the desktop and becomes increasingly interwoven into the fabrics of our lives. This volume, the conference proceedings, contains the entire collection of high-quality full papers and technical notes from UbiComp 2003. There were 16 full papers in this year’s conference, selected by our international program committee from among 117 submissions. There were also 11 technical notes in the program: 8 taken from the 36 technical note submissions, and 3 that were adapted from full paper submissions. We are very grateful to Tim Kindberg and Bernt Schiele, our Technical Notes Co-chairs, and to all the authors and reviewers of both papers and technical notes who contributed to maintaining the high standards of quality for the conference. In addition to the full papers and technical notes, UbiComp 2003 also p- vided a number of other participation categories, including workshops, dem- strations, interactive posters, a panel, a doctoral colloquium and a video p- gram. While accepted submissions in these categories were also of high quality, timing and size constraints prevented us from including them in this volume.

UbiComp 2003, the 5th Annual Conference on Ubiquitous Computing, is the premier forum for presentation of research results in all areas relating to the - sign, implementation, deployment and evaluation of ubiquitous computing te- nologies. The conference brings together leading researchers, from a variety of disciplines, perspectives and geographical areas, who are exploring the impli- tions of computing as it moves beyond the desktop and becomes increasingly interwoven into the fabrics of our lives. This volume, the conference proceedings, contains the entire collection of high-quality full papers and technical notes from UbiComp 2003. There were 16 full papers in this year's conference, selected by our international program committee from among 117 submissions. There were also 11 technical notes in the program: 8 taken from the 36 technical note submissions, and 3 that were adapted from full paper submissions. We are very grateful to Tim Kindberg and Bernt Schiele, our Technical Notes Co-chairs, and to all the authors and reviewers of both papers and technical notes who contributed to maintaining the high standards of quality for the conference. In addition to the full papers and technical notes, UbiComp 2003 also p- vided a number of other participation categories, including workshops, dem- strations, interactive posters, a panel, a doctoral colloquium and a video p- gram. While accepted submissions in these categories were also of high quality, timing and size constraints prevented us from including them in this volume.

This book constitutes the refereed proceedings of the 5th International Conference on Ubiquitous Computing, UbiComp 2003, held in Seattle, WA, USA in Ocotber 2003. The 16 revised full papers and 11 technical note papers presented were carefully reviewed and selected from a total of 153 submissions. The papers are organized in topical sections on location and space, modeling and inference, context awareness, new devices and technologies, domestic environments and healthcare, social aspects and privacy, and new interfaces.

This book constitutes the refereed proceedings of the 5th International Conference on Pervasive Computing, PERVASIVE 2007, held in Toronto, Canada in May 2007. The 21 revised full papers are organized in topical sections on reaching out, context and its application, security and privacy, understanding use, sensing, as well as finding and positioning.

We are moving towards a future where environments respond to human preferences and needs. In this world, smart devices equipped with intelligent features and the capability to sense, communicate with and support humans in daily activities will be unremarkable. We already expect our cars to warn us of hazards, track our location and provide timely route advice, and in future we will speak to simple machines and hold conversations with more complex systems, such as intelligent homes, which will help us to monitor conditions, track routine tasks, and program the heating, lighting, garden watering and entertainment centre. But questions have been raised in recent years as to how intelligent these so called smart systems or ambient intelligence environments really are. This book, State of the Art in AI Applied to Ambient Intelligence, part of the outcome of the Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI) which has now run for 10 consecutive editions, aims to provide a clear picture of what has been achieved after a decade of discussion. It is representative of the diversity of approaches and issues which are currently being considered, and also indicates those avenues which are the most promising for exploration in the next decade. The book provides all those working in the field with an up-to-date reference where they will find inspiration to create better systems for the society of tomorrow.

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Security Protocols, April 2004. The book presents 21 revised full papers presented together with edited transcriptions of some of the discussions following the presentations. Among the topics addressed are authentication, anonymity, verification of cryptographic protocols, mobile ad-hoc network security, denial of service, SPKI, access control, timing attacks, API security, biometrics for security, and others.