29. GI Jahrestagung 1999: Paderborn

Kurt Beiersdörfer, Gregor Engels, Wilhelm Schäfer (Hrsg.): Informatik '99 - Informatik überwindet Grenzen, 29. Jahrestagung der Gesellschaft für Informatik, Paderborn, 5.-9. Oktober 1999. Springer, 1999, Informatik Aktuell, ISBN 3-540-66450-5

Hauptvorträge

Klaus Eierhoff: Electronic Commerce - Herausforderung auf dem Weg ins 21. Jahrhundert (Zusammenfassung). 3
Hermann A. Maurer: WWW Needs More Interaction. 4-10
William Aspray: Computing Leadership in Retrospect (abstract). 11
Roland Vollmar: Grenzüberschreitende Informatik? (Zusammenfassung). 12
Ernst Koller: Der e-Faktor: Von e-business zur e-society (Zusammenfassung). 13
Jürgen Frischmuth: Electronic Commerce - Treiber der Veränderungen in der Arbeitswelt (Zusammenfassung). 14
Ueli M. Maurer: Kryptographie: Basistechnologie der Informationsgesellschaft (Zusammenfassung). 15

Schwerpunktthemen

Informatik im Sport

Heinz Liesen, Andreas Koller: Wissensmanagement in präventivmedizinischen Fragestellungen. 21
Jürgen Perl: Metamodellbildung und interaktive online-Simulation für Verhaltensprozesse im Sport. 22-23
Josef Wiemeyer: Möglichkeiten und Grenzen informatischer Modellbildungsparadigmen im Sport. 24

Groupware und Knowledge Management

Willi Cremers: Die Bedeutung von Groupware-Lösungen für verteilte Arbeitsgruppen - Erste ERfahrungen in industriellen Umgebungen. 25-26
Ludwig Nastansky: Architecture, Concepts, and Solutions with a Groupware-Based Knowledge Management System - Experiences and Best Practices of the Espresso KM-Model. 27-28

Technische Beiträge

Kooperation

Svenja Hagenhoff, Matthias Schumann: Einsatz multimedialer internetbasierter Informations- und Kommunikationssysteme in der universitären Ausbildung am Beispiel der virtuellen Lernwelt WINFO-Line. 31-39
H. Holzheuer, L. Werner, E. Griese, S. Labuhn, T. Burgey: Global Engineering Networking für mikroelektronische Anwendungen. 40-49
M. Tuan Tu, C. Langmann, Frank Griffel, Winfried Lamersdorf: Dynamische Generierung von Protokollen zur Steuerung automatisierter Verhandlungen. 50-59

Internetbasierte Lehre

Paul-Thomas Kandzia: VIROR - Die virtuelle Hochschule Oberrhein. 60-69
Rainer Brück, Andreas Priebe, C. Schneider: TRANSTEC - Internet-basiertes multimediales Lernsystem für innovative Hochtechnologien. 70-79
Katrin Franze, Olaf Neumann, Alexander Schill: Flexible Werkzeugunterstützung für Teleteaching/Telelearning. 80-87

Alternative Benutzungsschnittstellen

Marc Erich Latoschik, Bernhard Jung, Ipke Wachsmuth: Multimodale Interaktion mit einem System zur Virtuellen Konstruktion. 88-97
Roger Butenuth: Computer ohne Monitor - Grenze der Benutzbarkeit? Braille- und Sprachausgabe für Linux. 98-107

Kryptographie

Dirk Fox: Aufbau unternehmensweiter Public Key-Infrastrukturen. 108-118
Michael Herfert: Crosszertifizierung nach Wechsel des Sicherheitsankers einer Public-Key-Infrastruktur. 119-133

Junge Informatik

DFG Sonderforschungsbereiche (SFB), Schwerpunktprogramme (SPP), Graduiertenkollegs (GK)

