Buecher-Lounge.de

Shows how to deliver successfully large-scale applications using object technology, and carefully …

1. The object-oriented software process; 2. The initiate phase; 3. The define and validate initial requirements stage; 4. The define and initial management documents stage; 5. The justify stage; 6. …

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

-- R. P. Kurshan, Distinguished Member …

geschrieben von Edmund M. Clarke (Autor) und Edmund M. Jr. Clarke (Autor) und Orna Grumberg (Autor)

This superb collection of papers focuses on a fundamental question in logic and computation: What is a logical system? With contributions from leading researchers--including Ian Hacking, Robert …

1. What is logic; 2. Logic without model theory; 3. Diagrams and the concept of logical system; 4. General dynamics; 5. What is a deductive system; 6. The transmission of truth and the transmitting of …

geschrieben von D. M. Gabbay (Herausgeber)

The development of Intelligent Manufacturing Systems represents a worldwide tendency. The areas of Multi-Agent Systems and Intelligent Mobile Agents offer a promising approach to such developments. …

Multi-agent systems and mobile agents; multi-agent systems in scheduling; building multi-agent systems; intelligent supervision systems; virtual enterprises; infrastructures for virtual enterprises; …

geschrieben von Luis M. Camarinha-Matos (Herausgeber) und Hamideh Afsarmanesh (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)

This book constitutes the refereed proceedings of the 17th Annual Symposium on Combinatorial Pattern Matching, CPM 2006, held in Barcelona, Spain in July 2006.
The 33 revised full papers …

geschrieben von Moshe Lewenstein (Herausgeber) und Gabriel Valiente (Herausgeber)

Subir Kumar Ghosh is a Professor of Computer Science at the Tata Institute of Fundamental Research, Mumbai, India and is a Fellow of the Indian Academy of Sciences. He is the author of around forty …

A human observer can effortlessly identify visible portions of geometric objects present in the environment. However, computations of visible portions of objects from a viewpoint involving thousands …

Preface; 1. Background; 2. Point visibility; 3. Weak visibility and shortest paths; 4. L-R visibility and shortest paths; 5. Visibility graphs; 6. Visibility graph theory; 7. Visibility and link …

Computations of visible portions of objects from a viewpoint involving thousands of objects is a time consuming task even for high speed computers. To solve such visibility problems, efficient …

geschrieben von Subir Kumar Ghosh (Autor)

This book constitutes the refereed proceedings of the 9th International Conference on Concurrency Theory, CONCUR'98, held in Nice, France, in September 1998.The 35 revised full papers presented were …

geschrieben von Davide Sangiorgi (Herausgeber) und Robert de Simone (Herausgeber)

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems, ARTDB'97, held in Como, Italy in …

geschrieben von Sten F. Andler (Herausgeber) und Jörgen Hansson (Herausgeber)

This book constitutes the refereed proceedings of the 13th European Symposium on Research in Computer Security, ESORICS 2008, held in Torremolinos, Spain, in October 2008.
The 37 revised full …

geschrieben von Sushil Jajodia (Herausgeber) und Javier Lopez (Herausgeber)