Ebook: Innovationen bei Rechen- und Kommunikationssystemen: Eine Herausforderung für die Informatik

Inhaltsübersicht: Integration semi-formaler und formaler Methoden für die Spezifikation von Software-Systemen.- Disjunktive logische Programmierung und disjunktive Datenbanken.- Benutzungsschnittstellen für kommunizierende Systeme.- Systemtechnische Unterstützung verteilter Multimedia-Anwendungen.- IT-Sicherheit: Technik im Spannungsfeld von Ethik und Recht.- Workstations: Architekturen, Anwendungen und Entwicklungstrends.- Realzeitsysteme.- Simulationstechnik.- Kommunikation und Koordination in verteilten betrieblichen Anwendungen.- Workshop: Computer, Media and Arts.- Students Workshop.

---

Inhalts?bersicht: Integration semi-formaler und formaler Methoden f?r die Spezifikation von Software-Systemen.- Disjunktive logische Programmierung und disjunktive Datenbanken.- Benutzungsschnittstellen f?r kommunizierende Systeme.- Systemtechnische Unterst?tzung verteilter Multimedia-Anwendungen.- IT-Sicherheit: Technik im Spannungsfeld von Ethik und Recht.- Workstations: Architekturen, Anwendungen und Entwicklungstrends.- Realzeitsysteme.- Simulationstechnik.- Kommunikation und Koordination in verteilten betrieblichen Anwendungen.- Workshop: Computer, Media and Arts.- Students Workshop.

---

