Publikationen

Hier die Ausgabe Ihrer Suche - bereits vorsortiert nach allgemeinen Inhalten, Personen, Projekte und Publikationen - wählen Sie einfach den jeweiligen Reiter an.

1998

A Compositional Real-time Semantics of STATEMATE Designs

Damm, W. and Josko, B. and Hungar, H. and Pnueli, A.; Compositionality: The Significant Difference; International Symposium COMPOS '97; 01 / 1998

BIB
A flexible message passing mechanism for Objective VHDL

Putzke-Röming, Wolfram and Radetzki, Martin and Nebel, Wolfgang; 01 / 1998

BIB
A STATEMATE-based Rapid Prototyping Environment

Lüth, Karsten and Metzner, Alexander and Niehaus, Jürgen; 01 / 1998

BIB
A unified approach to object-oriented VHDL

Radetzki, Martin and Putzke-Röming, Wolfram and Nebel, Wolfgang; 01 / 1998

BIB
Advanced Teleradiology - a Specification of a DICOM Teleradiology Application Profile

von Gehlen, Sandra and Fritz, Steven L. and Eichelberg, Marco and Hewett, Andrew J. and Bösenberg, Holger and Jensch, Peter; Medical Imaging 1998: PACS Design and Evaluation: Engineering and Clinical Issues; 01 / 1998

BIB
ATM cell modeling using Objective VHDL

Allara, Alberto and Bombana, Massimo and Cavalloro, P. and Nebel, Wolfgang and Putzke-Röming, Wolfram and Radetzki, Martin; 01 / 1998

BIB
Aufbau und Realisierung des MeDoc-Volltextspeichers

Haber, Cornelia and Meyer, Jochen and Weber, Ricarda; Informatik - Forschung und Entwicklung 13(3); 01 / 1998

BIB
Beiträge zum Workshop "Intelligente Umwelt- und Krebsepidemiologie"

Wietek, Frank; Gemeinsamer Workshop im Rahmen der Tagungswoche dqGMDS-98, KI-98, UI-98dq; 01 / 1998

BIB
Case Study: Verification of an Embedded Fault-Tolerant Avionics System

