Ambient Intelligence is a vision of the future where the world will be surrounded by electronic environments sensitive and responsive to people, wherein devices work in concert to support people in c
Conceptually, a database consists of objects and relationships. Object Relationship Notation (ORN) is a simple notation that more precisely defines relationships by combining UML multiplicities with
Geometric algebra is still treated as an obscure branch of algebra and most books have been written by competent mathematicians in a very abstract style. This restricts the readership of such books e
Service computing is a cutting-edge area,popular in both industry and academia. New challenges have been introduced to develop service-oriented systems with high assurance requirements. High As
This reference provides an overview of the key concepts related to the major issues of optical Internet, and studies traditionally and recently proposed optical switching paradigms. The concise cover
Object Oriented Simulation will qualify as a valuable resource to students and accomplished professionals and researchers alike, as it provides an extensive, yet comprehensible introduction to the bas
This book presents the scientific outcome of a joint effort of the computer science departments of the universities of Berne, Fribourg and Neuchatel.Within an initiative devoted to "Information and Kn
Security and Dependability for Ambient Intelligence is the primary publication for the SERENITY approach which provides security and dependability (S&D) solutions for dynamic, highly distributed
People go about their daily tasks with an in-built awareness of their social and physical environments. This awareness helps them to work cooperatively in groups, coordinate actions, and to maintain
Over 12 years ago Logica started the development of TestFrameR, a test method which enables organizations to develop and execute their tests in a structured way. Since then many new techniques have be
This book constitutes the refereed proceedings of the 24th IFIP TC 11 International Information Security Conference, SEC 2009,? held in Pafos, Cyprus, in May 2009. The?38 revised full papers presente
Dynamic Learning Networks: Models and Cases In Action represents an attempt to provide a network perspective of organizational learning to drive dynamic competition through extended firm learning pro
Multi-Agent Systems are a promising technology to develop the next generation open distributed complex software systems. The main focus of the research community has been on the development of concep
The text begins by reviewing the origins and aims of cybernetics with particular reference to Warren McCulloch's declared lifetime quest of "understanding man's understanding". It is shown that conti
Markov random field (MRF) theory provides a basis for modeling contextual constraints in visual processing and interpretation. It enables systematic development of optimal vision algorithms when used
This book blends traditional teaching approaches with the use of mathematics, together with the use of a hardware description language and a concrete processor as vehicles for "hands-on" modelling an
A Concise Introduction to Computation Models and Computability Theory provides an introduction to the essential concepts in computability, using several models of computation, from the standard Turin
The complexity of modern software systems makes it difficult to ensure the dependability of software-intensive systems. This book is based on the workshop on Methods, Models and Tools for Fault Tolera
Farming Human Pathogens: Ecological Resilience and Evolutionary Process introduces a cutting-edge mathematical formalism based on the asymptotic limit theorems of information theory to describe how p
Human Machine Interaction, or more commonly Human Computer Interaction, is the study of interaction between people and computers. It is an interdisciplinary field, connecting computer science with man
The current book provides a final report of activity performed by the COST 290 Action, ‘‘Traffic and QoS Management in Wireless Multimedia Networks,’’ which ran from March 10, 2004, until June 3, 2008
This book introduces the fundamental concepts, models, techniques, and results that form the basic paradigms of computing. It examines all the essential topics in formal languages, automata, computabi
The OPC Foundation defines standards for online data exchange between automation systems. They address access to current data (OPC DA), alarms and events (OPC A&E) and historical data (OPC HDA). T
This book comprises a collection of chapters concerning novel research on Human-Computer Interaction. Chapters correspond to high-quality selected papers from Interaccion 2007, the 8th annual confere
The authors present the state of the art in the rapidly growing field of visualization as related to problems in urban and regional planning. The significance and timeliness of this volume consist in
Over the last few decades information and communication technology has come to play an increasingly prominent role in our dealings with other people. Computers, in particular, have made available a ho
Ada is the programming language of choice for high integrity software systems and is used extensively in industries such as transportation and aerospace. Special features of the book include: Object-
There are many areas of science and engineering where three-dimensional (3-D) discrete data are collected and analyzed, such as medical imaging and geoscience. To design and to prove the validity of
Navigating safely through a wealth of genome, protein and metabolite information, as well as a host of information processing tools, without getting lost is crucial for successful research in - and t
Research on Internet security over the past few decades has focused mainly on information assurance, issues of data confidentiality and integrity as explored through cryptograph algorithms, digital s
Many networked computer systems are far too vulnerable to cyber attacks that can inhibit their functioning, corrupt important data, or expose private information. Not surprisingly, the field of cyber
The advent of powerful processing technologies and the advances in software development tools have drastically changed the approach and implementation of computational research in fundamental propert
Pervasive healthcare is the conceptual system of providing healthcare to anyone, at anytime, and anywhere by removing restraints of time and location while increasing both the coverage and the quality
This book integrates a wide range of research topics related to and necessary for the development of proactive, smart, computers in the human interaction loop, including the development of audio-visu
Computer-Aided Design of User Interfaces VI gathers the latest experience of experts, research teams and leading organisations involved in computer-aided design of user interactive applications. This
This book aims at establishing a meaningful dialog between the Human-Computer Interaction (HCI) community and Software Engineering (SE) practitioners and researchers on the results (both good and bad
This book constitutes the refereed proceedings ofthe 5th IFIP Artificial Intelligence Innovations and Applications Conference held in Thessaloniki, Greece.The IFIP series publishes state-of-the
A Concise and Practical Introduction to Programming Algorithms in Java has two main goals. The first is for novice programmers to learn progressively the basic concepts underlying most imperative pro
This book addresses the most important techniques in improving the correctness of software, including correctness by construction (top-down refinement), program proving, static analysis and dynamic,
The pervasive use of computer and Internet technologies creates an unprecedented environment where people can share opinions and experiences, exchange ideas, offer suggestions and advice, debate and
