Buecher-Lounge.de

This volume presents the proceedings of a workshop on parallel database systems organized by the PRISMA (Parallel Inference and Storage Machine) project. The invited contributions by internationally …

geschrieben von Pierre America (Herausgeber)

This book constitutes the refereed proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2001, held in Genova, Italy in April 2001.The …

geschrieben von Furio Honsell (Herausgeber) und Marino Miculan (Herausgeber)

Dieses erste Lehrbuch zur Formalen Begriffsanalyse gibt eine systematische Darstellung der mathematischen Grundlagen und ihrer Verbindung zu Anwendungen in der Informatik, insbesondere in der …

geschrieben von Bernhard Ganter (Autor) und Rudolf Wille (Autor)

This book constitutes the refereed proceedings of the Second International Conference on Mathematical Knowledge Management, MKM 2003, held in Betinoro, Italy, in February 2003.
The 16 revised …

geschrieben von Andrea Asperti (Herausgeber) und Bruno Buchberger (Herausgeber) und James Harold Davenport (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)

Computer Security in the 21st CenturyEdited by D.T. Lee, S.P. Shieh, and J.D. Tygar Computer Security in the 21st Century shares some of the emerging important research trends reflected in recent …

Computer Security in the 21st Century shares some of the emerging important research trends reflected in recent advances in computer security, including: security protocol design, secure peer-to-peer …

Introduction. Part I: Security Protocol Design. Challenges in Protocol Design and Analysis. Private Matching. Authentication Protocol Analysis. Self-certified Approach for Authenticated Key …

geschrieben von D. T. Lee (Herausgeber) und S. P. Shieh (Herausgeber) und J. D. Tygar (Herausgeber)

Richard Barbrook is the author of a number of highly influential essays on the clash between commerce and cooperation within the Net, including 'The Hi-Tech Gift Economy', 'Cyber-communism' and, with …

Countless books, films and TV shows have envisioned the future as a place where technology and artificial intelligence hold the key to human society. Tracing these visions back to the 1950s and 1960s, …

1: The Future Is What It Used To Be; 2: The American Century; 3: Cold War Computing; 4: The Human Machine; 5: Cybernetic Supremacy; 6: The Global Village; 7: The Cold War Left; 8: The Chosen Few; 9: …

geschrieben von Richard Barbrook (Autor)

Traditional database management systems, widely used today, are not well-suited for a class of emerging applications, such as computer network management, homeland security, sensor computing, and …

Preface.- Introduction.- Overview of Data Stream Processing.- DSMS Challenges.- Literature Review.- Modeling Continuous Queries over Data Streams.- Scheduling Strategies for CQs.- Load Shedding in …

geschrieben von Sharma Chakravarthy (Autor) und Qing Chun Jiang (Autor)

Hausarbeit aus dem Jahr 2004 im Fachbereich Informatik - Wirtschaftsinformatik, einseitig bedruckt, Note: 1,0, Georg-August-Universität Göttingen (Wirtschaftsinformatik), Veranstaltung: …

geschrieben von Martin Schädler (Autor)

This book constitutes the refereed proceedings of the 23rd Annual German Conference on Artificial Intelligence, KI-99, held in Bonn, Germany, in September 1999.The volume opens with six full invited …

geschrieben von Wolfram Burgard (Herausgeber) und Thomas Christaller (Herausgeber) und Armin B. Cremers (Herausgeber)