Friedemann Mattern, Friedhelm Meyer auf der Heide: Vorwort: Junge Informatik. 137
Matthias Müller-Hannemann: Kombinatorische Algorithmen zur Netzgenerierung im CAD. 138-145
Oliver Bringmann, Wolfgang Rosenstiel: Hierarchische Synthese für die Emulation von integrierten Steuerungssystemen. 146-153
Christoph Grimm: System-Level Synthese gemischt analog/digitaler Schaltungen. 154-163
Sven Havemann: Effizienter Austausch von 3D Dokumenten auf Basis von Generativer Modellierung. 164-172
Niels Grabe: Molekulare Bioinformatik - Informationsfusion zur Genregulation. 173-180
Jochen Klose: Erweiterte Message Sequence Charts für die Verifikation von Statemate-Entwürfen. 181-189
Uwe Jendricke, Alf Zugenmaier: Architekturen für mehrseitige sichere Telekommunikationsnetze. 190-198
Petra Mutzel, René Weiskircher: Optimieren über alle kombinatorischen Einbettungen eines planaren Graphen. 199-206
Felix C. Gärtner, Marc Theisen: Transformationen zur parallelisierten und fehlertoleranten Informationsverarbeitung. 207-214
Hagen Woesner: Neue Architekturen für ein optisches Internet. 215-222
Robert Preis: Analytical Methods for Multilevel Graph-Partitioning. 223-230
Steffen Lipperts: Mobile Agenten zur Unterstützung kooperierender Managementprozesse. 231-238
Sergej Sawitzki: Gestaltung und Simulation hardware-rekonfigurierbarer Rechnersysteme. 239-246
Björn Grohmann, Martin Rötteler: Von N² nach log²N - Zur algebraischen Berechnungskomplexität allgemeiner Fouriertransformationen. 247-256
Till Nierhoff: Probabilistische Analyse am Beispiel des k-Zentrumsproblems. 257-264
Ulf Leser: Globale Anfragebearbeitung mit verteilten und heterogenen Datenquellen. 265-272
Martin Rößiger: Modal Logic for Coalgebras. 273-280
Heiner Fuhrmann: Infrastruktur für den elektronischen Markt - Vertrauen durch Recht. 281-288
Jan Philipps: Entwurf verteilter Systeme im Sonderforschungsbereich 342. 289-298
Matthias Westermann: Caching in Networks. 297-304
Klaus Weidenhaupt, Bernard Bayer: Prozeßintegrierte Designwerkzeuge für die Verfahrenstechnik. 305-313
Stefan Vorwieger: Systematische Integration von Prozeß- und Produktmanagement. 314-321
Stephan Lehmke: Konstruktion von Fuzzy-Interferenzmechanismen aus Inferenzbausteinen unter Anwendung von Methoden der Schaltwerktheorie. 322-329

Workshops

Joachim Fischer, Gerhard Knolmayer: 5. Workshop des GI-Arbeitskreises 5.2.1.2: Zeitorientierte betriebliche Informationssysteme (ZoBIS) - Temporale Aufgaben in Informations- und Kommunikationssystemen (Zusammenfassung). 333
Ernst W. Mayr, Friedhelm Meyer auf der Heide, Rolf Wanka: International Workshop on Communication and Data Management in Large Networks. 334
Nazir Peroz: Workshop ``Die Außenseiter der globalen Informationsgesellschaft''. 335-336
Hans-Jürgen Appelrath, Uwe Marquardt, Heinrich C. Mayr: Workshop "Unternehmen Hochschule". 337
Ulf Hashagen, Reinhard Keil-Slawik: Workshop ``Geschichte des Computers in Museum und Universität''. 338-339
Klaus Lenk: Workshop ``Telekooperative Verwaltung''. 340-341
Herbert Fiedler, Roland Traunmüller: Workshop ``Rechtssicherheit im Internet''. 342-343
Ludger Humbert, Sigrid E. Schubert: Workshop "Gesamtkonzept der informatischen Bildung". 344-346

Arbeitstagung Programmiersprachen `99

Wolfgang Goerigk, Arnd Poetzsch-Heffter: Arbeitstagung Programmiersprachen - Vorwort. 349
Manfred Widera, Christoph Beierle: Combining Strict and Soft Typing in Functional Programming. 350-359
Markus Mohnen: Fixed Points in Metrified Quasi Ordered Sets: Modelling Escaping in Functional Programs. 360-369
Sabine Glesner: Natural Semantics for Imperative and Object-Oriented Programming Languages. 370-379
Wolfgang Gellerich, Erhard Plödereder: The Evolution of GOTO Usage and its Effects on Software Quality. 380-389
Wolfgang Lux, Herbert Kuchen: An Efficient Abstract Machine for Curry. 390-399
Stefan Bünnig, Peter Forbrig, Ralf Lämmel, Normen Seemann: A Programming Language for Design Patterns. 400-409
Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn Schneider, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm: Run-Time Guarantees for Real-Time Systems - The USES Approach. 410-419