ISBN: 3-540-66450-5
TITLE: Informatik '99
AUTHOR: Beiersdrfer, Kurt; Engels, Gregor; Schfer, Wilhelm (Hrsg.)
TOC:

Hauptvortrge
Electronic Commerce  Herausforderung auf dem Weg ins 21. Jahrhundert 3
K. Eierhoff
WWW Needs More Interaction 4
H. Maurer
Computing Leadership in Retrospect 11
W. Aspray
Grenzberschreitende Informatik? 12
R. Vollmar
Der e-Faktor: Von e-business zur e-society 13
E. Koller
Electronic Commerce  Treiber der Vernderungen in der Arbeitswelt 14
J. Frischmuth
Kryptographie: Basistechnologie der Informationsgesellschaft 15
U. Maurer
Schwerpunktthemen
Informatik im Sport
Wissensmanagement in prventivmedizinischen Fragestellungen 21
H. Liesen, A. Koller
Metamodellbildung und interaktive online-Simulation fr Verhaltenprozesse im Sport 22
J. Perl
Mglichkeiten und Grenzen informatischer Modellbildungsparadigmen im Sport 24
J. Wiemeyer
Groupware und Knowledge Management
Die Bedeutung von Groupware-Lsungen fr verteilte Arbeitsgruppen  Erste Erfahrungen in industriellen Umgebungen 25
W. Cremers
Architecture, Concepts, and Solutions with a Groupware-Based Knowledge Management System  Experiences and Best Practices of the Espresso KM-Model 27
L. Nastansky
Technische Beitrge
Kooperation
Einsatz multimedialer intemetbasierter Informations- und Kommunikationssysteme in der universitren Ausbildung am Beispiel der virtuellen Lernwelt WINFO-Line 31
S. Hagenhoff, M. Schumann
Global Engineering Networking fr mikroelektronische Anwendungen 40
H. Holzheuer, L. Werner, E. Griese, S. Labuhn, T. Burgey
Dynamische Generierung von Protokollen zur Steuerung automatisierter Verhandlungen 50
M. T. Tu, C. Langmann, F. Griffel, W. Lamersdorf
Internetbasierte Lehre
VIROR  Die virtuelle Hochschule Oberrhein 60
P.-Th. Kandzia
TRANSTEC Internet-basiertes multimediales Lernsystem fr innovative Hochtechnologien 70
R. Brck, A. Priebe, C. Schneider
Flexible Werkzeuguntersttzung fr Teleteaching/Telelearning 80
K. Franze, O. Neumann, A. Schill
Alternative Benutzungsschnittstellen Multimodale Interaktion mit einem System zur Virtuellen
Konstruktion 88
M.E. Latoschik, B. Jung, I. Wachsmuth
Computer ohne Monitor  Grenze der Benutzbarkeit? Braille- und Sprachausgabe fr Linux 98
R. Butenuth
Kryptographie
Aufbau unternehmensweiter Public Key-infrastrukturen 108
D. Fox
Crosszertifizierung nach Wechsel des Sicherheitsankers einer Public-Key-Infrastruktur 119
M. Herfert
Junge Informatik
DFG Sonderforschungsbereiche (SFB), Schwerpunktprogramme (SPP), Graduiertenkollegs (GK)
Vorwort Junge Informatik 137
F. Mattern, F. Meyer auf der Heide
Kombinatorische Algorithmen zur Netzgenerierung im CAD 138
M. Mller-Hannemann
Hierarchische Synthese fr die Emulation von integrierten Steuerungssystemen 146
O. Bringmann, W. Rosenstiel
System-Level Synthese gemischt analog/digitaler Schaltungen 151
C. Grimm
Effizienter Austausch von 3D Dokumenten auf Basis von Generativer Modellierung 164
S. Havemann
Molekulare Bioinformatik  Informationsfusion zur Genregulation 173
N. Grabe
Erweiterte Message Sequence Charts fr die Verifikation von Statemate-Entwrfen 181
J. Klose
Architekturen fr mehrseitige sichere Telekommunikationsnetze 190
U. Jendricke, A. Zugenmaier
Optimieren ber alle kombinatorischen Einbettungen eines planaren Graphen 199
P. Mutzel, R. Weiskircher
Transformationen zur parallelisierten und fehlertoleranten Informationsverarbeitung 207
F. C. Grtner, M. Theisen
Neue Architekturen fr ein optisches Internet 215
H. Woesner
Analytical Methods for Multilevel Graph-Partitioning 223
R. Preis
Mobile Agenten zur Untersttzung kooperierender Managementprozesse 231
S. Lipperts
Gestaltung und Simulation hardware-rekonfigurierbarer Rechnersysteme 239
S. Sawitzki
Von N^2 nach log^2 N
Zur algebraischen Berechnungskomplexitt allgemeiner Fouriertransformationen 247
B. Grohmann, Martin Rtteler
Probabilistische Analyse am Beispiel des k-Zentrumsproblems 257
T. Nierhoff
Globale Anfragebearbeitung mit verteilten und heterogenen Datenquellen 265
U. Leser
Modal Logic for Coalgebras 273
M. Riger
Infrastruktur fr den elektronischen Markt  Vertrauen durch Recht 281
H. Fuhrmann
Entwurf verteilter Systeme im Sonderforschungsbereich 342 289
J. Philipps
Caching in Networks 297
M. Westermann
Prozeintegrierte Designwerkzeuge fr die Verfahrenstechnik 305
K. Weidenhaupt, B. Bayer
Systematische Integration von Proze- und Produktmanagement 314
S. Vorwieger
Konstruktion von Fuzzy-Inferenzmechanismen aus Inferenzbausteinen unter Anwendung von Methoden der Schaltwerktheorie 322
S. Lehmke
Workshops
5. Workshop des GI-Arbeitskreises 5.2.1.2: Zeitorientierte betriebliche Informationssysteme (ZoBIS) Temporale Aufgaben in Informations- und Kommunikationssystemen 333
J. Fischer, G. Knolmayer
International Workshop on Communication and Data Management in Large Networks 334
E. W. Mayr, F. Meyer auf der Heide, R. Wanka
Workshop ,,Die Auenseiter der globalen Informationsgesellschaft" 335
N. Peroz
Workshop ,,Unternehmen Hochschule" 337
H.J. Appelrath, U. Marquardt, H. C. Mayr 
Workshop ,,Geschichte des Computers in Museum und Universitt" 338
U. Hashagen, R. Keil-Slawik
Workshop ,,Telekooperative Verwaltung" 340
K. Lenk
Workshop ,,Rechtssicherheit im Internet" 342
H. Fiedler, R. Traunmller
Workshop ,,Gesamtkonzept der informatischen Bildung" 344
L. Humbert, S. Schubert
Arbeitstagung Programmiersprachen'99
Vorwort 349
W. Goerigk, A. Poetzsch-Heffter
Combining Strict and Soft Typing in Functional Programming 350
M. Widera, Ch. Beierle
Fixed Points in Metrified Quasi Ordered Sets: Modelling Escaping in Functional Programs 360
M. Mohnen
Natural Semantics for Imperative and Object-Oriented Programming Languages 370
S. Glesner
The Evolution of GOTO Usage and its Effects on Software Quality 380
W. Gellerich, E. Ploedereder
An Efficient Abstract Machine for Curry 390
W. Lux, H. Kuchen
A Programming Language for Design Patterns 400
S. Bnnig, P. Forbrig, R. Lmmel, N. Seemann
Run-Time Guarantees for Real-Time Systems  The USES Approach 410
Ch. Ferdinand, D. Kstner, M. Langenbach, F. Martin, M. Schmidt, J. Schneider, H. Theiling, St. Thesing, R. Wilhelm
Autorenverzeichnis 421
END
