Veröffentlichungen der Universität / Datenverarbeitung; Informatik [41-60]

Decision support for liner shipping network decisions
Müller, Daniel ; Suhl, Leena ; Tierney, Kevin
Elektronische Ressource, Paderborn, 2018
Knowledge-based verification of service compositions
Walther, Sven ; Wehrheim, Heike
Elektronische Ressource, Paderborn, 2018
A model-driven software construction approach for cyber-physical systems
Pohlmann, Uwe ; Tichy, Matthias ; Engels, Gregor
Elektronische Ressource, Paderborn, 2018
Responsive positioning
a user interface technique based on structured space
Winkelnkemper, Felix ; Keil, Reinhard ; Szwillus, Gerd ; Lucke, Ulrike
Elektronische Ressource, Paderborn, 2018
Anomaly detection as a one-class problem in discrete event systems
Klerx, Timo ; Kleine Büning, Hans ; Hüllermeier, Eyke
Elektronische Ressource, Paderborn, 2017
Early performance analysis of automation systems based on systems engineering models
Frieben, Jens ; Bodden, Eric ; Dumitrescu, Roman
Elektronische Ressource, Paderborn, 2017
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
Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen
Bäumer, Frederik Simon ; Geierhos, Michaela ; Dangelmaier, Wilhelm ; Hamann, Heiko ; Fahr, René
Elektronische Ressource, Paderborn, 2017
Interfacing detectors and collecting data for large-scale experiments in high energy physics using COTS technology
Schumacher, Jörn ; Plessl, Christian
Elektronische Ressource, Paderborn, 2017
Specification and verification for real-time coordination protocols of cyber-physical systems
Dziwok, Stefan ; Schäfer, Wilhelm ; Tichy, Matthias
Elektronische Ressource, Paderborn, 2017
Systematik zur geschäftsmodellorientierten Technologiefrühaufklärung
Placzek, Markus ; Gausemeier, Jürgen
Elektronische Ressource, Paderborn, 2017
Systematik zur lösungsmusterbasierten Entwicklung von Frugal Innovations
Lehner, Anne-Christin ; Gausemeier, Jürgen (Hrsg.)
Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2017
Towards automated service composition under quality constraints
Mohr, Felix ; Kleine Büning, Hans
Elektronische Ressource, Paderborn, 2017
Fuzzy matching of comprehensive service specifications
Platenius, Marie Christin ; Schäfer, Wilhelm ; Engels, Gregor ; Becker, Steffen ; Wehrheim, Heike ; Inverardi, Paola ; Hüllermeier, Eyke
Elektronische Ressource, Paderborn, 2016
Methode zur Planung eines zukunftsfähigen Produktportfolios
Söllner, Christoph ; Gausemeier, Jürgen (Hrsg.)
Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2016
Methodik zur Bewertung von Produktionssystemen in der frühen Entwicklungsphase
Rudtsch, Vinzent ; Gausemeier, Jürgen (Hrsg.)
Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2016
Selfish network creation
on variants of network creation games
Cord-Landwehr, Andreas
Elektronische Ressource, Paderborn : Heinz Nixdorf Institut Paderborn, Universität Paderborn, 2016, ©2016
Szenariobasierte Synthese verteilter mechatronischer Systeme
Brenner, Christian ; Schäfer, Wilhelm ; Greenyer, Joel
Elektronische Ressource, Paderborn, 2016
Verification and simulation of self-adaptive mechatronic systems
Heinzemann, Christian
Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, Universität Paderborn, 2016
A dataflow-based shader framework for visualizing dissections of the heart using individual patient data
Arens, Stephan
2015
Gehe zu Seiten

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

Decision support for liner shipping network decisions

Knowledge-based verification of service compositions

A model-driven software construction approach for cyber-physical systems

Responsive positioning

Anomaly detection as a one-class problem in discrete event systems

Early performance analysis of automation systems based on systems engineering models

Engineering self-adaptive systems with simulation-based performance prediction

Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen

Interfacing detectors and collecting data for large-scale experiments in high energy physics using COTS technology

Specification and verification for real-time coordination protocols of cyber-physical systems

Systematik zur geschäftsmodellorientierten Technologiefrühaufklärung

Systematik zur lösungsmusterbasierten Entwicklung von Frugal Innovations

Towards automated service composition under quality constraints

Fuzzy matching of comprehensive service specifications

Methode zur Planung eines zukunftsfähigen Produktportfolios

Methodik zur Bewertung von Produktionssystemen in der frühen Entwicklungsphase

Selfish network creation

Szenariobasierte Synthese verteilter mechatronischer Systeme

Verification and simulation of self-adaptive mechatronic systems

A dataflow-based shader framework for visualizing dissections of the heart using individual patient data