TY - THES AB - Das Thema der vorliegenden Dissertation ist die "Prozessqualifizierung zur verlässlichen Herstellung von Produkten im Polymer Lasersinterverfahren". Über eine definierte Qualitätsprozesskette werden sämtliche, auf die Produktqualität relevanten Einflussparameter, bestimmt und berücksichtigt. Unterschiedliche Methoden zur Materialcharakterisierung des pulverförmigen Ausgangsmaterials werden analysiert und bewertet. Rheologische sowie chemische Eigenschaften, aber auch die Partikelgrößenverteilung oder die Schüttdichte werden hinsichtlich Relevanz, Einfluss und Anwenderfreundlichkeit untersucht. Das Ziel ist eine sinnvolle Bestimmung des Ausgangszustandes des Pulvers anhand definierter, relevanter Materialeigenschaften, um reproduzierbare technische Bauteileigenschaften zu gewährleisten. Dazu werden mechanische, dynamisch-mechanische, physikalische, elektrische, thermische sowie chemische Untersuchungen durchgeführt und hinsichtlich wichtiger Einflussparameter evaluiert. Die Bestimmung erfolgt über entwickelte Referenzjobs, in denen die hauptsächlichen Einflussfaktoren auf das Polymer-Lasersinterverfahren entlang der Qualitätsprozesskette berücksichtigt werden. Die charakterisierten Daten dienen zur Auslegung eines fiktiven Produktes aus der Luftfahrtindustrie. Mit Hilfe dieser Methoden lassen sich Materialkennwerte für diverse Simulationstools eindeutig bestimmen um eine realitätsnahe Berechnung zu gewährleisten. AU - Rüsenberg, Stefan ID - 24751 KW - Additive Fertigung KW - Polymere KW - Lasersintern KW - Methode KW - Qualität KW - Konstruktion KW - Eigenschaften KW - Material KW - Charakterisierung KW - Qualifizierung TI - Prozessqualifizierung zur verlässlichen Herstellung von Produkten im Polymer Lasersinterverfahren VL - Band, 2 ER - TY - GEN AU - John, Thomas ID - 248 T2 - AIS SIGPRAG Pre-ICIS Workshop: Practice-based Design and Innovation of Digital Artifacts TI - Supporting Business Model Idea Generation Through Machine-generated Ideas - Towards a Design Theory ER - TY - GEN AB - We analyze the stability of networks when two intermediaries strategically form costly links to customers. We interpret these links as customer relationships that enable trade to sell a product. Equilibrium prices and equilibrium quantities on the output as well as on the input market are determined endogenously for a given network of customer relationships. We investigate in how far the substitutability of the intermediaries' products and the costs of link formation influence the intermediaries' equilibrium profits and thus have an impact on the incentives to strategically form relationships to customers. For networks with three customers we characterize locally stable networks, in particular existence is guaranteed for any degree of substitutability. Moreover for the special cases of perfect complements, independent products and perfect substitutes, local stability coincides with the stronger concept of Nash stability. Additionally, for networks with n customers we analyze stability regions for selected networks and determine their limits when n goes to infinity. It turns out that the shape of the stability regions for those networks does not significantly change compared to a setting with a small number of customers. AU - Brangewitz, Sonja AU - Haake, Claus-Jochen AU - Möhlmeier, Philipp ID - 249 TI - Strategic Formation of Customer Relationship Networks VL - 91 ER - TY - CONF AB - Before execution, users should formally validate the correctness of software received from untrusted providers. To accelerate this validation, in the proof carrying code (PCC) paradigm the provider delivers the software together with a certificate, a formal proof of the software’s correctness. Thus, the user only checks if the attached certificate shows correctness of the delivered software.Recently, we introduced configurable program certification, a generic, PCC based framework supporting various software analyses and safety properties. Evaluation of our framework revealed that validation suffers from certificate reading. In this paper, we present two orthogonal approaches which improve certificate validation, both reducing the impact of certificate reading. The first approach reduces the certificate size, storing information only if it cannot easily be recomputed. The second approach partitions the certificate into independently checkable parts. The trick is to read parts of the certificate while already checking read parts. Our experiments show that validation highly benefits from our improvements. AU - Jakobs, Marie-Christine ID - 250 T2 - Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM) TI - Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning ER - TY - CONF AB - In this paper, we introduce an approach for combining embedded systems with Service-oriented Computing techniques based on a concrete application scenario from the robotics domain. Our proposed Service-oriented Architecture allows for incorporating computational expensive functionality as services into a distributed computing environment. Furthermore, our framework facilitates a seamless integration of embedded systems such as robots as service providers into the computing environment. The entire communication is based on so-called recipes, which can be interpreted as autonomous messages that contain all necessary information for executing compositions of services. AU - Jungmann, Alexander AU - Jatzkowski, Jan AU - Kleinjohann, Bernd ID - 25073 T2 - Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS) TI - Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study ER - TY - CONF AU - Jatzkowski, Jan AU - Kreutz, Marcio Eduardo AU - Rettberg, Achim ID - 25074 T2 - Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS) TI - Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems ER - TY - CONF AU - Stahl, Katharina AU - Stöcklein, Jörg AU - Li, Silja ED - Shumaker, Randall ED - Lackey, Stephanie ID - 25075 T2 - Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015 TI - Evaluation of Autonomous Approaches using Virtual Environments VL - 9179 ER - TY - CONF AB - Automated service composition aims at automatically generating software solutions based on services to provide more complex functionality. In this paper, we give an initial overview about why adaptivity becomes increasingly important when aiming for automated composition of service functionality in dynamic and freely accessible environments such as service markets. We systematically derive dependencies among crucial processes such as service composition and service execution in a holistic view. Furthermore, we briefly discuss the influences and effects of changes in the environment according to the derived dependencies, and discuss possible future research directions. AU - Jungmann, Alexander ID - 25076 T2 - Proceedings of the IEEE 11th World Congress on Services (SERVICES) TI - On Adaptivity for Automated Composition of Service Functionality ER - TY - CONF AB - ervices are self-contained and platform independent software components that aim at maximizing software reuse. The automated composition of services to a target software artifact has been tackled with many AI techniques, but existing approaches make unreasonably strong assumptions such as a predefined data flow, are limited to tiny problem sizes, ignore non-functional properties, or assume offline service repositories. This paper presents an algorithm that automatically composes services without making such assumptions. We employ a backward search algorithm that starts from an empty composition and prepends service calls to already discovered candidates until a solution is found. Available services are determined during the search process. We implemented our algorithm, performed an experimental evaluation, and compared it to other approaches. AU - Mohr, Felix AU - Jungmann, Alexander AU - Kleine Büning, Hans ID - 25080 T2 - Proceedings of the 12th IEEE International Conference on Services Computing (SCC) TI - Automated Online Service Composition ER - TY - CONF AU - Jatzkowski, Jan AU - Kreutz, Marcio Eduardo AU - Rettberg, Achim ID - 25082 T2 - Proceedings of Electronic System Level Synthesis Conference (ESLsyn) TI - Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization ER - TY - CONF AU - Jatzkowski, Jan AU - Kleinjohann, Bernd ID - 25083 T2 - Mechatronics TI - Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems ER - TY - GEN AU - Pfannschmidt, Karlson ID - 251 TI - Solving the aggregated bandits problem ER - TY - JOUR AB - On-the-fly composition of service-based software solutions is still a challenging task. Even more challenges emerge when facing automatic service composition in markets of composed services for end users. In this paper, we focus on the functional discrepancy between “what a user wants” specified in terms of a request and “what a user gets” when executing a composed service. To meet the challenge of functional discrepancy, we propose the combination of existing symbolic composition approaches with machine learning techniques. We developed a learning recommendation system that expands the capabilities of existing composition algorithms to facilitate adaptivity and consequently reduces functional discrepancy. As a representative of symbolic techniques, an Artificial Intelligence planning based approach produces solutions that are correct with respect to formal specifications. Our learning recommendation system supports the symbolic approach in decision-making. Reinforcement Learning techniques enable the recommendation system to adjust its recommendation strategy over time based on user ratings. We implemented the proposed functionality in terms of a prototypical composition framework. Preliminary results from experiments conducted in the image processing domain illustrate the benefit of combining both complementary techniques. AU - Jungmann, Alexander AU - Mohr, Felix ID - 25107 JF - Journal of Internet Services and Applications 6(1) TI - An approach towards adaptive service composition in markets of composed services ER - TY - JOUR AB - Autonomous adaptation in self-adapting embedded real-time systems introduces novel risks as it may lead to unforeseen system behavior. An anomaly detection framework integrated in a real-time operating system can ease the identification of such suspicious novel behavior and, thereby, offers the potential to enhance the reliability of the considered self-x system. However, anomaly detection is based on knowledge about normal behavior. When dealing with self-reconfiguring applications, normal behavior changes. Hence, knowledge base requires adaptation or even re-construction at runtime. The stringent restrictions of real-time systems considering runtime and memory consumption make this task to a really challenging problem. We present our idea for online construction of application behavior knowledge that does not rely on training phase. The applications' behavior is defined by the application's system call invocations. For the knowledge base, we exploit suffix trees as they offer potentials to represent application behavior patterns and associated information in a compact manner. The online algorithm provided by suffix trees is a basis to construct the knowledge base with low computational effort. Anomaly detection and classification is integrated into the online construction method. New behavioral patterns do not unconditionally update the behavior knowledge base. They are evaluated in a context-related manner inspired by Danger Theory, a special discipline of artificial immune systems. Copyright © 2015 John Wiley & Sons, Ltd. AU - Rammig, Franz-Josef AU - Stahl, Katharina ID - 25108 JF - Concurrency and Computation: Practice and Experience TI - Online behavior classification for anomaly detection in self-x real-time systems ER - TY - JOUR AU - Sudhakar, Krishna AU - Zhao, Yuhong AU - Rammig, Franz-Josef ID - 25109 JF - Concurrency and Computation: Practice and Experience TI - Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System ER - TY - JOUR AU - Joy, M. tech. Mabel Mary AU - Rammig, Franz-Josef ID - 25110 JF - Int. J. of Embedded Systems TI - A hybrid methodology to detect memory leaks in soft real time embedded systems software ER - TY - JOUR AU - Khaluf, Yara AU - Birattari, Mauro AU - Rammig, Franz-Josef ID - 25111 JF - Springer Jounal Soft Computing TI - Analysis of long-term swarm performance based on short-term experiments ER - TY - CONF AB - Video streaming is in high demand by mobile users. In cellular networks, however, the unreliable wireless channel leads to two major problems. Poor channel states degrade video quality and interrupt the playback when a user cannot sufficiently fill its local playout buffer: buffer underruns occur. In contrast, good channel conditions cause common greedy buffering schemes to buffer too much data. Such over-buffering wastes expensive wireless channel capacity. Assuming that we can anticipate future data rates, we plan the quality and download time of video segments ahead. This anticipatory download scheduling avoids buffer underruns by downloading a large number of segments before a drop in available data rate occurs, without wasting wireless capacity by excessive buffering.We developed a practical anticipatory scheduling algorithm for segmented video streaming protocols (e.g., HLS or MPEG DASH). Simulation results and testbed measurements show that our solution essentially eliminates playback interruptions without significantly decreasing video quality. AU - Dräxler, Martin AU - Blobel, Johannes AU - Dreimann, Philipp AU - Valentin, Stefan AU - Karl, Holger ID - 252 T2 - Proceedings of the 2nd International Conference on Networked Systems (NetSys) TI - SmarterPhones: Anticipatory Download Scheduling for Wireless Video Streaming ER - TY - CONF AB - Group signatures, introduced by Chaum and van Heyst [15], are an important primitive in cryptography. In group signature schemes every group member can anonymously sign messages on behalf of the group. In case of disputes a dedicated opening manager is able to trace signatures - he can extract the identity of the producer of a given signature. A formal model for static group signatures schemes and their security is defined by Bellare, Micciancio, and Warinschi [4], the case of dynamic groups is considered by Bellare, Shi, and Zhang [5]. Both models define group signature schemes with a single opening manager. The main difference between these models is that the number of group members in static schemes is fixed, while in dynamic schemes group members can join the group over time. AU - Blömer, Johannes AU - Juhnke, Jakob AU - Löken, Nils ID - 253 T2 - Proceedings of the Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) TI - Short Group Signatures with Distributed Traceability ER - TY - JOUR AU - Strube, Oliver I. AU - Rüdiger, Arne A. AU - Bremser, Wolfgang ID - 25312 JF - International Journal of Adhesion and Adhesives SN - 0143-7496 TI - Buildup of biobased adhesive layers by enzymatically controlled deposition on the example of casein ER - TY - JOUR AU - Strube, Oliver I. AU - Büngeler, Anne AU - Bremser, Wolfgang ID - 25313 JF - Biomacromolecules SN - 1525-7797 TI - Site-Specific In Situ Synthesis of Eumelanin Nanoparticles by an Enzymatic Autodeposition-Like Process ER - TY - JOUR AU - Briesenick, Daniel AU - Bremser, Wolfgang ID - 25314 JF - Progress in Organic Coatings SN - 0300-9440 TI - Synthesis of polyamide-imide-montmorillonite-nanocomposites via new approach of in situ polymerization and solvent casting ER - TY - CONF AU - Kopecki, Lukas ID - 25322 TI - A Metric for Candidate Selection for a Robust Opportunistic Container Routing in high Complex Distribution Centers ER - TY - CONF AU - Weber, Jens ED - Yilmaz, L ED - Chan, K. V ED - Moon, I ED - Roeder, T. M. K, T. M. K ED - Macal, C ED - Rossetti, M. D ID - 25323 T2 - Proceedings of the 2015 Winter Simulation Conference TI - A Technical Approach of a Simulation-Based Optimization Platform for Setup-Preparation via Virtual Tooling by Testing the Optimization of Zero Point Positions in CNC-Applications ER - TY - CONF AB - Customized planning, engineering and construction of one-of-a-kind products (like wind energy, biogas or power plants) are complex and contain a lot of risks and temporal uncertainties, e.g. of logistics and project schedules. Therefore the management of this kind of projects has to be supported by adequate methods for the estimation of project risks and uncertainties. Based on the results of the joint research project simject of the Universities of Paderborn and Kassel, which aims at the development of a demonstrator for simulation-based and logistic-integrated project planning and scheduling, this paper discusses the usage of different approaches for supporting project management of plant engineering projects. After a short introduction and description of the approaches to be compared a wind energy plant as evaluation model as well as the application of the different methods are presented. Additionally, the usage of the approaches is compared and the advantages and disadvantages are pointed out. AU - Akbulut, Akin AU - Laroque, Christoph AU - Wenzel, Sigrid AU - Jessen, Ulrich ID - 25324 T2 - Proceedings of the 2015 Winter Simulation Conference TI - A Comparison of the Usage of Different Approaches for the Management of Plant Engineering Projects ER - TY - CONF AU - Kopecki, Lukas ID - 25325 TI - A Deadlock-Free Route Reservation Method for Automatized Decentralized Controlled Transportation in High Complex Distribution Centers ER - TY - CONF AB - We empirically investigate how hosts on Airbnb, a popular peer-to-peer website for fee-based sharing of under-utilized space, adjust their prices once their offering gets a visible star rating for the first time. We use data for over 14,000 offerings from Airbnb which we collected for New York City. Our findings indicate that hosts whose offerings achieve star rating visibility significantly increase their prices by an average of 2.69 € more than hosts with comparable offerings who do not experience this rating visibility during the time of observation. Out of all offerings who achieve rating visibility, we identify the upper quartile of hosts to be the main driver of this price increase, whereas the first 75% percent show only a marginal price reaction. These results can serve as a first step towards understanding the motivation of people to provide assets to the sharing economy. AU - Gutt, Dominik AU - Herrmann, Philipp ID - 254 T2 - Proceedings of the 23rd European Conference on Information Systems (ECIS), Münster TI - Sharing Means Caring? Hosts' Price Reactions to Rating Visibility ER - TY - CONF AU - Kopecki, Lukas ID - 25405 TI - A Robust Opportunistic Routing for High complex Decentralized controlled Distribution Center ER - TY - CONF AU - Mue{\ss}, André AU - Weber, Jens AU - Reisch, Raphael-Elias AU - Jurke, Benjamin ID - 25406 T2 - Proceedings of the First Conference of Machine Learning for Cyber Physical Systems TI - Implementation and Comparison of Cluster-Based PSO Extensions in Hybrid Settings with Efficient Approximation ER - TY - CONF AU - Kopecki, Lukas ID - 25407 TI - Protocol Structure for Controlling Adaptive Conveyor System in Automatized High Complex Distribution Centers ER - TY - CHAP AU - Baeumer, Frederik Simon AU - Geierhos, Michaela AU - Schulze, Sabine ID - 25408 SN - 978-3-319-24769-4 T2 - Information and Software Technologies: 21th International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015, Proceedings TI - A System for Uncovering Latent Connectivity of Health Care Providers in Online Reviews VL - 538 ER - TY - CONF AU - Baeumer, Frederik Simon AU - Dollmann, Markus AU - Geierhos, Michaela ID - 25409 SN - 1877-0509 TI - Find a Physician by Matching Medical Needs described in your Own Words VL - 63 ER - TY - JOUR AU - Kopecki, Lukas ID - 25410 IS - 3 JF - International Journal of Materials, Mechanics and Manufacturing TI - An approach for deadlock Prevention in decentralized controlled pre-­storage zones with dynamic behavior and time windows VL - 4 ER - TY - CONF AU - Geierhos, Michaela AU - Schulze, Sabine AU - Baeumer, Frederik Simon ID - 25411 T2 - Working Papers des KVF NRW TI - Der zufriedene Patient 2.0: Analyse anonymer Arztbewertungen im Web 2.0. VL - 3 ER - TY - CONF AU - Dangelmaier, Wilhelm ED - Schenk, Michael ED - Zadek, Hartmut ED - M{\"u}ller, Gerhard ED - Richter, Klaus ED - Seidel, Holger ID - 25412 T2 - Schenk, Michael;Zadek, Hartmut;Müller, Gerhard;Richter, Klaus;Seidel, Holger (Hrsg.): 20. Magdeburger Logistiktage "Sichere und nachhaltige Logistik" TI - Online-Optimierung zur Festlegung von Bestellzeitpunkten in der Losgr{\"o}{\ss}enfertigung ER - TY - CHAP AU - Geierhos, Michaela AU - Baeumer, Frederik Simon AU - Sabine, Schulze AU - Valentina, Stu{\ss} ED - Ali, Moonis ED - Kwon, Young Sig ED - Lee, Chang-Hwan ED - Kim, Juntae ED - Kim, Yongdai ID - 25413 SN - 978-3-319-19065-5 T2 - Current Approaches in Applied Artificial Intelligence, Lecture Notes in Computer Science TI - Filtering Reviews by Random Individual Error VL - 9101 ER - TY - CONF AU - Geierhos, Michaela AU - Baeumer, Frederik Simon AU - Schulze, Sabine AU - Stu{\ss}, Valentina ID - 25414 T2 - ECIS 2015 Completed Research Papers TI - I grade what I get but write what I think." Inconsistency Analysis in Patients‘ Reviews ER - TY - CONF AU - Kopecki, Lukas ID - 25415 TI - Hardware in the Loop Framework for decentralized autonomous conveyor in automatic pre-storage zones ER - TY - GEN AU - Trykacz, Matthias ID - 255 TI - Share Economy - Identifikation von konstituierenden Merkmalen anhand einer vergleichenden Betrachtung von Geschäftsmodellen ER - TY - CONF AU - Reisch, Raphael-Elias AU - Weber, Jens AU - Laroque, Christoph AU - Schr{\"o}der, Christian ED - Tolk, A ED - Padilla, J.J ED - Jafer, S ID - 25581 IS - 47 SN - 978-1-5108-0099-1 T2 - Proceedings of the 2015 Spring Simulation Multi-Conference TI - Asynchronous Optimization Techniques for Distributed Computing Applications VL - 2 ER - TY - JOUR AU - Lauck, Sebastian AU - Boxnick, Simon AU - Kopecki, Lukas ID - 25585 IS - 1 JF - International Journal of Advances in Computer Science & Its Applications - IJCSIA TI - Analyzing Supply Chain Nodes in Heterogeneous Environments Based on Transaction Data with Respect to Independent Item Behavior VL - 5 ER - TY - GEN AU - Dangelmaier, Wilhelm, Wilhelm ID - 25586 TI - Online optimization to determine order times ER - TY - CONF AU - Geierhos, Michaela AU - Stu{\ss}, Valentina ID - 25587 TI - Identifikation kognitiver Effekte in Online-Bewertungen ER - TY - CONF AU - Geierhos, Michaela AU - Baeumer, Frederik Simon ID - 25588 TI - Second-hand experience reports: Findings {\ "about the authorship of doctor reviews in online portals ER - TY - CONF AU - Geierhos, Michaela AU - Schulze, Sabine AU - Baeumer, Frederik Simon ID - 25589 SN - 978-989-758-073-4 T2 - Proceedings of the 7th International Conference on Agents and Artificial Intelligence TI - What did you mean? Facing the Challenges of User-generated Software Requirements ER - TY - THES AU - Markwart, Paul ID - 25590 TI - Analytical derivation of the sequence rules for the equalization of high-volume job features VL - 349 ER - TY - CHAP AU - Minhee, Cho AU - Weber, Jens AU - Song, Sa-kwang AU - Jung, Hanmin AU - Lee, Mikyoung ED - Park, James J. (Jong Hyuk) ED - Stojmenovic, Ivan ED - Jeong, Hwa Young ED - Yi, Gangman ID - 25591 T2 - Computer Science and Its Applications - Ubiquitous Information Technologies TI - Prescriptive Analytics for Planning Research-Performance Strategy VL - 330 ER - TY - CONF AU - Stotz, Sophia Charlotte AU - Stu{\ss}, Valentina AU - Reinert, Matthias AU - Schrott, Maximilian ED - ter Braake, Serge ED - Fokkens, Antske ED - Sluijter, Ronald ED - Declerck, Thierry ED - Wandl-Vogt, Eveline ID - 25592 T2 - Proceedings of the First Conference on Biographical Data in a Digital World TI - Interpersonal relations in biographical dictionaries. A case study VL - 1399 ER - TY - JOUR AU - Geierhos, Michaela AU - Schulze, Sabine ID - 25593 JF - ForschungsForum Paderborn TI - The satisfied patient 2.0: Analysis of anonymous doctor reviews to generate a patient mood VL - 18 ER - TY - JOUR AU - Geierhos, Michaela AU - Schulze, Sabine ID - 25594 JF - ForschungsForum Paderborn TI - The Satisfied Patient 2.0: Analysis of anonymous doctor ratings to gain insight into patient sentimen VL - 18 ER -