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 | Conference Paper | LibreCat-ID: 366
Petrlic, Ronald, et al. “Security and Privacy Challenges in On-The-Fly Computing.” Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014, pp. 131–42.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 375
von Detten, Markus, et al. “Reengineering Component-Based Software Systems with Archimetrix.” Journal of Software and Systems Modeling, no. 4, Springer, 2014, pp. 1239--1268, doi:10.1007/s10270-013-0341-9.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 383
Wonisch, Daniel, et al. “Programs from Proofs -- Approach and Applications.” Proceedings of the Software Engineering Conference (SE), 2014, pp. 67–68.
LibreCat
| Files available
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 390
Huma, Zille, et al. “On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains.” Computer Science - Research and Development, no. 3–4, Springer, 2014, pp. 333–61, doi:10.1007/s00450-014-0254-z.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 447
Jungmann, Alexander, et al. “Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services.” Proceedings of the 10th World Congress on Services (SERVICES), 2014, pp. 346–53, doi:10.1109/SERVICES.2014.68.
LibreCat
| Files available
| DOI
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, et al. “Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!” Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB), 2014, pp. 153–59, doi: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.” Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), 2014, pp. 30–39, doi: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, et al. “Applying Reinforcement Learning for Resolving Ambiguity in Service Composition.” Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 2014, pp. 105–12, doi:10.1109/SOCA.2014.48.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 394
Schwichtenberg, Simon, et al. “Normalizing Heterogeneous Service Description Models with Generated QVT Transformations.” Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 2014, pp. 180–95, doi: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, et al. “Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring.” Proceedings of the International Conference on Field-Programmable Technology (FPT), 2014, pp. 167–74, doi: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, et al. “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching.” Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 2014, pp. 6–17, doi:10.1007/978-3-319-14886-1_2.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 402
Arifulina, Svetlana, et al. “Market-Optimized Service Specification and Matching.” Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), edited by Xavier Franch et al., 2014, pp. 543–50, doi: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.” Proceedings of the 29th International Conference on Automated Software Engineering (ASE), 2014, pp. 895--898, doi:10.1145/2642937.2653470.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 408
Jakobs, Marie-Christine, et al. “Integrating Software and Hardware Verification.” Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), edited by Elvira Albert and Emil Sekerinski, 2014, pp. 307–22, doi:10.1007/978-3-319-10181-1_19.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 409
Platenius, Marie Christin, et al. “Integrating Service Matchers into a Service Market Architecture.” Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), edited by Paris Avgeriou and Uwe Zdun, 2014, pp. 210–17, doi:10.1007/978-3-319-09970-5_19.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 410
Jungmann, Alexander, et al. “Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services.” International Journal On Advances in Intelligent Systems (IntSys), vol. 7, no. 3&4, IARIA, 2014, pp. 572--594.
LibreCat
| Files available
| Download (ext.)