Informatik (15 757 Artikel)

This volume contains the papers presented at ADT 2009, the first International Conference on Algorithmic Decision Theory. The conference was held in San Servolo, a small island of the Venice lagoon...

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Information Hiding, IH 2009, held in Darmstadt, Germany, in June 2009. The 19 revised f...

First International ICST Conference, MobiSec 2009, Turin, Italy, June 3-5, 2009, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Digital Watermarking, IWDW 2008, held in Busan, Korea, in November 2008. The 36 regula...

14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009, Proceedings

Computational Fluid Dynamics for Sport Simulation

Computer-based systems have become omnipresent commodities within our - vironment. While for a large variety of these systems such as transportation systems, nuclear or chemical plants, or medical ...

12th International Conference, ISC 2009 Pisa, Italy, September 7-9, 2009 Proceedings

This volume contains the papers presented at the 14th SDL Forum, Bochum, Germany entitled Design for Motes and Mobiles. The SDL Forum has been held every two years for the last three decades and is...

This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 p...

Advances, Challenges, and Critical Issues

The term "soft computing" applies to variants of and combinations under the four broad categories of evolutionary computing, neural networks, fuzzy logic, and Bayesian statistics. Although each one...

The 32nd Annual German Conference on Arti?cial Intelligence, KI 2009 (KI being the German acronym for AI), was held at the University of Paderborn, Germany on September 15-18, 2009, continuing a se...

The book constitutes the joint refereed proceedings of the 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and the 6th International Conference on Application...

This book constitutes the refereed proceedings of the Third International Conference on Provable Security, ProvSec 2009, held in Guangzhou, China, November 11-13, 2009. The 19 revised full papers a...