BCS-FACS Workshop on Formal Aspects of the Human Computer Interface (Electronic Workshops in Computing)
The BCS-FACS Workshop on Formal Aspects of the Human Computer Interface, held in Sheffield, UK, 10-12 September 1996, concentrated on modelling techniques suitable for advanced interface requirements, or the application of formal techniques within interface design. Among the specific topics covered are: the specification of safety-critical interfaces; unifying system and user models; and improving the effectiveness, usability and acceptance of formal techniques. The full papers from the BCS-FAC...
Mobile Platforms and Development Environments (Synthesis Lectures on Mobile & Pervasive Computing)
by Sumi Helal, Raja Bose, and Wendong Li
Mobile platform development has lately become a technological war zone with extremely dynamic and fluid movement, especially in the smart phone and tablet market space. This Synthesis lecture is a guide to the latest developments of the key mobile platforms that are shaping the mobile platform industry. The book covers the three currently dominant native platforms -- iOS, Android and Windows Phone -- along with the device-agnostic HTML5 mobile web platform. The lecture also covers location-based...
Critical Infrastructures at Risk (Topics in Safety, Risk, Reliability and Quality, #9)
by A.V. Gheorghe, M. Masera, M. Weijnen, and L.J. De Vries
Europe witnessed in the last years a number of significant power contingencies. Some of them revealed the potentiality of vast impact on the welfare of society and triggered pressing questions on the reliability of electric power systems. Society has incorporated electricity as an inherent component, indispensable for achieving the expected level of quality of life. Therefore, any impingement on the continuity of the electricity service would be able to distress society as a whole, affecting ind...
Activity theory is a way of describing and characterizing the structure of human - tivity of all kinds. First introduced by Russian psychologists Rubinshtein, Leontiev, and Vigotsky in the early part of the last century, activity theory has more recently gained increasing attention among interaction designers and others in the hum- computer interaction and usability communities (see, for example, Gay and H- brooke, 2004). Interest was given a signi?cant boost when Donald Norman suggested activit...
Digital Divide (DD) is a term that defines the division between people, commu- ties, states, countries, etc. with respect to the access to the new Information and Communication Technologies (ICTs). Nowadays, it is essential to have tech- logical skills to work in a variety of jobs (i. e. administration, education, etc. ). Moreover, ICTs have become ubiquitous and they affect almost every aspect of our daily life. The way in which people face the task of using ICTs varies depending on a plethora...
Computers and Education in the 21st Century
ConieD is the biannual Congress on Computers in Education, organised by the Spanish Association for the Development of Computers in Education (ADIE). The last Congress, held in Puertollano (Ciudad Real), brought together researchers in different areas, ranging from web applications, educational environments, or Human-Computer Interaction to Artificial Intelligence in Education. The common leitmotiv of the major part of the lectures was the World Wide Web. In particular, the focus was on the real...
Engineering Methods in the Service-Oriented Context (IFIP Advances in Information and Communication Technology, #351)
This book constitutes the refereed proceedings of the 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, held in Paris, France, in April 2011. The 13 revised full papers and 6 short papers presented together with the abstracts of two keynote talks were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on situated method engineering, method engineering foundations, customized methods, tools for method engineering, new trends to build...
With the coming flood of connected products, many UX and interaction designers are looking into hardware design, a discipline largely unfamiliar to them. If you're among those who want to blend digital and physical design concepts successfully, this practical book helps you explore seven long-standing principles of industrial design. Two present and former design directors at IDEO, the international design and innovation firm, use real-world examples to describe industrial designs that are senso...
This volume of the Lecture Notes in Computer Science series contains all papers accepted for presentation at the 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2009), which was held in Venice, Italy, during October 27-28, 2009. DSOM 2009 was the 20th event in a series of annual workshops. It followed in the footsteps of previous successful meetings, the most recent of which were held on Samos, Greece (DSOM 2008), San Jos e, California, USA (DSOM 200...
Entwicklung Interaktiver Systeme (Springer-Lehrbuch)
by Bernhard Preim and Arnd Poetzsch-Heffter
Wie geht der Mensch mit komplexen Computersystemen um? Wovon hAngt die Effizienz der Interaktion ab? Ausgehend von Erkenntnissen der kognitiven Psychologie beschreibt das Buch den Gestaltungsspielraum beim Entwurf interaktiver Systeme und stellt Interaktionstechniken und -stile vor. Es wird gezeigt, daA der ProzeA der Entwicklung interaktiver Systeme stark iterativ ist und Zyklen aus Analyse, Entwurf und Testverfahren enthAlt. Konkrete Methoden fA1/4r diese Schritte werden erlAutert, wobei Testv...
Research and Education in Robotics - Eurobot 2011 (Communications in Computer and Information Science, #161)
This book constitutes the proceedings of the International Conference on Research and Education in Robotics, EUROBOT 2011, held in Prague, Czech Republic, in June 2011. The 28 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers present current basic research such as robot control and behaviour, applications of autonomous intelligent robots, and perception, processing and action; as well as educationally oriented papers addressing issues like r...
Learning ASP.NET 2.0 with Ajax
by Jesse Liberty, Dan Hurwitz, and Brian MacDonald
With this book, web developers can build engaging and interactive sites and applications using Microsoft's latest web development tools - ASP.NET 2.0 and the new ASP.NET AJAX framework. You learn to create applications that have all the great tricks you see on popular commercial web sites, such as order forms and the ability to interact with a database. And you can build pages that display information interactively without a page refresh. This straightforward tutorial explains how. "Learning ASP...
If you are a programmer looking for a truly cross-platform GUI framework to help you save your time by side-stepping the incompatibility between different platforms and building applications using Qt 5 for multiple targets, then this book is most certainly intended for you. It is assumed that you have a basic programming experience of C++ and fundamental knowledge about Qt.
Thanks to faster browsers, better web standards support, and more powerful devices, the web now defines the next generation of user interfaces that are fun, practical, fluid, and memorable. The key? Animation. But learning how to create animations is hard, and existing learning material doesn't explain the context of the UI problem that animations are trying to solve. That's where this book comes in. You'll gain a solid technical understanding of how to create awesome animations using CSS and le...
User Conference Proceedings 1994
This book constitutes of the major results of the EU COST (European Cooperation in the field of Scientific and Technical Research) Action 277: NSP, Nonlinear Speech Processing, running from April 2001 to June 2005. Coverage includes such areas as speech analysis for speech synthesis, speech recognition, speech-non speech discrimination and voice quality assessment, speech enhancement, and emotional state detection.
"Learning PowerCLI" is written in a friendly and practical style with a focus on getting you started and automating daily tasks quickly and efficiently. If you manage or administrate a vSphere environment, and want to make that easier and more efficient, then this book is for you! This book is ideal for you if you want to learn how to automate your VMware vSphere infrastructure, by getting the most out of PowerCLI. It's assumed that you have some experience in administrating a VMware vSphere env...
CSS Cookbook (Cookbooks (O'Reilly)) (Animal Guide)
by Christopher Schmitt
Cascading Style Sheets (CSS) are a powerful way to enrich the presentation of HTML-based web pages, allowing web authors to give their pages a more sophisticated look and more structure. CSS's compact file size helps web pages load quickly, and by allowing changes made in one place to be applied across the entire document, CSS can save hours of tedious changing and updating. But to leverage the full power of CSS, web authors first have to sift through CSS theory to find practical solutions that...