Buecher-Lounge.de

Presents patterns for the Deliver and the Maintain and Support …

1. The deliver phase; 2. The test in the large stage; 3. The rework stage; 4. The release stage; 5. The assess stage; 6. The maintain and support phase; 7. The support stage; 8. The identify bugs and …

geschrieben von Scott W. Ambler (Autor) und Barry McGibbon (Herausgeber)

This text covers all the material needed to understand the principles behind the AI approach to robotics and to program an artificially intelligent robot for applications involving sensing, …

geschrieben von Robin R. Murphy (Autor)

Im vorliegendem Buch wird ein neues Konzept für die Vermittlung von Grundlagen der Gestaltung von Designobjekten vorgestellt. Für die Fragen, die im Rahmen eines Entwurfsprozesses zu …

geschrieben von Heinz Habermann (Autor)

Dr. Sushil Jajodia is Professor and Chairman of the Dept. of Information and Software Engineering, and Director of the Center for Secure Information Systems at the George Mason University, Fairfax, …

New technology is always evolving and companies must haveappropriate security for their business to be able to keep up-to-datewith the changes. With the rapid growth in internet and wwwfacilities, …

List of Figures. List of Tables. Preface. Contributing Authors. Part I: Invited Talks. 1. E-Commerce Security: No Silver Bullet; A.K. Ghosh. 2. Technical Enforcement of Informational Assurances; J. …

geschrieben von Sushil G. Jajodia (Herausgeber)

Constraint satisfaction problems are significant in the domain of automated reasoning for artificial intelligence. They can be applied to the modeling and solving of a wide range of combinatorial …

Introduction.- Interchangeability and Solution Adaptation in Crisp CSPs.- Interchangeability in Soft CSPs.- Multi Agent Computation of Interchangeability in Distributed CSPs.- Interchangeability in …

geschrieben von Nicoleta Neagu (Autor)

Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems …

Introduction.- Symbolic Model Checking.- Abstraction.- Refinement.- Compositional SCC Analysis.- Disjunctive …

geschrieben von Chao Wang (Autor) und Gary D. Hachtel (Autor) und Fabio Somenzi (Autor)

Professor Maxime Crochemore received his PhD in 1978 and his Doctorat d'etat in 1983 at the University of Rouen. He got his first professorship position at the University of Paris-Nord in 1975 where …

The book is intended for lectures on string processes and pattern matching in Master’s courses of computer science and software engineering curricula. The details of algorithms are given …

1. Tools; 2. Pattern matching automata; 3. String searching with a sliding window; 4. Suffix arrays; 5. …

This text and reference on string processes and pattern matching presents examples related to the automatic processing of natural language, to the analysis of molecular sequences and to the management …

geschrieben von Maxime Crochemore (Autor) und Christophe Hancart (Autor) und Thierry Lecroq (Autor)

This state-of-the-art survey constitutes papers that were selected after an open call that followed the International Dagstuhl-Seminar on Algorithmic Methods for Railway Optimization, held in Dagstuhl …

geschrieben von Frank Geraets (Herausgeber) und Leo Kroon (Herausgeber) und Dorothea Wagner (Herausgeber) und Anita Schoebel (Herausgeber) und Christos D. Zaroliagis (Herausgeber)

Los Gatos, California, USA Los …

Guides software professionals through the many aspects of development. This book shows how to master systems development and manage many of the soft and technical skills that are key to successfully …

Failure. Systems. Strategies. Requirements. Architecture and Design. Data and Information. Life Cycles. The Semantics of Processes. Off-the-Shelf Software. Customization. Migration. Quality and …

geschrieben von Krishnamurthy Krishnamurthy (Autor) und Nikhilesh Krishnamurthy (Autor) und Amitabh Saran (Autor)

This book constitutes the refereed proceedings of the 19th International Conference on Algorithmic Learning Theory, ALT 2008, held in Budapest, Hungary, in October 2008, co-located with the 11th …

geschrieben von Yoav Freund (Herausgeber) und László Györfi (Herausgeber) und Thomas Zeugmann (Herausgeber) und György Turán (Herausgeber)