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-9 - Friederike Nickl:
Ablaufspezifikation durch Datenflußdiagramme und Axiome. 10-18 - Roswitha Bardohl, Ingo Claßen:
Graphical Support for Prototyping of Algebraic Specifications. 19-26 - Heinrich Hußmann:
Formal Foundations for Pragmatic Software Engineering Methods. 27-34 - Ralf Jungclaus, Roel J. Wieringa, Peter Hartel, Gunter Saake, Thorsten Hartmann:
Combining TROLL with the Object Modeling Technique. 35-42 - Dieter 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. 52 - Dietmar Seipel:
Non-Monotonic Reasoning Based on Minimal Models and its Efficient Implementation. 53-60 - Jürgen Kalinski:
From Above and from Below: Approximating Stable Models. 61-68 - Thomas Eiter, Georg Gottlob, Heikki Mannila:
Disjunctive Logic Programming over Finite Structures. 69-73 - François Bry
:
Disjunctive Logic Programming: What Applications Developers Need. 74 - Stefan Brass:
Improved Bottom-Up Query Evaluation in Positive Disjunctive Databases. 75-82 - Stefan Brass, Jürgen Dix:
A Disjunctive Semantics Bases on Unfolding and Bottom-Up Evaluation. 83-91 - Donald W. Loveland:
Proof Procedures for Disjunctive Logic Programming. 92 - Taï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-109 - Konrad Froitzheim, Peter Schulthess:
Benutzung von Kommunikationsdiensten mit Drag-and-Drop-Techniken. 110-117 - Hartmut Dieterich, Matthias Schneider-Hufschmidt, Niels Vejrup Carlsen:
Adaptierbare Benutzungsschnittstellen für elektronische Netzdienste. 118-125 - Mary Zajicek, X. G. Cao, David Shrimpton, A. G. Tagg:
Interfaces for Handling Multimedia Communications Systems. 126-133 - Hans-Werner Gellersen:
Aspects in User Interface Design for Mobile Multi-User Applications. 134-141 - Markus 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-156 - Thomas Käppner, Falk Henkel, Michael Müller, Andreas Schröer:
Synchronisation in einer verteilten Entwicklungs- und Laufzeitumgebung für multimediale Anwendungen. 157-164 - Herwart Pusch:
Design and Implementation of a Global Reference Mechanism for Data Objects. 165-173 - Marcus Wieland, Ralf Steinmetz, Peter Sander:
Remote Camera Control in a Distributed Multimedia System. 174-181 - Ulrich Killat:
ATM-Netze - die Infrastruktur für Multimediakommunikation? 182-187 - C. Dünkel, T. Paradies:
Übertragung komprimierter isochroner Datenströme. 188-195 - Gabriel Dermler:
Ein Konzept zur Integration von Netzwerk-Filtern in virtuelle Multimedia-Systeme. 196-203 - Robert R. Thomys, Leif Bräuer:
Messungen für Videoverkehr als Basis für Lastmodelle. 204-210 - Claudia Popien, Bernd Meyer, F. Sassenscheidt:
Effiziente Modellierung von ODP-Traderfederationen mittels P2AM. 211-218 - Kai Müller-Jones, Michael Merz:
Vermittlung und Verwaltung von Diensten in offenen verteilten Systemen. 219-226 - Oliver Frick, Max Mühlhäuser, Hans-Werner Gellersen:
Developing Cooperative Media-Integrated Software. 227-234 - R. 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-248 - Theo Wehner:
Positive Fehlerethik und Informatik - Widerspruch oder Herausforderung? 249-257 - Anja Hartmann:
Chipkarten in der Medizin. 258-266 - Alexander 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-285 - Gerd-Joachim Reefmann:
Ein transparenter Ein-/Ausgabemechanismus für Parallelrechner in einem LAN mit Internet-Protokoll. 286-293 - Norbert Diehl, Albert Held:
Systemintegration bei Mobile Computing Anwendungen. 294-301 - Djamshid Tavangarian, Gunther Hipper, M. Klein, Marianne Koch:
Verfahren zur Performance-Erhöhung in Workstation-Clustern. 302-309 - Günter Böckle, Hermann Hellwagner:
Systematic Assessment of Computer Systems Architectures. 310-317 - G. 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-339 - Helmut Rzehak:
Portability of Software Systems for Real Time Applications. 340-347 - Christof Ebert, Carlos Eduardo Pereira:
Measuring the Impact of Real Time Design Techniques. 348-355 - Bernhard Eschermann, Hubert D. Kirrmann:
Fail-Safe On-Board Communication for Automatic Train Protection. 356-363 - Karlotto 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-381 - Dietmar P. F. Möller:
Simulation of Complex Dynamical Systems in Medicine and Environment. 382-389 - Helena Szczerbicka, Thomas Uthmann:
The Role of Artificial Intelligence Concepts in System Modelling and Simulation: An Overview. 390-397 - Marianne Koch, Djamshid Tavangarian:
Anforderungen an eine analoge Hardware-Beschreibungssprache auf Basis von VHDL. 398-405 - Jens 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-422 - Andreas Oberweis, T. Wendel, Wolffried Stucky:
Teamwork Coordination in a Distributed Software Development Environment. 423-429 - Otto K. Ferstl, Elmar J. Sinz, Michael Amberg, Udo Hagemann, Carsten Malischewski:
Tool-Based Business Process Modeling Using the SOM Approach. 430-436 - Karl Kurbel, Reinhard Jung:
An Application of the Spiral Model to Reengineering and Long-term IS Integration into a Distributed System. 437-443 - F. Ohly, Leena Suhl, E. Reinecke:
Negotiation Support for Distributed Resource Allocation in a Corporate Environment. 444-451 - T. Heissel, U. Meyer, Michael Müller-Wünsch, C. Schopf, Ansgar Woltering:
Cooperative Allround Financial Consulting. 452-458 - Jürgen Falk, Stefan Spieck, Peter Mertens:
Solving Logistical Problems with Partly Intelligent Agents. 459-465 - August-Wilhelm Scheer, Carsten Berkau, Petra Hirschmann:
Cost Management of Business Processes. 466-472 - Ludwig Nastansky, Wolfgang Hilpert:
The GroupFlow System: A Scalable Approach to Workflow Management between Cooperation and Automation. 473-479 - E. 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-491 - Mathias Fuchs:
Telemusik - Kunst im Netz. 492-495 - Achim Lipp:
Die Elektronische Kunst- und Wunderkammer als Erlebnis- und Vermittlungsform. 496-499 - M. Schlosser:
Computer schaffen Kunstwerke!? 500-503 - Olaf Langmack:
40 Years of Computer Art. 504-507 - Hartmut Sörgel:
Computer, Sprache und Virtualität. 508-511 - Roland 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: 518 - Jürgen Freytag:
Die Trennung von akademischer und beruflicher Ausbildung im Bereich der Informatik. GI Jahrestagung 1994: 519 - Jörg Prante:
Beitrag zum Thema Informatik-Studium. GI Jahrestagung 1994: 520 - Marcus Röhrs, Volker Wohlgemuth, Bernd Wolff:
Umweltinformatik als Gestaltungswissenschaft. GI Jahrestagung 1994: 521 - Lorenz M. Hilty:
Information, Entropy and Environmental Problems. GI Jahrestagung 1994: 522 - Andreas Möller:
Stoffstrommanagement. GI Jahrestagung 1994: 523 - Kurt Jaeger:
Substitution? Informationstechnik und Verkehr. GI Jahrestagung 1994: 524 - Günther Cyranek:
Nachhaltige Informatik: Auch Aufgabe in der Entwicklungszusammenarbeit? GI Jahrestagung 1994: 525 - Werner Dostal:
Konsolidierung des Berufsfeldes der Computerberufe. GI Jahrestagung 1994: 526-527 - Karl-Heinz Rödiger:
Informatik, Verantwortung und die Ethischen Leitlinien der GI. GI Jahrestagung 1994: 528 - Klaus Fuchs-Kittowski:
Gedanken zur Entwicklung der Informatik. GI Jahrestagung 1994: 529-530 - Martin Wirsing:
Ist zuverlässige Software eine Utopie? GI Jahrestagung 1994: 531 - Brigitte Bartsch-Spörl:
Informatik in der Praxis - eine andere Welt? GI Jahrestagung 1994: 532
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2020-07-15 23:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