Inhalts?bersicht: Integration semi-formaler und formaler Methoden f?r die Spezifikation von Software-Systemen.- Disjunktive logische Programmierung und disjunktive Datenbanken.- Benutzungsschnittstellen f?r kommunizierende Systeme.- Systemtechnische Unterst?tzung verteilter Multimedia-Anwendungen.- IT-Sicherheit: Technik im Spannungsfeld von Ethik und Recht.- Workstations: Architekturen, Anwendungen und Entwicklungstrends.- Realzeitsysteme.- Simulationstechnik.- Kommunikation und Koordination in verteilten betrieblichen Anwendungen.- Workshop: Computer, Media and Arts.- Students Workshop.
Content:
Front Matter....Pages I-XII
Front Matter....Pages 1-1
Static and Dynamic Semantics of Entity—Relationship Models Based on Algebraic Methods....Pages 2-9
Ablaufspezifikation durch Datenflu?diagramme und Axiome....Pages 10-18
Graphical Support for Prototyping of Algebraic Specifications....Pages 19-26
Formal Foundations for Pragmatic Software Engineering Methods....Pages 27-34
Combining Troll with the Object Modeling Technique....Pages 35-42
Integration Of Semiformal And Formal Methods For Specifying Knowledge-Based Systems....Pages 43-50
Front Matter....Pages 51-51
Semantics of Disjunctive Programs: A Unifying Approach....Pages 52-52
Non—Monotonic Reasoning Based on Minimal Models and its Efficient Implementation....Pages 53-60
From above and from below: Approximating stable models....Pages 61-68
Disjunctive Logic Programming over Finite Structures....Pages 69-73
Disjunctive Logic Programming: What Applications Developers Need....Pages 74-74
Improved Bottom-Up Query Evaluation in Positive Disjunctive Databases....Pages 75-82
A Disjunctive Semantics Based on Unfolding and Bottom-Up Evaluation....Pages 83-91
Proof Procedures for Disjunctive Logic Programming....Pages 92-92
TMPR for Disjunctive Logic Programming and Usefulness of Strong and Exclusion Negation....Pages 93-100
Front Matter....Pages 101-101
Auf dem Weg zur wissensbasierten Mensch-Computer-Mensch-Kommunikation....Pages 102-109
Benutzung von Kommunikationsdiensten mit Drag-and-Drop Techniken....Pages 110-117
Adaptierbare Benutzungsschnittstellen f?r elektronische Netzdienste....Pages 118-125
Interfaces for handling multimedia communications systems....Pages 126-133
Aspects in User Interface Design for Mobile Multi-User Applications....Pages 134-141
Front Matter....Pages 101-101
Das virtuelle B?ro als Benutzungsschnittstelle f?r kooperatives Arbeiten....Pages 142-149
Front Matter....Pages 151-151
Multicast for Multimedia....Pages 152-156
Synchronisation in einer verteilten Entwicklungs- und Laufzeitumgebung f?r multimediale Anwendungen....Pages 157-164
Design and implementation of a global reference mechanism for data objects....Pages 165-173
Remote Camera Control in a Distributed Multimedia System....Pages 174-181
ATM-Netze — die Infrastruktur f?r Multimediakommunikation?....Pages 182-187
?bertragung komprimierter isochroner Datenstr?me....Pages 188-195
Ein Konzept zur Integration von Netzwerk-Filtern in verteilte Multimedia-Systeme....Pages 196-203
Messungen f?r Videoverkehr als Basis f?r Lastmodelle....Pages 204-210
Vermittlung und Verwaltung von Diensten in offenen verteilten Systemen....Pages 211-218
Developing Cooperative Media-Integrated Software....Pages 219-226
Kooperationsunterst?tzung f?r integrierte POI-/ POS-Systeme....Pages 227-234
Front Matter....Pages 235-241
Ethische Verantwortung bei der Gestaltung sicherer Informationssysteme....Pages 243-243
Positive Fehlerethik und Informatik — Widerspruch oder Herausforderung?....Pages 244-248
Chipkarten in der Medizin....Pages 249-257
Grundrechtliche Risiken und Chancen durch Chipkartennutzung....Pages 258-266
Front Matter....Pages 267-276
Audiovisuelle Kommunikation als Basis f?r kooperatives Arbeiten....Pages 277-277
Ein transparenter Ein—/Ausgabemechanismus f?r Parallelrechner in einem LAN mit Internet—Protokoll....Pages 278-285
Systemintegration bei Mobile Computing Anwendungen....Pages 286-293
Front Matter....Pages 294-301
Verfahren zur Performance-Erh?hung in Workstation-Clustern....Pages 277-277
Systematic Assessment of Computer Systems Architectures....Pages 302-309
Data Engineering Tools zur Beschleunigung der Projektabwicklung....Pages 310-317
Front Matter....Pages 318-325
Missed Opportunities in Real Time Programming ?....Pages 327-327
Portability of Software Systems for Real Time Applications....Pages 328-339
Measuring the Impact of Real-Time Design Techniques....Pages 340-347
Fail-Safe On-Board Communication for Automatic Train Protection....Pages 348-355
Feasibility of Ada9X for Real-Time Programming....Pages 356-363
Front Matter....Pages 364-371
Simulation in Europe State-of-the-Art....Pages 373-373
Simulation of Complex Dynamical Systems in Medicine and Environment....Pages 374-381
The Role of Artificial Intelligence Concepts in System Modelling and Simulation: An Overview....Pages 382-389
Anforderungen an eine analoge Hardware- Beschreibungssprache auf Basis von VHDL....Pages 390-397
Dynamische Simulation komplexer Abwasserreinigungsprozesse....Pages 398-405
Front Matter....Pages 406-414
Design Related Cost Accounting with a Modular System of Cooperating Backpropagation Networks....Pages 415-415
Teamwork Coordination in a Distributed Software Development Environment....Pages 416-422
Tool-Based Business Process Modeling Using the SOM Approach....Pages 423-429
An Application of the Spiral Model to Reengineering and Long-term IS Integration into a Distributed System....Pages 430-436
Negotiation Support for Distributed Resource Allocation in a Corporate Environment....Pages 437-443
Cooperative Allround Financial Consulting....Pages 444-451
Solving Logistical Problems with Partly Intelligent Agents....Pages 452-458
Front Matter....Pages 459-465
Cost Management of Business Processes....Pages 415-415
The GroupFlow System: A Scalable Approach to Workflow Management between Cooperation and Automation....Pages 466-472
ITP and INZPLA — a new theory and a new application system for distributed cooperative budget-planning and -control....Pages 473-479
Front Matter....Pages 480-486
Zum Verh?ltnis von Kunst und Technologie....Pages 487-487
Telemusik — Kunst im Netz....Pages 488-491
Die Elektronische Kunst- und Wunderkammer als Erlebnis- und Vermittlungsform....Pages 492-495
Computer schaffen Kunstwerke!?....Pages 496-499
40 Years of Computer Art....Pages 500-503
Computer, Sprache und Virtualit?t....Pages 504-507
Technology Assessment im kulturellen Sektor: Die Medienkunst als strategischer Partner....Pages 508-511
Front Matter....Pages 512-515
Karriere trotz anderer Lebensinteressen — Optionen innovativer Arbeitsgestaltung und Personalpolitik an InformatikerInnenarbeitspl?tzen....Pages 517-517
....Pages 518-533