Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
367 Publications
2014 | Mastersthesis | LibreCat-ID: 448
Gao, Yuan. Combination of Service Matching Steps in Consideration of Efficiency and Fuzziness. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 449
Becker, Matthias, Marie Christin Platenius, and Steffen Becker. “Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!” In Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB), 153–59. Communications in Computer and Information Science, 2014. https://doi.org/10.1007/978-3-319-14886-1_15.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 450
Jakobs, Marie-Christine, and Heike Wehrheim. “Certification for Configurable Program Analysis.” In Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), 30–39. SPIN 2014, 2014. https://doi.org/10.1145/2632362.2632372.
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 454
Heldt, Waleri. Automated Service Composition: Adaption of the ASTRO Approach. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 457
Jungmann, Alexander, Felix Mohr, and Bernd Kleinjohann. “Applying Reinforcement Learning for Resolving Ambiguity in Service Composition.” In Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 105–12, 2014. https://doi.org/10.1109/SOCA.2014.48.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 394
Schwichtenberg, Simon, Christian Gerth, Zille Huma, and Gregor Engels. “Normalizing Heterogeneous Service Description Models with Generated QVT Transformations.” In Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 180–95. LNCS, 2014. https://doi.org/10.1007/978-3-319-09195-2_12.
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 396
Bano, Dorina. Modeling and Matching of Reputation of Services in On-The-Fly Computing. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 399
Wiersema, Tobias, Stephanie Drzevitzky, and Marco Platzner. “Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring.” In Proceedings of the International Conference on Field-Programmable Technology (FPT), 167–74, 2014. https://doi.org/10.1109/FPT.2014.7082771.
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 400
Bunse, Mirko. Measuring Transformation-Induced Uncertainty in Service Matching: A Feasibility Study. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 401
Platenius, Marie Christin, Svetlana Arifulina, Ronald Petrlic, and Wilhelm Schäfer. “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching.” In Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 6–17. Communications in Computer and Information Science, 2014. https://doi.org/10.1007/978-3-319-14886-1_2.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 402
Arifulina, Svetlana, Marie Christin Platenius, Christian Gerth, Steffen Becker, Gregor Engels, and Wilhelm Schäfer. “Market-Optimized Service Specification and Matching.” In Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), edited by Xavier Franch, AdityaK. Ghose, GraceA. Lewis, and Sami Bhiri, 543–50. LNCS, 2014. https://doi.org/10.1007/978-3-662-45391-9_47.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 407
Mohr, Felix. “Issues of Automated Software Composition in AI Planning.” In Proceedings of the 29th International Conference on Automated Software Engineering (ASE), 895--898, 2014. https://doi.org/10.1145/2642937.2653470.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 408
Jakobs, Marie-Christine, Marco Platzner, Tobias Wiersema, and Heike Wehrheim. “Integrating Software and Hardware Verification.” In Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), edited by Elvira Albert and Emil Sekerinski, 307–22. LNCS, 2014. https://doi.org/10.1007/978-3-319-10181-1_19.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 409
Platenius, Marie Christin, Steffen Becker, and Wilhelm Schäfer. “Integrating Service Matchers into a Service Market Architecture.” In Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), edited by Paris Avgeriou and Uwe Zdun, 210–17. LNCS, 2014. https://doi.org/10.1007/978-3-319-09970-5_19.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 410
Jungmann, Alexander, Sonja Brangewitz, Ronald Petrlic, and Marie Christin Platenius. “Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services.” International Journal On Advances in Intelligent Systems (IntSys) 7, no. 3&4 (2014): 572--594.
LibreCat
| Files available
| Download (ext.)
2014 | Mastersthesis | LibreCat-ID: 411
Taherinajafabadi, Vahide. Improving Service Specifications for the Service Matching on a Service Market. Universität Paderborn, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 415
Vijapurwala, Shafi. Handling Incomplete Service Specifications Using Fuzzy Matching. Universität Paderborn, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 417
Besova, Galina, Dominik Steenke, and Heike Wehrheim. “Grammar-Based Model Transformations.” In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 1601–10, 2014. https://doi.org/10.1016/j.cl.2015.05.003.
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 418 | 
Pauck, Felix. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 420
Merschjohann, Sven. Fuzzy Matching of Service Price Specifications. Universität Paderborn, 2014.
LibreCat