Authors:Irene Eusgeld, Felix Freiling, Ralf Reussner,
Publisher: Springer
Keywords: dagstuhl, lecture, lectures, notes, software, engineering, advanced, programming, october, research, metrics, seminar, castle, dependability, germany, november
Number of Pages: 305
Published: 2008-07-07
List price: $69.95
ISBN-10: 354068946X
ISBN-13: 9783540689461

With the growing ubiquity of computing systems, it is essential that we can rely on the services they deliver. Justifying reliance in computer systems requires scientific techniques to derive evidence from given systems or predict such evidence. This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability of systems: reliability, security and performance. The main impulse for this dependability metrics project resulted from a research seminar, held at Schloss Dagstuhl, Germany, in October/November 2005. The 25 chapters, based on the

Authors:Frank Geraets, Leo Kroon, Anita Schoebel, Dorothea
Publisher: Springer
Keywords: dagstuhl, railway, optimization, computer, science, issues, general, june, workshop, methods, international, algorithmic, castle, germany
Number of Pages: 321
Published: 2007-12-20
List price: $69.95
ISBN-10: 354074245X
ISBN-13: 9783540742456

This state-of-the-art survey constitutes papers that were selected after an open call that followed the International Dagstuhl-Seminar on Algorithmic Methods for Railway Optimization, held in Dagstuhl Castle, Germany, in June 2004. The second part of the volume constitutes the refereed proceedings of the 4th International Workshop on Algorithmic Methods and Models for Optimization of Railways, ATMOS 2004, held in Bergen, Norway, in September 2004 in the context of the combined conference ALGO 2004. The volume covers algorithmic methods for analyzing and solving problems arising in railway opti

Authors:S. Hahmann, G. Brunnett, Gerald Farin, R. Goldman,
Publisher: Springer
Keywords: dagstuhl, modelling, geometric
Number of Pages: 246
Published: 2004-07-20
List price: $119.00
ISBN-10: 3211208186
ISBN-13: 9783211208182

In 19 articles presented by leading experts in the field of geometric modelling the state-of-the-art on representing, modeling, and analyzing curves, surfaces as well as other 3-dimensional geometry is given. The range of applications include CAD/CAM-systems, computer graphics, scientific visualization, virtual reality, simulation and medical imaging. The content of this book is based on selected lectures given at a workshop held at IBFI Schloss Dagstuhl, Germany. Topics treated are: û curve and surface modelling û non-manifold modelling in CAD û multiresolution analysis of complex geometri

Author: Gerald E. Farin
Publisher: Springer
Keywords: computing, supplementum, supplementa, dagstuhl, modelling, geometric
Number of Pages: 359
Published: 2001-07-27
List price: $169.00
ISBN-10: 3211836039
ISBN-13: 9783211836033

Geometric Modelling is concerned with the computer aided design, manipulation, storage and transmission of geometric shape. It provides fundamental techniques to different areas of application as CAD/CAM, computer graphics, scientific visualization, and virtual Reality. 20 papers presented by leading experts give a state-of-the-art survey of the following topics: surface design and fairing; multiresolution models; reverse engineering; solid modelling; constrained based modelling.

Authors:Christian Lengauer, Don Batory, Charles Consel, Ma
Publisher: Springer
Keywords: papers, revised, march, lecture, notes, science, computer, germany, castle, program, specific, generation, international, dagstuhl, seminar, domain
Number of Pages: 325
Published: 2004-08-05
List price: $84.95
ISBN-10: 3540221190
ISBN-13: 9783540221197

Program generation holds the promise of helping to bridge the gap between application-level problem solutions and efficient implementations at the level of today’s source programs as written in C or Java. Thus, program generation can substantially contribute to reducing production cost and time-to-market in future software production, while improving the quality and stability of the product. This book is about domain-specific program generation; it is the outcome of a Dagstuhl seminar on the topic held in March 2003. After an introductory preface by the volume editors, the 18 carefully r

Authors:Stefan Leue, Tarja J. Systä,
Publisher: Springer
Keywords: papers, selected, revised, lecture, programming, engineering, software, september, germany, tools, transformations, models, international, workshop, castle, dagstuhl, scenarios
Number of Pages: 279
Published: 2005-08-11
List price: $63.00
ISBN-10: 3540261893
ISBN-13: 9783540261896

This volume is a post-event proceedings volume and contains selected papers based on presentations given during a seminar, held in Dagstuhl Castle, Germany in September 2003. It was organized as a continuation of a series of workshops that have been co-located with larger conferences such as the International Conference on Software Engineering (ICSE) and the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) since 2000. The 14 included papers were thoroughly peer-reviewed in two rounds of reviewing and are organized in topical sections on semantics for sc

Authors:Mark Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehric
Publisher: Springer
Keywords: papers, invited, revised, lecture, notes, science, computer, february, germany, features, agents, international, seminar, castle, dagstuhl, objects
Number of Pages: 227
Published: 2004-07-27
List price: $58.00
ISBN-10: 3540219897
ISBN-13: 9783540219897

This book is the outcome of an international research seminar on objects, agents, and features held at Dagstuhl Castle, Germany in February 2003. In recent years, concepts in object-oriented modeling and programming have been extended in variuos directions, giving rise to new paradigms such as agent-orientation and feature orientation. This book explores the relationship between the original paradigm and the two new ones. The 12 revised full papers presented together with an introductery overview by the volume editors were carefully reviewed and improved for publication. Among the topics addre