Hagenberg research

Bruno Buchberger (auth.), Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger (eds.)9783642021268, 3642021263, 9783642021275

This book is a synopsis of the basic and applied research carried out at the various research institutions of Softwarepark Hagenberg in Austria.

Started in 1987, following a decision of the government of Upper Austria to create a scientific, technological, and economic impulse for the region and for the international community, Softwarepark Hagenberg has grown in size to over 1000 R&D employees and 1300 students in six research institutions, 40 companies and 20 academic study programs at the bachelor’s, master’s and PhD levels.

The overall goal of Softwarepark Hagenberg is economic stimulation through innovative software technologies. The contributions in this book provide an overview of current research in the field of software science and related areas pursued at the six research institutions of Softwarepark Hagenberg. The subjects addressed range from computational logic and mathematics to software science and applied technologies. The message of this book is that economic and scientific innovation can only be achieved by emphasizing basic and applied research.

Table of contents :
Front Matter….Pages i-viii
Hagenberg Research: Introduction….Pages 1-4
Algorithms in Symbolic Computation….Pages 5-62
Automated Reasoning….Pages 63-101
Metaheuristic Optimization….Pages 103-155
Software Engineering – Processes and Tools….Pages 157-235
Data-Driven and Knowledge-Based Modeling….Pages 237-279
Information and Semantics in Databases and on the Web….Pages 281-331
Parallel, Distributed, and Grid Computing….Pages 333-378
Pervasive Computing….Pages 379-431
Interactive Displays and Next-Generation Interfaces….Pages 433-472
Back Matter….Pages 473-488