Abstract is missing.
- Static and Dynamic Semantics of Entity-Relationship Models Based on Algebraic MethodsIngo Claßen, Michael Löwe, Susanne Waßerroth, Jan Wortmann. 2-9
- Ablaufspezifikation durch Datenflußdiagramme und AxiomeFriederike Nickl. 10-18
- Graphical Support for Prototyping of Algebraic SpecificationsRoswitha Bardohl, Ingo Claßen. 19-26
- Formal Foundations for Pragmatic Software Engineering MethodsHeinrich Hußmann. 27-34
- Combining TROLL with the Object Modeling TechniqueRalf Jungclaus, Roel Wieringa, Peter Hartel, Gunter Saake, Thorsten Hartmann. 35-42
- Integration of Semiformal and Formal Methods for Specifying Knowledge-Based SystemsDieter Fensel, Susanne Neubert. 43-50
- Semantics of Disjunctive Programs: A Unifying ApproachTeodor C. Przymusinski. 52
- Non-Monotonic Reasoning Based on Minimal Models and its Efficient ImplementationDietmar Seipel. 53-60
- From Above and from Below: Approximating Stable ModelsJürgen Kalinski. 61-68
- Disjunctive Logic Programming over Finite StructuresThomas Eiter, Georg Gottlob, Heikki Mannila. 69-73
- Disjunctive Logic Programming: What Applications Developers NeedFrançois Bry. 74
- Proof Procedures for Disjunctive Logic ProgrammingDonald W. Loveland. 92
- TMPR for Disjunctive Logic Programming and Usefulness of Strong and Exclusion NegationTaïeb Mellouli. 93-100
- Auf dem Weg zur wissensbasierten Mensch-Computer-Mensch-KommunikationRul Gunzenhäuser, W. Dilly, Matthias Ressel. 102-109
- Benutzung von Kommunikationsdiensten mit Drag-and-Drop-TechnikenKonrad Froitzheim, Peter Schulthess. 110-117
- Adaptierbare Benutzungsschnittstellen für elektronische NetzdiensteHartmut Dieterich, Matthias Schneider-Hufschmidt, Niels Vejrup Carlsen. 118-125
- Interfaces for Handling Multimedia Communications SystemsMary Zajicek, X. G. Cao, David Shrimpton, A. G. Tagg. 126-133
- Aspects in User Interface Design for Mobile Multi-User ApplicationsHans-Werner Gellersen. 134-141
- Das virtuelle Büro als Benutzungsschnittstelle für kooperatives ArbeitenMarkus Sohlenkamp. 142-150
- Multicast for Multimedia: An IntroductionWolfgang Effelsberg. 152-156
- Synchronisation in einer verteilten Entwicklungs- und Laufzeitumgebung für multimediale AnwendungenThomas Käppner, Falk Henkel, Michael Müller, Andreas Schöer. 157-164
- Design and Implementation of a Global Reference Mechanism for Data ObjectsHerwart Pusch. 165-173
- Remote Camera Control in a Distributed Multimedia SystemMarcus Wieland, Ralf Steinmetz, Peter Sander. 174-181
- ATM-Netze -- die Infrastruktur für Multimediakommunikation?Ulrich Killat. 182-187
- Übertragung komprimierter isochroner DatenströmeC. Dünkel, T. Paradies. 188-195
- Ein Konzept zur Integration von Netzwerk-Filtern in virtuelle Multimedia-SystemeGabriel Dermler. 196-203
- Messungen für Videoverkehr als Basis für LastmodelleR. R. Thomys, L. Bräuer. 204-210
- Effiziente Modellierung von ODP-Traderfederationen mittels P:::2:::AMClaudia Popien, Bernd Meyer, F. Sassenscheidt. 211-218
- Vermittlung und Verwaltung von Diensten in offenen verteilten SystemenKai Müller-Jones, Michael Merz. 219-226
- Developing Cooperative Media-Integrated SoftwareOliver Frick, Max Mühlhäuser, Hans-Werner Gellersen. 227-234
- Kooperationsunterstützung für integrierte POI-/POS-SystemeR. Adomeit, Bernhard Holtkamp. 235-242
- Ethische Verantwortung bei der Gestaltung sicherer Informationssyteme - Der Beitrag ethischer LeitlinienBettina Lutterbeck. 244-248
- Positive Fehlerethik und Informatik - Widerspruch oder Herausforderung?Theo Wehner. 249-257
- Chipkarten in der MedizinAnja Hartmann. 258-266
- Grundrechtliche Risiken und Chancen durch ChipkartennutzungAlexander Roßnagel. 267-276
- Audiovisuelle Kommunikation als Basis für kooperatives ArbeitenJ. Bergmann, M. Geiger. 278-285
- Ein transparenter Ein-/Ausgabemechanismus für Parallelrechner in einem LAN mit Internet-ProtokollG.-J. Reefmann. 286-293
- Systemintegration bei Mobile Computing AnwendungenN. Diehl, Albert Held. 294-301
- Verfahren zur Performance-Erhöhung in Workstation-ClusternDjamshid Tavangarian, Gunther Hipper, M. Klein, Marianne Koch. 302-309
- Systematic Assessment of Computer Systems ArchitecturesGünter Böckle, Hermann Hellwagner. 310-317
- Data Engineering Tools zur Beschleunigung der ProjektabwicklungG. Schäfer, St. Leon-Rot. 318-326
- Missed Opportunities in Real Time Programming?Peter F. Elzer. 328-339
- Portability of Software Systems for Real Time ApplicationsHelmut Rzehak. 340-347
- Measuring the Impact of Real Time Design TechniquesChristof Ebert, Carlos Eduardo Pereira. 348-355
- Fail-Safe On-Board Communication for Automatic Train ProtectionBernhard Eschermann, Hubert D. Kirrmann. 356-363
- Simulation in Europe - State-of-the-ArtFelix Breitenecker. 374-381
- Simulation of Complex Dynamical Systems in Medicine and EnvironmentDietmar P. F. Möller. 382-389
- The Role of Artificial Intelligence Concepts in System Modelling and Simulation: An OverviewHelena Szczerbicka, Thomas Uthmann. 390-397
- Anforderungen an eine analoge Hardware-Beschreibungssprache auf Basis von VHDLMarianne Koch, Djamshid Tavangarian. 398-405
- Dynamische Simulation komplexer AbwasserreinigungsprozesseJ. Alex, R. Tschepetzki. 406-414
- Design Related Cost Accounting with a Modular System of Cooperating Backpropagation NetworksJ. Becker, M. Prischmann. 416-422
- Teamwork Coordination in a Distributed Software Development EnvironmentAndreas Oberweis, T. Wendel, Wolffried Stucky. 423-429
- Tool-Based Business Process Modeling Using the SOM ApproachOtto K. Ferstl, Elmar J. Sinz, Michael Amberg, Udo Hagemann, Carsten Malischewski. 430-436
- An Application of the Spiral Model to Reengineering and Long-term IS Integration into a Distributed SystemKarl Kurbel, Reinhard Jung. 437-443
- Negotiation Support for Distributed Resource Allocation in a Corporate EnvironmentF. Ohly, L. Suhl, E. Reinecke. 444-451
- Cooperative Allround Financial ConsultingT. Heissel, U. Meyer, Michael Müller-Wünsch, C. Schopf, Ansgar Woltering. 452-458
- Solving Logistical Problems with Partly Intelligent AgentsJürgen Falk, Stefan Spieck, Peter Mertens. 459-465
- Cost Management of Business ProcessesAugust-Wilhelm Scheer, C. Berkau, Petra Hirschmann. 466-472
- The GroupFlow System: A Scalable Approach to Workflow Management between Cooperation and AutomationLudwig Nastansky, Wolfgang Hilpert. 473-479
- ITP and INZPLA - A New Theory and a New Application System for Distributed Cooperative Budget-Planning and -ControlE. Zwickler, C. Rottenbacher. 480-486
- Zum Verhältnis von Kunst und Technologie - dargestellt am Beispiel der zeitgenössischen MusikBarbara Becker, Gerhard Eckel. 488-491
- Telemusik - Kunst im NetzM. Fuchs. 492-495
- Die Elektronische Kunst- und Wunderkammer als Erlebnis- und VermittlungsformAchim Lipp. 496-499
- 40 Years of Computer ArtOlaf Langmack. 504-507
- Technology Assessment im kulturellen Sektor: Die Medienkunst als strategischer PartnerRoland Alton-Scheidl. 512-516
- Karriere trotz anderer Lebensinteressen - Optionen innovativer Arbeitsgestaltung und Personalpolitik an InformatikerInnenarbeitsplätzenH. Hengstenberg. 518
- Die Trennung von akademischer und beruflicher Ausbildung im Bereich der InformatikJürgen Freytag. 519
- Beitrag zum Thema Informatik-StudiumJ. Prante. 520
- Information, Entropy and Environmental ProblemsLorenz M. Hilty. 522
- StoffstrommanagementAndreas Möller. 523
- Substitution? Informationstechnik und VerkehrK. Jaeger. 524
- Konsolidierung des Berufsfeldes der ComputerberufeWerner Dostal. 526-527
- Gedanken zur Entwicklung der InformatikKlaus Fuchs-Kittowski. 529-530
- Ist zuverlässige Software eine Utopie?Martin Wirsing. 531
- Informatik in der Praxis - eine andere Welt?Brigitte Bartsch-Spörl. 532