Domain engineering is a set of activities intended to develop, maintain, and manage the creation and evolution of an area of knowledge suitable for processing by a range of software systems. It is of considerable practical significance, as it provides methods and techniques that help reduce time-to-market, development costs, and project risks on one hand, and helps improve system quality and p…
The book is the extended and revised version of the 1st edition and is composed of two main parts: mathematical background and queueing systems with applications. The mathematical background is a self-containing introduction to the stochastic processes of the later studied queueing systems. It starts with a quick introduction to probability theory and stochastic processes and continues with cha…
This book constitutes the thoroughly refereed proceedings of the first International Conference on Context-Aware Systems and Applications, ICCASA 2012, held in Ho Chi Minh City, Vietnam, in November 2012. The 34 revised full papers presented were carefully selected and reviewed from over 100 submissions. The papers cover a wide spectrum of issues in the area of Context-Aware Systems (CAS). CAS …
This book offers a first course in analysis for scientists and engineers. It can be used at the advanced undergraduate level or as part of the curriculum in a graduate program. The book is built around metric spaces. In the first three chapters, the authors lay the foundational material and cover the all-important “four-C’sâ€: convergence, completeness, compactness, and contin…
This book constitutes the refereed proceedings of the 9th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2013, held in Paphos, Cyprus, in September/October 2013. The 26 revised full papers presented together with a keynote speech at the main event and 44 papers of 8 collocated workshops were carefully reviewed and selected for inclusion in th…
This book constitutes the thoroughly refereed post-conference proceedings of the Third IFIP WG 13.6 Working Conference on Human Work Interaction Design, HWID 2012, held in Copenhagen, Denmark, in December 2012. The 16 revised papers presented were carefully selected for inclusion in this volume. The papers reflect many different areas and address many complex and diverse work domains, ranging f…
Digital forensics deals with the acquisition, preservation, examination, analysis and presentation of electronic evidence. Networked computing, wireless communications and portable electronic devices have expanded the role of digital forensics beyond traditional computer crime investigations. Practically every crime now involves some aspect of digital evidence; digital forensics provides the te…
This book constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Mobile Computing, Applications, and Services (MobiCASE 2012) held in Seattle, Washington, USA, in October 2012. The 18 revised full papers presented together with 9 revised poster papers were carefully reviewed and selected from 51 submissions. The conference papers are organized …
This volume contains a selection of chapters base on papers presented at the Fourth Seattle Symposium in Biostatistics: Clinical Trials. The symposium was held in 2010 to celebrate the 40th anniversary of the University of Washington School of Public Health and Community Medicine. It featured keynote lectures by David DeMets and Susan Ellenberg and 16 invited presentations by other prominent re…
This book constitutes the proceedings of the 6th International IFIP Working Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2012), held in Ghent, Belgium, during September 19–21, 2012. The theme of the conference was "enterprise information systems of the future –– evolving toward more performance through transparency and agility," mi…