noah.nrw / Computerprogrammierung, Programme, Daten / Filter 2011-2020 [1-20]

Adapt cases 4 BPM
Adaptivity Engineering für flexible und anpassbare Prozesse
Teetz, Alexander ; Engels, Gregor ; Wrede, Britta
Elektronische Ressource, Paderborn, 2019
Adaptivity engineering
Modeling and quality assurance for self-adaptive software systems
Luckey, Markus
2014
An Integrated Constraint-Logic and Object-Oriented Programming Language
The Münster Logic-Imperative Language
Dageförde, Jan Christoph ; Dageförde, Jan C. ; Dageförde, Jan
2020
Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen
Christ, Fabian
2012
Bewertung automatisch erkannter Instanzen von Software-Mustern
Travkin, Dietrich ; Schäfer, Wilhelm ; Kindler, Ekkart
Elektronische Ressource, Paderborn, 2018
Efficient parallel branch-and-bound search on FPGAs using work stealing and instance-specific designs
Riebler, Heinrich ; Plessl, Christian ; Platzner, Marco ; Meyer auf der Heide, Friedhelm ; Tierney, Kevin ; Lettmann, Theodor
Elektronische Ressource, Paderborn, 2019
Engineering self-adaptive systems with simulation-based performance prediction
Becker, Matthias Wilhelm ; Becker, Steffen ; Engels, Gregor ; Bodden, Eric ; Hüllermeier, Eyke ; Platenius, Marie Christin
Elektronische Ressource, Paderborn, 2017
Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen
Travkin, Dietrich ; Schäfer, Wilhelm ; Kleine Büning, Hans
Elektronische Ressource, Paderborn, 2018
Goal-oriented business process engineering
Nagel, Benjamin
2015
Holistic use of analysis models in model-based system testing
Mlynarski, Michael
2011
INSPIRE: Insight to scientific publications and references
Verteilte Berechnung von Bibliometriken auf großen Datenmengen
Wilke, Adrian ; Reinhardt, Wolfgang ; Magenheim, Johannes ; Plessl, Christian
Elektronische Ressource, Paderborn, 2013
Knowledge-based verification of service compositions
Walther, Sven ; Wehrheim, Heike
Elektronische Ressource, Paderborn, 2018
Local strategies for swarm formations on a grid
Jung, Daniel ; Meyer auf der Heide, Friedhelm ; Scheideler, Christian
Elektronische Ressource, Paderborn, 2018
Methoden und Werkzeuge zur Entwicklung dreidimensionaler visueller Sprachen
Wolter, Jan
2015
Modellgetriebener Einsatz von Softwareentwurfsmustern
Travkin, Dietrich ; Anjorin, Anthony ; Zündorf, Albert ; Wehrheim, Heike ; Meyer, Matthias ; Sauer, Stefan
Elektronische Ressource, Paderborn, 2018
Multi-Algorithmen-Rendering
Darstellung heterogener 3-D-Szenen in Echtzeit
Petring, Ralf
2014
On-The-Fly safety checking - customizing program certification and program restructuring
Jakobs, Marie-Christine ; Wehrheim, Heike ; Beyer, Dirk ; Bodden, Eric ; Platzner, Marco ; Platenius, Marie Christin
Elektronische Ressource, Paderborn, 2017
Performance modeling and analysis in high-performance reconfigurable computing
Schumacher, Tobias
2011
Physical attacks on pairing-based cryptography
Günther, Peter ; Blömer, Johannes
Elektronische Ressource, Paderborn, 2016
Quality assurance with dynamic meta modeling
Soltenborn, Christian
2013
Gehe zu Seiten

Detailsuche

Bibliotheken

Projekt

Impressum

Datenschutz

Adapt cases 4 BPM

Adaptivity engineering

An Integrated Constraint-Logic and Object-Oriented Programming Language

Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen

Bewertung automatisch erkannter Instanzen von Software-Mustern

Efficient parallel branch-and-bound search on FPGAs using work stealing and instance-specific designs

Engineering self-adaptive systems with simulation-based performance prediction

Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen

Goal-oriented business process engineering

Holistic use of analysis models in model-based system testing

INSPIRE: Insight to scientific publications and references

Knowledge-based verification of service compositions

Local strategies for swarm formations on a grid

Methoden und Werkzeuge zur Entwicklung dreidimensionaler visueller Sprachen

Modellgetriebener Einsatz von Softwareentwurfsmustern

Multi-Algorithmen-Rendering

On-The-Fly safety checking - customizing program certification and program restructuring

Performance modeling and analysis in high-performance reconfigurable computing

Physical attacks on pairing-based cryptography

Quality assurance with dynamic meta modeling