Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar24. GI Jahrestagung 1994: Hamburg, Germany
Bernd E. Wolfinger:
Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung für die Informatik, 24. GI-Jahrestagung im Rahmen des 13th World Computer Congress, IFIP Congress '94, Hamburg, 28. August - 2. September 1994. Informatik Aktuell, Springer 1994, ISBN 3-540-58313-0
GI-Fachgespräch FG 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software-Systemen
Ingo Claßen, Michael Löwe, Susanne Waßerroth, Jan Wortmann:
Static and Dynamic Semantics of Entity-Relationship Models Based on Algebraic Methods. 2-9Friederike Nickl:
Ablaufspezifikation durch Datenflußdiagramme und Axiome. 10-18Roswitha Bardohl, Ingo Claßen:
Graphical Support for Prototyping of Algebraic Specifications. 19-26Heinrich Hußmann:
Formal Foundations for Pragmatic Software Engineering Methods. 27-34Ralf Jungclaus, Roel J. Wieringa, Peter Hartel, Gunter Saake, Thorsten Hartmann:
Combining TROLL with the Object Modeling Technique. 35-42Dieter Fensel, Susanne Neubert:
Integration of Semiformal and Formal Methods for Specifying Knowledge-Based Systems. 43-50
GI-Fachgespräch FG 2: Disjunktive logische Programmierung und disjunktive Datenbanken
Teodor C. Przymusinski:
Semantics of Disjunctive Programs: A Unifying Approach. 52Dietmar Seipel:
Non-Monotonic Reasoning Based on Minimal Models and its Efficient Implementation. 53-60Jürgen Kalinski:
From Above and from Below: Approximating Stable Models. 61-68Thomas Eiter, Georg Gottlob, Heikki Mannila:
Disjunctive Logic Programming over Finite Structures. 69-73François Bry:
Disjunctive Logic Programming: What Applications Developers Need. 74Stefan Brass:
Improved Bottom-Up Query Evaluation in Positive Disjunctive Databases. 75-82Stefan Brass, Jürgen Dix:
A Disjunctive Semantics Bases on Unfolding and Bottom-Up Evaluation. 83-91Donald W. Loveland:
Proof Procedures for Disjunctive Logic Programming. 92Taïeb Mellouli:
TMPR for Disjunctive Logic Programming and Usefulness of Strong and Exclusion Negation. 93-100
GI-Fachgespräch FG 3: Benutzungsschnittstellen für kommunizierende Systeme
Rul Gunzenhäuser, W. Dilly, Matthias Ressel:
Auf dem Weg zur wissensbasierten Mensch-Computer-Mensch-Kommunikation. 102-109Konrad Froitzheim, Peter Schulthess:
Benutzung von Kommunikationsdiensten mit Drag-and-Drop-Techniken. 110-117Hartmut Dieterich, Matthias Schneider-Hufschmidt, Niels Vejrup Carlsen:
Adaptierbare Benutzungsschnittstellen für elektronische Netzdienste. 118-125Mary Zajicek, X. G. Cao, David Shrimpton, A. G. Tagg:
Interfaces for Handling Multimedia Communications Systems. 126-133Hans-Werner Gellersen:
Aspects in User Interface Design for Mobile Multi-User Applications. 134-141Markus Sohlenkamp:
Das virtuelle Büro als Benutzungsschnittstelle für kooperatives Arbeiten. 142-150
GI-Fachgespräch FG 4: Systemtechnische Unterstützung verteilter Multimedia-Anwendungen
Wolfgang Effelsberg:
Multicast for Multimedia: An Introduction. 152-156Thomas Käppner, Falk Henkel, Michael Müller, Andreas Schröer:
Synchronisation in einer verteilten Entwicklungs- und Laufzeitumgebung für multimediale Anwendungen. 157-164Herwart Pusch:
Design and Implementation of a Global Reference Mechanism for Data Objects. 165-173Marcus Wieland, Ralf Steinmetz, Peter Sander:
Remote Camera Control in a Distributed Multimedia System. 174-181Ulrich Killat:
ATM-Netze - die Infrastruktur für Multimediakommunikation? 182-187C. Dünkel, T. Paradies:
Übertragung komprimierter isochroner Datenströme. 188-195Gabriel Dermler:
Ein Konzept zur Integration von Netzwerk-Filtern in virtuelle Multimedia-Systeme. 196-203Robert R. Thomys, Leif Bräuer:
Messungen für Videoverkehr als Basis für Lastmodelle. 204-210Claudia Popien, Bernd Meyer, F. Sassenscheidt:
Effiziente Modellierung von ODP-Traderfederationen mittels P2AM. 211-218Kai Müller-Jones, Michael Merz:
Vermittlung und Verwaltung von Diensten in offenen verteilten Systemen. 219-226Oliver Frick, Max Mühlhäuser, Hans-Werner Gellersen:
Developing Cooperative Media-Integrated Software. 227-234R. Adomeit, Bernhard Holtkamp:
Kooperationsunterstützung für integrierte POI-/POS-Systeme. 235-242
GI-Fachgespräch FG 5: IT-Sicherheit: Technik im Spannungsfeld von Ethik und Recht
Bettina Lutterbeck:
Ethische Verantwortung bei der Gestaltung sicherer Informationssyteme - Der Beitrag ethischer Leitlinien. 244-248Theo Wehner:
Positive Fehlerethik und Informatik - Widerspruch oder Herausforderung? 249-257Anja Hartmann:
Chipkarten in der Medizin. 258-266Alexander Roßnagel:
Grundrechtliche Risiken und Chancen durch Chipkartennutzung. 267-276
GI-Fachgespräch FG 6: Workstations: Architekturen, Anwendungen und Entwicklungstrends
J. Bergmann, M. Geiger:
Audiovisuelle Kommunikation als Basis für kooperatives Arbeiten. 278-285Gerd-Joachim Reefmann:
Ein transparenter Ein-/Ausgabemechanismus für Parallelrechner in einem LAN mit Internet-Protokoll. 286-293Norbert Diehl, Albert Held:
Systemintegration bei Mobile Computing Anwendungen. 294-301Djamshid Tavangarian, Gunther Hipper, M. Klein, Marianne Koch:
Verfahren zur Performance-Erhöhung in Workstation-Clustern. 302-309Günter Böckle, Hermann Hellwagner:
Systematic Assessment of Computer Systems Architectures. 310-317G. Schäfer, St. Leon-Rot:
Data Engineering Tools zur Beschleunigung der Projektabwicklung. 318-326
GI-Fachgespräch FG 7: Realzeitsysteme
Peter F. Elzer:
Missed Opportunities in Real Time Programming? 328-339Helmut Rzehak:
Portability of Software Systems for Real Time Applications. 340-347Christof Ebert, Carlos Eduardo Pereira:
Measuring the Impact of Real Time Design Techniques. 348-355Bernhard Eschermann, Hubert D. Kirrmann:
Fail-Safe On-Board Communication for Automatic Train Protection. 356-363Karlotto Mangold:
Feasibility of Ada9X for Real Time Programming. 364-372
GI-Fachgespräch FG 8: Simulationstechnik
Felix Breitenecker:
Simulation in Europe - State-of-the-Art. 374-381Dietmar P. F. Möller:
Simulation of Complex Dynamical Systems in Medicine and Environment. 382-389Helena Szczerbicka, Thomas Uthmann:
The Role of Artificial Intelligence Concepts in System Modelling and Simulation: An Overview. 390-397Marianne Koch, Djamshid Tavangarian:
Anforderungen an eine analoge Hardware-Beschreibungssprache auf Basis von VHDL. 398-405J. Alex, R. Tschepetzki:
Dynamische Simulation komplexer Abwasserreinigungsprozesse. 406-414
GI-Fachgespräch FG 9: Kommunikation und Koordination in verteilten betrieblichen Anwendungen
J. Becker, M. Prischmann:
Design Related Cost Accounting with a Modular System of Cooperating Backpropagation Networks. 416-422Andreas Oberweis, T. Wendel, Wolffried Stucky:
Teamwork Coordination in a Distributed Software Development Environment. 423-429Otto K. Ferstl, Elmar J. Sinz, Michael Amberg, Udo Hagemann, Carsten Malischewski:
Tool-Based Business Process Modeling Using the SOM Approach. 430-436Karl Kurbel, Reinhard Jung:
An Application of the Spiral Model to Reengineering and Long-term IS Integration into a Distributed System. 437-443F. Ohly, Leena Suhl, E. Reinecke:
Negotiation Support for Distributed Resource Allocation in a Corporate Environment. 444-451T. Heissel, U. Meyer, Michael Müller-Wünsch, C. Schopf, Ansgar Woltering:
Cooperative Allround Financial Consulting. 452-458Jürgen Falk, Stefan Spieck, Peter Mertens:
Solving Logistical Problems with Partly Intelligent Agents. 459-465August-Wilhelm Scheer, Carsten Berkau, Petra Hirschmann:
Cost Management of Business Processes. 466-472Ludwig Nastansky, Wolfgang Hilpert:
The GroupFlow System: A Scalable Approach to Workflow Management between Cooperation and Automation. 473-479E. Zwickler, C. Rottenbacher:
ITP and INZPLA - A New Theory and a New Application System for Distributed Cooperative Budget-Planning and -Control. 480-486
Workshop: Computer, Media and Arts
Barbara Becker, Gerhard Eckel:
Zum Verhältnis von Kunst und Technologie - dargestellt am Beispiel der zeitgenössischen Musik. 488-491Mathias Fuchs:
Telemusik - Kunst im Netz. 492-495Achim Lipp:
Die Elektronische Kunst- und Wunderkammer als Erlebnis- und Vermittlungsform. 496-499M. Schlosser:
Computer schaffen Kunstwerke!? 500-503Olaf Langmack:
40 Years of Computer Art. 504-507Hartmut Sörgel:
Computer, Sprache und Virtualität. 508-511Roland Alton-Scheidl:
Technology Assessment im kulturellen Sektor: Die Medienkunst als strategischer Partner. 512-516
Workshop der Studierenden: Students Workshop
Heike Hengstenberg:
Karriere trotz anderer Lebensinteressen - Optionen innovativer Arbeitsgestaltung und Personalpolitik an InformatikerInnenarbeitsplätzen. GI Jahrestagung 1994: 518Jürgen Freytag:
Die Trennung von akademischer und beruflicher Ausbildung im Bereich der Informatik. GI Jahrestagung 1994: 519Jörg Prante:
Beitrag zum Thema Informatik-Studium. GI Jahrestagung 1994: 520Marcus Röhrs, Volker Wohlgemuth, Bernd Wolff:
Umweltinformatik als Gestaltungswissenschaft. GI Jahrestagung 1994: 521Lorenz M. Hilty:
Information, Entropy and Environmental Problems. GI Jahrestagung 1994: 522Andreas Möller:
Stoffstrommanagement. GI Jahrestagung 1994: 523Kurt Jaeger:
Substitution? Informationstechnik und Verkehr. GI Jahrestagung 1994: 524Günther Cyranek:
Nachhaltige Informatik: Auch Aufgabe in der Entwicklungszusammenarbeit? GI Jahrestagung 1994: 525Werner Dostal:
Konsolidierung des Berufsfeldes der Computerberufe. GI Jahrestagung 1994: 526-527Karl-Heinz Rödiger:
Informatik, Verantwortung und die Ethischen Leitlinien der GI. GI Jahrestagung 1994: 528Klaus Fuchs-Kittowski:
Gedanken zur Entwicklung der Informatik. GI Jahrestagung 1994: 529-530Martin Wirsing:
Ist zuverlässige Software eine Utopie? GI Jahrestagung 1994: 531Brigitte Bartsch-Spörl:
Informatik in der Praxis - eine andere Welt? GI Jahrestagung 1994: 532
last updated on 2019-10-16 00:07 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
