Information and communication technologies can provide new paradigms in healthcare provision. In particular, new Pervasive Healthcare technologies can revolutionise the dynamics of healthcare, enabling people to remain at home for longer with lower costs to health and welfare organisations. This book reveals how pervasive healthcare technologies...

The idea of describing how to make multimodal computer systems usable arose in the European Network of Excellence SIMILAR – “Taskforce for creating human-machine...

A Science of Operations examines the history of what we now call programming, defined not simply as computer programming, but more broadly as the definition of the steps involved in...

In order to complete a mission efficiently and with a high level of safety and security, the following key...

A practical guide for learning functional programming directly through the diagrams used to define functions, this book describes, and provides access to, a system that gives a level of support akin to that provided in word processing. The approach used allows the schematic diagrams used in program design to be directly translated into usable...

Web-based Support Systems (WSS) are an emerging multidisciplinary research area in which one studies the support of human activities with the Web as the common platform, medium and interface. The Internet affects every aspect of our modern life. Moving support systems to online is an increasing trend in many research domains. One of...

In the last few years the use of medical imaging has increased exponentially in routine clinical practice. This has been reflected in a rapidly increasing use of medical imaging in clinical trials, through all phases. More recently this has culminated in a number of inter-disciplinary meetings with the various stake holders, including the...

An increasing number of systems are exploiting mixed reality but to date there are no systematic methods, techniques or guidelines for the development of such systems. In bringing together contributions on a broad range of mixed reality development issues this book provides a sound theoretical foundation for a disciplined approach to mixed...

Through fundamental contributions from leading researchers, this...

This widely anticipated third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic and nondeterministic sequential programs of varying complexity, together with both parallel and distributed concurrent programs. The...

This book covers topics at the intersection of algorithms and networking. It builds a complete picture of the current state...

Virtual worlds are persistent online computer-generated environments where people can interact, whether for work or play, in a manner comparable to the real world. The most popular current example is World of Warcraft, a massively multiplayer online game with eleven million subscribers. However, other virtual worlds, notably Second Life, are not...