Informatik (15 757 Artikel)

Inferenzmethoden.- Techniken der Wissensdarstellung.- Semantikkonzepte in der Künstlichen Intelligenz.- Parser als integraler Bestandteil von Sprachverarbeitungssystemen.- Textverstehen und Textpro...

Derzeit verfügbare "universelle" Datenbanksysteme sind historisch für betriebswirt schaftliche Anwendungen entst&lden. In Anwendungsgebieten wie der Unterstützung von Bürotätigkeiten oder der rechn...

Specification and top down design of distributed systems.- Specification languages for distributed systems.- Semantically based programming tools (Summary).- From function level semantics to progra...

On the relevance of formal methods to software development.- Combining algebraic and predicative specifications in Larch.- The role of proof obligations in software design.- Functional semantics of...

PSI: A petri net based simulator for flexible manufacturing systems.- Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system.- Concurrency...

Dv-Leistung Am Arbeitsplatz.- Integration von verteilten PC-Workstations in die Organisation und den Betrieb der Informationsverarbeitung.- Die dezentrale Datenverarbeitung -- Chance oder Überforde...

Abstract.- Goals of Paragon and their relation to previous efforts.- The basic of Paragon.- The object-manager model and its implementation.- Selection of implementations.- A complete example using...

1. Einleitung.- 2. Stand der Kunst und Präzisierung der Zielsetzung.- 3. Konzeption des Gesamtmodells.- 4. Qualitätsmodell.- 5. Produktmodell.- 6. Relationen zwischen Produkt- und Qualitätsmodell.-...

Grußworte.- Erster Teil: Eröffnung.- Die informationstechnologische Herausforderung.- öffentliche Verwaltung und Informationstechnik -- Neue Möglichkeiten, neue Probleme, neue Perspektiven: Begründ...

Inhaltsverzechnis.- 1. Einleitung.- 2. Stand der Wissenschaft.- 2.1 Einführung.- 2.2 Begriffsklärungen.- 2.3 Fehlervermeidung und Fehlertoleranz im Hardware-Bereich.- 2.4 FehlerVermeidung und Fehle...

Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs....

1. Einleitung.- 1.1. Problemstellung und Zielsetzung.- 1.2. Gliederung.- 2. Hilfsmittel Semantischer Modellierung.- 2.1. Funktionale Semantikspezifikation.- 2.2. Die 'Vienna Development Method'.- 2...

VII. Kapitel. Grundzüge der Matrizennumerik.- § 24. Grundbegriffe und einfache Rechenregeln.- § 25. Norm, Kondition, Korrektur und Defekt.- § 26. Kondensation und Ritzsches Verfahren.- VIII. Kapite...

Learning behaviors of stochastic automata under multi-teacher environment.- Learning behaviors of stochastic automata under nonstationary multi-teacher environment.- Application to noise-corrupted,...

An introduction to finite automata on infinite words.- Deterministic and non ambiguous rational ?-languages.- Ensembles reconnaissables de mots bi-inpinis Limite et déterminisme.- Automates boustro...