Brockmeyer, U. and Wittich, G.; IEEE International Workshop on Embedded Fault-Tolerant Systems (EFTS'98); 01 / 1998

BIB
Conception of the User Agent - The User Interface of the MeDoc-System

Boles, Dietrich and Kusserow, Andreas and Möller, Gerhard and Appelrath, Hans-Jürgen and Fellner, D.W.; Digital Libraries in Computer Science: The MeDoc Approach, LNCS 1392; 01 / 1998

BIB
Das MeDoc-System - ein elektronischer Publikations- und Nachweisdienst für die Informatik

Boles, Dietrich and Dreger, Markus and Großjohann, Kai and Haber, Cornelia and Kusserow, Andreas and Lohrum, Stefan and Menke, Dirk and Meyer, Jochen and Möller, Gerhard and Weber, Ricarda; Informatik - Forschung und Entwicklung 13(3); 01 / 1998

BIB
Design and Implementation of the MeDoc Fulltext System

Meyer, Jochen and Appelrath, Hans-Jürgen; Digital Libraries in Computer Science: The MeDoc Approach, LNCS 1392; 01 / 1998

BIB
Die Entwicklung eines Computer-Werkzeugs fur Naturschutz und Landschaftsplanung

Lorek, Helmut and Frank, Karin and Köster, Frank and Vogel, Ute and Grimm, Volker and Wissel, Christian and Sonnenschein, Michael; Umweltinformatik 98 Vernetzte Strukturen in Informatik, Umwelt und Wirtschaft, 12. Internationales Symposium Informatik fur den Umweltschutz der Ges; 01 / 1998

BIB
Die Extraktion von Restriktionen aus Aufgabenbeschreibungen für die statische, konzeptbasierte Diagnose von Lösungs- bzw. Schaltungsentwürfen

Willms, J. and Möbus, C.; Informatik und Ausbildung: GI-Fachtagung 98 Informatik und Ausbildung; 04 / 1998

BIB
Digital VLSI-implementation of a psychoacoustically and physiologically motivated speech preprocessor

Brucke, Matthias and Hansen, M. and Kollmeier, B. and Mertsching, B. and Nebel, Wolfgang and Schwarz, A.; 01 / 1998

BIB
Digitale Befunderhebung auf der Basis des DICOM Supplement Structured Reporting in der Radiologie

von Gehlen, Sandra and Vorwerk, Lutz and Jensch, Peter; Biomedizinische Technik 1998; 01 / 1998

BIB
Ein unscharfes Bewertungskonzept für die Bedrohungs- und Risikoanalyse Workflow-basierter Anwendungen

Schönberg, Arndt and Thoben, Wilfried; Sicherheit und Electronic Commerce - Konzepte, Modelle und technische Möglichkeiten (WS SEC'98); 01 / 1998

BIB
Einführung in das Konzept des DICOM-Standards

Eichelberg, Marco and Jensch, Peter; 2. DICOM-Anwendertreffen und Workshop; 01 / 1998

BIB
Einführung in neue DICOM-Services

von Gehlen, Sandra and Riesmeier, Jörg and Eichelberg, Marco and Jensch, Peter; Fünfter Interdisziplinärer Workshop KIS / RIS / PACS; 01 / 1998

BIB
First-Order-CTL Model Checking

Bohn, J. and Damm, W. and Grumberg, O. and Hungar, H. and Laster, K.; 18th Conference on Foundations of Software Technology and Theroretical Computer Science; 05 / 1998

BIB
Herbrand automata for hardware verification

Damm, W. and Pnueli, A. and Ruah, S.; Proc of the 9th International Conference on Conucrrency (CONCUR); 01 / 1998

BIB
How to avoid the inheritance anomaly in Ada

Schumacher, Guido and Nebel, Wolfgang; 01 / 1998

BIB
Individual-oriented Modeling and Simulation - An Approach to Support Epidemiological Research

Köster, Frank and Sonnenschein, Michael; Medical Science Simulation Conference; 01 / 1998

BIB
Intelligente Lehr- und Lernsysteme (ILLS)

Möbus, C.; Informatik und Ausbildung; 04 / 1998

BIB
ISO/ESPC - Ein intelligentes Selbstlern- und handlungsorientiertes Entscheidungsunterstützungssystem in der Statistischen ProzessControlle

Möbus, C. and Thole, H.-J.; 2. Workshop Multimedia für Bildung und Wirtschaft, 43th International Scientific Colloquium; 09 / 1998

BIB
Messung der Lautheitssummation bei Normal- und Schwerhörenden

Appell, Jens-E. and Hohmann, V.; 01 / 1998

BIB
Modeling communication with Objective VHDL

Putzke-Röming, Wolfram and Radetzki, Martin and Nebel, Wolfgang; 01 / 1998

BIB
MSC-based Schedulability Analysis

Slomka, Frank and Zant, J. and Lambert, L.; Technical Teport 1/98, IMMD VII, University of Erlangen-Nuremberg, Erlangen; 01 / 1998

BIB
Object-oriented modelling of parallel hardware systems

Schumacher, Guido and Nebel, Wolfgang; 01 / 1998

BIB
Objective VHDL: Tools and applications

Radetzki, Martin and Putzke-Röming, Wolfram and Nebel, Wolfgang; 01 / 1998

BIB
Objektorientierte Multimedia-Softwareentwicklung: Von UML-Modell zur Director-Anwendung am Beispiel virtueller naturwissenschaftlicher Labore

Dawabi, Peter and Schlattmann, Marco and Boles, E. and Trunk, C. and Wigger, F. and Boles, Dietrich; Tagungsband zum Workshop Multimedia-Systeme im Rahmen der GI-Jahrestagung; 01 / 1998

BIB
Online analytical processing (olap) in der Krebsepidemiologie

Wietek, Frank; Beiträge zum Workshop dqIntelligente Umwelt- und Krebsepidemiologiedq; 01 / 1998

BIB
Perspektiven der Entwicklung und Umsetzung des DICOM-Standards

Jensch, Peter; 2. DICOM-Anwendertreffen und Workshop; 01 / 1998

BIB
Power consumption of on-chips roms: Analysis and modeling.

Schmidt, Eike and Huijbrechts, E. and Seelen, E. and Nieuweboer, W. and Kruse, Lars and von Cölln (Jochens), Gerd and Nebel, Wolfgang; 01 / 1998

BIB
Power-simulation of cell based ASICs: accuracy- and performance trade-offs.

Rabe, Dirk and von Cölln (Jochens), Gerd and Kruse, Lars; 01 / 1998

BIB
Probleme mit DICOM-Konformität - Erfahrungen der Anwendergruppe

Mildenberger, Peter and Heußel, Claus Peter and Eichelberg, Marco and Klose, Klaus-Jochen and Thelen, Manfred; 79. Deutscher Röntgenkongreß, Abstracts der wissenschaftlichen Beiträge; 01 / 1998

BIB
Real-Time Verification of STATEMATE Designs -- Tool-Paper

Brockmeyer, U. and Wittich, G.; Computer Aided Verification; 01 / 1998

BIB
SAMTA - a Pilot Project for Telemedicine in Rural Areas

Punys, Jonas and Eichelberg, Marco and Lemoine, Didier and Jensch, Peter and Riesmeier, Jörg and Balogh, Nándor; Proceedings of the International Conference Biomedical Engineering; 01 / 1998

BIB
Schedulability Analysis of Heterogeneous Systems for Performance Message Sequence Chart

Slomka, Frank and Zant, J. and Lambert, L.; Tagungsband; 01 / 1998

BIB
Sicherheit für Workflow-basierte Anwendungen

Thoben, Wilfried; Sicherheit in Informationssystemen (SIS'98); 01 / 1998

BIB
Sicherheitsanalyse von Geschäftsprozessen unter Verwendung der Prozessalgebra CSS

Thoben, Wilfried and Lechtenbörger, Jens; Sicherheit und Electronic Commerce - Konzepte, Modelle und technische Möglichkeiten (WS SEC'98); 01 / 1998

BIB
Tamagotchis Need Not Die - Verification of STATEMATE Designs

Brockmeyer, U. and Wittich, G.; Tools and Algorithms for the Construction and Analysis of Systems; 01 / 1998

BIB
The MeDoc-System - A Digital Publication and Reference Service for Computer Science

Boles, Dietrich and Dreger, Markus and Großjohann, Kai and Haber, Cornelia and Kusserow, Andreas and Lohrum, Stefan and Menke, Dirk and Meyer, Jochen and Möller, Gerhard and Weber, Ricarda; Digital Libraries in Computer Science: The MeDoc Approach, LNCS 1392; 01 / 1998

BIB
Übersetzung von objektorientiertem VHDL nach Standard VHDL.

Radetzki, Martin and Putzke-Röming, Wolfram and Nebel, Wolfgang; 01 / 1998

BIB
Using a visual formalism for design verification in industrial environments

Schlör, R. and Josko, B. and Werth, D.; VISUAL'98; 01 / 1998

BIB
Vereinheitlichung und Normung von Schnittstellen

Jensch, Peter; Tagungsband VDE/DVMT Frankfurt; 01 / 1998

BIB
Visualization of DICOM Images - Handling the Standard's Complexity

Eichelberg, Marco and Riesmeier, Jörg and von Gehlen, Sandra and Jensch, Peter; Proceedings EuroPACS 1998; 01 / 1998

BIB
Zur Modellierung des Wissenserwerbs als deduktive und induktive Wissensveränderung

Möbus, C. and Schröder, O.; Enzyklopädie der Psychologie, Themenbereich C: Theorie und Forschung, Serie II: Kognition, Band G: Wissen, Kap. 13; 01 / 1998

BIB