Buecher-Lounge.de

Dr. Melham shows here how formal logic can be used to specify the behavior of hardware designs and reason about their correctness. A primary theme of the book is the use of abstraction in hardware …

1. Introduction; 2. Higher order logic and the HOL system; 3. Hardware verification using higher order logic; 4. Abstraction; 5. Data abstraction; 6. Temporal abstraction; 7. Abstraction between …

geschrieben von T. F. Melham (Autor) und Thomas F. Melham (Autor)

Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of …

Term rewriting and functional languages; visual and object-oriented languages; applications to software engineering; applications to engineering disciplines; applications to pictures; implemented …

geschrieben von H. Ehrig (Autor) und G. Engels (Autor) und H. J. Kreowski (Autor)

"I have been using OmniMark for a decade to solve many different kinds of information management problems. When OmniMark Technologies Corporation added features to their excellent language that …

This book covers the core language, plus practical examples for common Internet programming applications. OmniMark is such a powerful program that I can't think of any Internet programming problem …

geschrieben von Mark Baker (Autor)

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)

Gary McGraw, Cigital's CTO, is a leading authority on software security. Dr. McGraw is coauthor of the groundbreaking books Building Secure Software and Exploiting Software (both from Addison-Wesley). …

What is it about software that makes security such a problem? If you want to build secure software, how do you do it? These questions and the perseverance of three of the world's leading security …

What is it about software that makes security such a problem? If you want to build secure software, how do you do it? These questions and the perseverance of three of the world's leading security …

geschrieben von Gary McGraw (Autor) und John Viega (Autor) und Greg Hoglund (Autor)

SZABOLCS MICHAEL de GYURKY retired from the Jet Propulsion Laboratory after twenty-five years of service, and is now employed as a consultant and writer. He was responsible for the design, …

This book has three major objectives:* To propose an ontology for computer software.* To provide a methodology for development of large software systems to cost and schedule that is based on the …

List of Figures.Acknowledgments.Chapter 1. Introduction.Chapter 2. Prologue.Chapter 3. The Philosophical Foundations of Computer Software Design.Chapter 4. The Philosophical Imperatives of …

"...this book is worthwhile." (Software Quality Professional, December 2006)
"This book is a …

geschrieben von Szabolcs Michael De Gyurky (Autor) und Mark A. Tarbell (Illustrator)

Epson Edge, Epson Canada Ltd., Ontario, CANADA The …

Single-sensor camera image processing methods are becoming increasingly important due to the emergence of digital camera based applications and commercial devices. Presenting the state of the art, …

Single-Sensor Digital Color Imaging Fundamentals.Reusable Embedded Software Platform for Versatile Single-Sensor Digital Cameras.Digital Camera Image Processing Chain Design.Optical Antialiasing …

geschrieben von Rastislav Lukac (Herausgeber)

Combinatorial research has proceeded vigorously in Russia over the last few decades, based on both translated Western sources and original Russian material. The present volume extends the extremal …

geschrieben von B. S. Stechkin (Autor) und V. I. Baranov (Autor)

The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a …

1. Basic models -- 2. …

geschrieben von Wolfgang Reisig (Herausgeber) und Grzegorz Rozenberg (Herausgeber)

Diplomarbeit aus dem Jahr 2003 im Fachbereich Informatik - Wirtschaftsinformatik, Note: 1,0, Fachhochschule Köln, 20 Quellen im Literaturverzeichnis, Sprache: Deutsch, Abstract: Beschreibung der …

geschrieben von Thorsten Steffen (Autor)