Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Architecting Dependable Systems IV
  • Language: en
  • Pages: 446

Architecting Dependable Systems IV

As software systems become ubiquitous, the issues of dependability become more and more crucial. This state-of-the-art survey contains 18 expanded and peer-reviewed papers based on the carefully selected contributions to the Workshop on Architecting Dependable Systems (WADS 2006) organized at the 2006 International Conference on Dependable Systems and Networks (DSN 2006), held in Philadelphia, PA, USA, in June 2006.

Intelligent Software Defect Prediction
  • Language: en
  • Pages: 210

Intelligent Software Defect Prediction

With the increasing complexity of and dependency on software, software products may suffer from low quality, high prices, be hard to maintain, etc. Software defects usually produce incorrect or unexpected results and behaviors. Accordingly, software defect prediction (SDP) is one of the most active research fields in software engineering and plays an important role in software quality assurance. Based on the results of SDP analyses, developers can subsequently conduct defect localization and repair on the basis of reasonable resource allocation, which helps to reduce their maintenance costs. This book offers a comprehensive picture of the current state of SDP research. More specifically, it ...

Guidance for the Verification and Validation of Neural Networks
  • Language: en
  • Pages: 146

Guidance for the Verification and Validation of Neural Networks

This book provides guidance on the verification and validation of neural networks/adaptive systems. Considering every process, activity, and task in the lifecycle, it supplies methods and techniques that will help the developer or V&V practitioner be confident that they are supplying an adaptive/neural network system that will perform as intended. Additionally, it is structured to be used as a cross-reference to the IEEE 1012 standard.

Software Engineering for Self-Adaptive Systems
  • Language: en
  • Pages: 271

Software Engineering for Self-Adaptive Systems

  • Type: Book
  • -
  • Published: 2009-06-10
  • -
  • Publisher: Springer

Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in enabling the development of future software systems that are able to self-adapt to changes that may occur in the system, its requirements, or the environment in which it is deployed. The 12 carefully reviewed papers included in this state-of-the-art survey originate from the International Seminar on Software Engineering for Self-Adaptive Systems, held in Dagstuhl Castle, Germany, in January 2008. They examine the current state-of-the-art in the field, describing a wide range of approaches coming fr...

Distributed Video Sensor Networks
  • Language: en
  • Pages: 476

Distributed Video Sensor Networks

Large-scale video networks are of increasing importance in a wide range of applications. However, the development of automated techniques for aggregating and interpreting information from multiple video streams in real-life scenarios is a challenging area of research. Collecting the work of leading researchers from a broad range of disciplines, this timely text/reference offers an in-depth survey of the state of the art in distributed camera networks. The book addresses a broad spectrum of critical issues in this highly interdisciplinary field: current challenges and future directions; video processing and video understanding; simulation, graphics, cognition and video networks; wireless vide...

Advanced Topics in Exception Handling Techniques
  • Language: en
  • Pages: 311

Advanced Topics in Exception Handling Techniques

  • Type: Book
  • -
  • Published: 2006-10-04
  • -
  • Publisher: Springer

This book – inspired by two ECOOP workshops on exception handling - is composed of five parts; the first four address exception handling and related topics in the context of programming languages, concurrency and operating systems, pervasive computing systems, and requirements and specifications. The last part offers case studies, experimentation and qualitative comparisons. The 16 coherently written chapters by leading researchers review a wide range of issues in exception handling.

Recent Advances in Reliability and Quality Engineering
  • Language: en
  • Pages: 348

Recent Advances in Reliability and Quality Engineering

This volume presents recent research in reliability and quality theory and its applications by many leading experts in the field. The subjects covered include reliability optimization, software reliability, maintenance, quality engineering, system reliability, Monte Carlo simulation, tolerance design optimization, manufacturing system estimation, neural networks, software quality assessment, optimization design of life tests, software quality, reliability-centered maintenance, multivariate control chart, methodology for measurement of test effectiveness, imperfect preventive maintenance, Markovian reliability modeling, accelerated life testing, and system availability assessment. The book wi...

Computer Safety, Reliability, and Security
  • Language: en
  • Pages: 356

Computer Safety, Reliability, and Security

  • Type: Book
  • -
  • Published: 2014-09-03
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of the 33nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014, held in Florence, Italy, in September 2014. The 20 revised full papers presented together with 3 practical experience reports were carefully reviewed and selected from 85 submissions. The papers are organized in topical sections on fault injection techniques, verification and validation techniques, automotive systems, coverage models and mitigation techniques, assurance cases and arguments, system analysis, security and trust, notations/languages for safety related aspects, safety and security.

Handbook of Remote Biometrics
  • Language: en
  • Pages: 380

Handbook of Remote Biometrics

The development of technologies for the identi?cation of individuals has driven the interest and curiosity of many people. Spearheaded and inspired by the Bertillon coding system for the classi?cation of humans based on physical measurements, scientists and engineers have been trying to invent new devices and classi?cation systems to capture the human identity from its body measurements. One of the main limitations of the precursors of today’s biometrics, which is still present in the vast majority of the existing biometric systems, has been the need to keep the device in close contact with the subject to capture the biometric measurements. This clearly limits the applicability and conveni...

Software Engineering for Self-Adaptive Systems
  • Language: en
  • Pages: 402

Software Engineering for Self-Adaptive Systems

  • Type: Book
  • -
  • Published: 2013-01-03
  • -
  • Publisher: Springer

Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in enabling the development of self-adaptive systems that are able to adapt to internal faults, changing requirements, and evolving environments. The 15 carefully reviewed papers included in this state-of-the-art survey were presented at the International Seminar on "Software Engineering for Self-Adaptive Systems", held in Dagstuhl Castle, Germany, in October 2010. Continuing the course of the first book of the series on "Software Engineering for Self-Adaptive Systems" the collection of papers in this second volume comprises a research roadmap accompanied by four elaborating working group papers. Next there are two parts - with three papers each - entitled "Requirements and Policies" and "Design Issues"; part four of the book contains four papers covering a wide range of "Applications".