Software Testing and Analysis

Software Testing and Analysis
Author: Mauro Pezze
Publisher: John Wiley & Sons
Total Pages: 516
Release: 2008
Genre: Computers
ISBN:

Teaches readers how to test and analyze software to achieve an acceptable level of quality at an acceptable cost Readers will be able to minimize software failures, increase quality, and effectively manage costs Covers techniques that are suitable for near-term application, with sufficient technical background to indicate how and when to apply them Provides balanced coverage of software testing & analysis approaches By incorporating modern topics and strategies, this book will be the standard software-testing textbook

Control of Discrete-Event Systems

Control of Discrete-Event Systems
Author: Carla Seatzu
Publisher: Springer
Total Pages: 488
Release: 2012-07-27
Genre: Technology & Engineering
ISBN: 1447142764

Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory material on the basic notions and definitions of discrete-event systems to more recent results. Special attention is given to results on supervisory control, state estimation and fault diagnosis of both centralized and distributed/decentralized systems developed in the framework of the Distributed Supervisory Control of Large Plants (DISC) project. Later parts of the text are devoted to the study of congested systems though fluidization, an over approximation allowing a much more efficient study of observation and control problems of timed Petri nets. Finally, the max-plus algebraic approach to the analysis and control of choice-free systems is also considered. Control of Discrete-event Systems provides an introduction to discrete-event systems for readers that are not familiar with this class of systems, but also provides an introduction to research problems and open issues of current interest to readers already familiar with them. Most of the material in this book has been presented during a Ph.D. school held in Cagliari, Italy, in June 2011.

Holonic and Multi-Agent Systems for Manufacturing

Holonic and Multi-Agent Systems for Manufacturing
Author: Vladimir Marik
Publisher: Springer
Total Pages: 456
Release: 2009-09-02
Genre: Science
ISBN: 9783540842910

This volume constitutes the refereed proceedings of the Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems held in September 2007. The 39 full papers were selected from among 63 submissions. They are organized into topical sections covering theoretical and methodological issues, algorithms and technologies, implementation and validation, applications, and supply chain management.

Computer Performance Evaluation. Modelling Techniques and Tools

Computer Performance Evaluation. Modelling Techniques and Tools
Author: Boudewijn R. Haverkort
Publisher: Springer Science & Business Media
Total Pages: 397
Release: 2000-03-13
Genre: Computers
ISBN: 3540672605

This book constitutes the refereed proceedings of the 11th International Conference on Modelling Tools and Techniques for Computer Communication System Performance Evaluation, TOOLS 2000, held in Schaumburg, IL, USA in March 2000. The 21 revised full papers presented were carefully reviewed and selected from a total of 49 submissions. Also included are 15 tool descriptions and one invited paper. The papers are organized in topical sections on queueing network models, optimization in mobile networks, stochastic Petri nets, simulation, formal methods and performance evaluation, and measurement tools and applications.

Peer-to-Peer Systems and Applications

Peer-to-Peer Systems and Applications
Author: Ralf Steinmetz
Publisher: Springer Science & Business Media
Total Pages: 626
Release: 2005-09-29
Genre: Computers
ISBN: 354029192X

Starting with Napster and Gnutella, peer-to-peer systems became an integrated part of the Internet fabric attracting millions of users. This book provides an introduction to the field. It draws together prerequisites from various fields, presents techniques and methodologies, and gives an overview on the applications of the peer-to-peer paradigm.

Fundamentals of Relational Database Management Systems

Fundamentals of Relational Database Management Systems
Author: S. Sumathi
Publisher: Springer
Total Pages: 793
Release: 2007-03-20
Genre: Computers
ISBN: 3540483993

This book provides comprehensive coverage of fundamentals of database management system. It contains a detailed description on Relational Database Management System Concepts. There are a variety of solved examples and review questions with solutions. This book is for those who require a better understanding of relational data modeling, its purpose, its nature, and the standards used in creating relational data model.

Agile Information Systems

Agile Information Systems
Author: Kevin C. Desouza
Publisher: Routledge
Total Pages: 323
Release: 2007
Genre: Business & Economics
ISBN: 0750682353

The Editor, Kevin Desouza, has organized the chapters under three categories: discussion of the concept of agile information systems (i.e. defining agile information management, its attributes, antecedents, consequences, etc.) discussion of information systems within the context of agility (i.e., descriptions of agile information systems and their attributes, how to build agile information systems, etc.) discussion of organizational management issues in the context of agile information systems (i.e., how to prepare the organization for agile information systems, management of agile information systems for improved organizational performance, etc.). This is the first book to address the hot topic of agile information systems. Contributions break new ground and provide concrete applications for practice. Contributors include highly respected academics from around the world

Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Author: James L Peterson
Publisher:
Total Pages: 304
Release: 2019-08-09
Genre:
ISBN: 9781080591176

Petri nets were conceived in 1962 as a model of parallel systems, and have been applied to a wide range of problems. This volume presents both the basic model and demonstrates how it can be applied to a large number of different systems. It also presents basic analysis techniques and shows how Petri nets compare to other models of parallel systems.This second, digital, edition of the original 1981 publication is a faithful reproduction of that work, with dozens of corrections and minor improvements. The original 1981 book was scanned, OCRed, processed and corrected to create an all new printing.