Informatik'99 -

. .

Résumé :
Hauptvortr?ge.- Electronic Commerce - Herausforderung auf dem Weg ins 21. Jahrhundert.- WWW Needs More Interaction.- Computing Leadership in Retrospect.- Grenz?berschreitende Informatik?.- Der e-Faktor: Von e-business zur e-society.- E-Commerce - Treiber der Ver?nderungen in der Arbeitswelt.- Kryptographie: Basistechnologie der Informationsgesellschaft.- Schwerpunktthemen.- Wissensmanagement in pr?ventivmedizinischen Fragestellungen.- Metamodellbildung und interative online-Simulation f?r Verhaltensprozesse im Sport.- M?glichkeiten und Grenzen informatischer Modellbildungsparadigmen im Sport.- Die Bedeutung von Groupware-L?sungen f?r verteilte Arbeitsgruppen - Erste Erfahrungen in industriellen Umgebungen.- Architecture, Concepts, and Solutions with a Groupware-Based Knowledge Management System - Experiences and Best Practices of the Espresso KM-model.- Technische Beitr?ge.- Einsatz multimedialer internetbasierter Informations- und Kommunikationssysteme in der universit?ren Ausbildung am Beispiel der virtuellen Lernwelt WINFO-Line.- Global Engineering Networking f?r mikroelektronische Anwendungen.- Dynamische Generierung von Protokollen zur Steuerung automatisierter Verhandlungen.- VIROR - Die virtuelle Hochschule Oberrhein.- TRANSTEC.- Flexible Werkzeugunterst?tzung f?r Teleteaching/Telelearning.- Multimodale Interaktion mit einem System zur Virtuellen Konstruktion.- Computer ohne Monitor - Grenze der Benutzbarkeit? Braille- und Sprachausgabe f?r Linux.- Aufbau unternehmensweiter Public Key-Infrastrukturen.- Crosszertifizierung nach Wechsel des Sicherheitsankers einer Public-Key Infrastruktur.- Junge Informatik.- Kombinatorische Algorithmen zur Netzgenerierung im CAD.- Hierarchische Synthese f?r die Emulation von integriertenSteuerungssystemen.- System-Level Synthese gemischt analog/digitaler Schaltungen.- Effizienter Austausch von 3D Dokumenten auf Basis von Generativer Modellierung.- Molekulare Bioinformatik - Informationsfusion zur Genregulation.- Erweiterte Message Sequence Charts f?r die Verifikation von Statemate-Entw?rfen.- Architekturen f?r mehrseitige sichere Telekommunikationsnetze.- Optimieren ?ber alle kombinatorischen Einbettungen eines planaren Graphen.- Transformationen zur parallelisierten und fehlertoleranten Informationsverarbeitung.- Neue Architekturen f?r ein optisches Internet.- Analytical Methods for Multilevel Graph-Partitioning.- Mobile Agenten zur Unterst?tzung kooperierender Managementprozesse - Eine Arbeit im Rahmen des Graduiertenkollegs Informatik und Technik.- Gestaltung und Simulation hardware-rekonfigurierbarer Rechnersysteme.- Von N 2 nach log2 N.- Probabilistische Analyse am Beispiel des k-Zentrumsproblems.- Globale Anfragebearbeitung mit verteilten und heterogenen Datenquellen.- Modal Logic for Coalgebras.- Infrastruktur f?r den elektronischen Markt - Vertrauen durch Recht.- Entwurf verteilter Systeme im Sonderforschungsbereich 342.- Caching in Networks.- Proze?integrierte Designwerkzeuge f?r die Verfahrenstechnik.- Systematische Integration von Proze?- und Produktmanagement.- Konstruktion von Fuzzy-Inferenzmechanismen aus Inferenzbausteinen unter Anwendung von Methoden der Schaltwerktheorie.- Workshops.- 5. Workshop des GI-Arbeitskreises 5.2.1.2.: Zeitorientierte betriebliche Informationssysteme (ZoBIS) Temporale Aufgaben in Informations- und Kommunikationssystemen.- International Workshop on Communication and Data Management in Large Networks.- Workshop Die Au?enseiter der globalen Informationsgesellschaft.- UnternehmenHochschule.- Workshop Geschichte des Computers in Museum und Universit?t.- Workshop Telekooperative Verwaltung.- Workshop Rechtssicherheit im Internet.- Gesamtkonzept der informatischen Bildung.- Arbeitstagung Programmiersprachen '99.- Combining Strict and Soft Typing in Functio...