Designing Interactive Systems: People, Activities, Contexts, Technologies is an exciting, new, forward-looking textbook in Human Computer Interaction (HCI). Authoritative in its coverage, this innovative book takes a top-down approach, starting with what is familiar to students and working down to theory/abstract underpinnings. This makes it...

the emerging areas of grid computing, cloud computing, and pervasive computing. The 6th International Conference on Grid and Pervasive Computing, GPC 2011, was held in Oulu, Finland, during May 11-13, 2011. This volume contains the full papers that were presented at the conference. This program was preceded by one day of workshops, a...

The second edition of Human-Computer Interaction established itself as one of the classic textbooks in the area, with its broad coverage and rigorous approach, this new edition builds on the existing strengths of the book, but giving the text a more student-friendly slant and improving the coverage in certain areas. The revised...

Macromedia introduced Flex in 2004 so that developers could write web applications for the nearly ubiquitous Flash platform. These applications benefited from the improved design, usability, and portability that Flex made possible, dramatically changing the user experience. These features are a cornerstone of Web 2.0, a new generation...

Over the past decade,...

The telegraph, telephone, radio, and especially the computer have put everyone on the globe within earshot— at the price of our privacy. It may feel like we're performing an intimate act when, sequestered in our rooms and cubicles, we casually use our cell phones and computers to transmit our thoughts, confidences,...

Given Apple’s advertising budget and ubiquitous ads, plus an enormous amount of media attention, it’s still difficult to determine just what an iPad is. Is it a media player or a business machine? Does it replace a laptop? There are other tablet computers on the market, as well as “netbooks” that act like...

The Internet encompasses all types of websites, from social media monoliths to individual blogs, from Justin Timberlake fan sites to Fortune 500 businesses. Everyone has a voice, and the medium has become the ultimate level playing field for those seeking to interact with the world through an always-on, instantly available, nearly...

Traditional software verification algorithms work by using a combination of Floyd-Hoare Logics, Model Checking and Abstract Interpretation, to check and infer suitable program invariants. However, these techniques are problematic in the presence of complex but ubiquitous constructs like generic data structures, first-class functions....

These are exciting times for those who live and work with technology every day, whether they are young people who have been using technology since birth, or, like many others, have had to adapt to it.

It is an exciting moment because in recent years there is no other example of technology that has changed our lives so...