Informatik (14.430 Artikel)

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2007, held at Dagstuhl Castle...

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2011, held in Saarbrücken, Ger...

This book provides the state-of-the-art development on security and privacy for fog/edge computing, together with their system architectural support and applications. This book is organized into fi...

This book provides the state-of-the-art development on security and privacy for fog/edge computing, together with their system architectural support and applications. This book is organized into fi...

Computers have changed typography and prepress as well as printing. Typefaces are manufactured by "digital punch cutters" with a PC, not any more by punch cutters. Typefaces are constructed an outp...

Foraging-Inspired Optimisation Algorithms

Foraging-Inspired Optimisation Algorithms

This book introduces the reader to a new method of data assimilation with deterministic constraints (exact satisfaction of dynamic constraints)--an optimal assimilation strategy called Forecast Sen...

This book introduces the reader to a new method of data assimilation with deterministic constraints (exact satisfaction of dynamic constraints)--an optimal assimilation strategy called Forecast Sen...

A New Methodology to Model Form-Based Applications

Case Studies in Modern Protocols

The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE ...

The idea of a FAABS workshop was first conceived in 1998 at the NASA Goddard Space Flight Center, while the Agent Technology Development Group in the Advanced Architectures and Automation Branch (C...

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2000, held in Greenbelt, MD, USA, in April 2000...

Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the...