Many problems in decision making, monitoring, fault detection, and control require the knowledge of state variables and time-varying parameters that are not directly measured by sensors. In such situa
A dual purpose textbook. It is uniquely written to cover core material in the foundations of computing for graduate students in computer science and to provide an introduction to some more advanced to
Undergraduate Topics in Computer Science (UTiCS) delivers high-quality instructional content for undergraduates studying in all areas of computing and information science. From core foundational and
Service engineering is increasingly posing challenges to traditional software engineering methodologies including specification, modeling, architecture, and verification, just to name a few. On the ot
Based on the needs of the educational community, and the software professional, this book takes a unique approach to teaching software testing. It introduces testing concepts that are managerial, tech
The ever-increasing healthcare expenditure and pressing demand for improved quality and efficiency of patient care services are driving innovation in healthcare information management. The domain of
This book constitutes the refereed proceedings of the 8th International Conference, ICSOC 2010, held in San Francisco, CA, USA, in December 2010.The 33 revised full papers and three full industry pape
The three volume set LNCS 6453, LNCS 6454, and LNCS 6455 constitutes the refereedproceedings of the 6th International Symposium on Visual Computing, ISVC 2010, heldin Las Vegas, NV, USA, in November/D
This text presents a theoretical and practical examination of the latest developments in Information Retrieval and their application to existing systems. By starting with a functional discussion of wh
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities,
Data management has evolved over the years from being strictly associated with database systems, through active databases, to become a topic that has grown beyond the scope of a single field encompass
This volume constitutes the proceedings of the 8th International Conference on Simulated Evolution and Learning, SEAL 2010, held in Kanpur, India, in December 2010. The 61full papers and 19 short pape
This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents all important results on m-calculus, w-au
Data Mining introduces in clear and simple ways how to use existing data mining methods to obtain effective solutions for a variety of management and engineering design problems.Data Mining is organis
This book constitutes the refereed proceedings of the 5th International Conference on Rough Set and Knowledge Technology, RSKT 2010, held in Beijing, China, in October 2010. The 98 revised full papers
This book constitutes the refereed proceedings of the FirstInternational Conference on Decision and Game Theory for Security,GameSec 2010, held in Berlin, Germany, in November 2010.The 12 revised full
This Festschrift volume, published in honor of Christoph Walther, contains contributions written by some of his colleagues, former students, and friends. In celebration of the 60th birthdays of Alejan
In the light of upcoming global issues, concerning population, energy, the environment, and food, information and communication technologies are required to overcome difficulties in communication amon
This book constitutes the refereed proceedings of the Second IFIP WG 11.6 Working Conference on Policies and Research in Identity Management, IDMAN 2010, held in Oslo, Norway, in November 2010. The
This book constitutes the refereed proceedings of the Second International Conference on Simulation, Modeling, and Programming for Autonomous Robots, SIMPAR 2010, held in Darmstadt, Germany, in Novemb
The first complete overview of evolutionary computing, the collective name for a range of problem-solving techniques based on principles of biological evolution, such as natural selection and genetic
After two decades of research and development, elliptic curve cryptography now has widespread exposure and acceptance. Industry, banking, and government standards are in place to facilitate extensive
The topic of preferences is a new branch of machine learning and data mining, and it has attracted considerable attention in artificial intelligence research in previous years. It involves learning fr
The Mobile Ad Hoc Network (MANET) has emerged as the next frontier for wireless communications networking in both the military and commercial arena. Handbook of Mobile Ad Hoc Networks for Mobility Mod
"Three-Dimensional Model Analysis and Processing focuses on five hot research directions in 3D model analysis and processing in computer science, i.e., on compression, feature extraction, content-base
This book examines the techniques and applications involved in the Web Mining, Web Personalization and Recommendation and Web Community Analysis domains, including a detailed presentation of the princ
This book is a first sketch of what the overall field of performance could look like as a modern scientific field but not its stylistically differentiated practice, pedagogy, and history. Musical perf
Transforming Enterprise Cloud Services addresses the fundamental ideology of Cloud Services and how enterprises in commercial, federal, and defense industries can transform their current information t
In today’s world, data must be sent around the world cheaply and securely, and that requires origin authentication, integrity protection, and confidentiality – the recipient of a message should be abl
This edited volume focuses on the adoption of run-time models for the design and management of autonomic systems. Traditionally, performance models have a central role in the design of computer system
Increasing size and complexity of software and hardware systems makes it harder to ensure their reliability. At the same time, the issues of autonomous computing become more critical as we more and mo
Reinforcement learning has developed as a successful learning approach for domains that are not fully understood and that are too complex to be described in closed form. However, reinforcement learnin
Modern society has been transformed by the digital convergence towards a future where technologies embed themselves into the fabric of everyday life. This ongoing merging of social and technological i
IT systems explode budget estimates, bust production deadlines by years, and then fail to work properly. Why this IT-system crisis? Poor programmers? Inadequate project management? No. The Seductive C
This book constitutes the refereed proceedings of the First International Joint Conference on Ambient Intelligence, AmI 2010, held in Malaga, Spain, in November 2010, a merger of the AmI and AmI.D con
The reader will find here papers on human-robot interaction as well as human safety algorithms; haptic interfaces; innovative instruments and algorithms for the sensing of motion and the identificatio
This is Volume 4 of the book series of the Body and Soul mathematics education reform program. It presents a unified new approach to computational simulation of turbulent flow starting from the genera
The use of differing input and output equipment (scanners, monitors, printers, etc.) in computer-aided publishing often results in the unsatisfactory reproduction of color originals in print and onlin
The purpose of the 8th Conference on Software Engineering, Artificial Intelligence Research, Management and Applications (SERA 2010) held on May 24 – 26, 2010 in Montreal, Canada was to bring togethe
