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.
907 Publications
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 | Dissertation | LibreCat-ID: 6727
van Rooijen, Lorijn. A Combinatorial Approach to the Separation Problem for Regular Languages. (Une Approche Combinatoire Du Problème de Séparation Pour Les Langages Réguliers). University of Bordeaux, France, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 6728
Place, Thomas, et al. “On Separation by Locally Testable and Locally Threshold Testable Languages.” Logical Methods in Computer Science, vol. 10, no. 3, Logical Methods in Computer Science e.V., 2014, doi:10.2168/lmcs-10(3:24)2014.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 6741
Bokermann, Dennis, et al. “Use Your Best Device! Enabling Device Changes at Runtime.” 12th International Conference on Business Process Management (BPM 2014), vol. 8659, Springer International Publishing, 2014, pp. 357–65, doi:10.1007/978-3-319-10172-9_23.
LibreCat
| DOI
2013 | Conference (Editor) | LibreCat-ID: 7762
Fazal-Baqaie, Masud, editor. Vorgehensmodelle 2013: Vorgehensmodelle - Anspruch Und Wirklichkeit - Proceedings Der 20. Tagung Der Fachgruppe Vorgehensmodelle Im Fachgebiet Wirtschaftsinformatik (WI-VM) Der Gesellschaft Für Informatik e.V., Lörrach (Germany). Vol. P-224, GI, Köllen Druck+Verlag GmbH, Bonn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8057
Nagel, Benjamin, et al. “Ensuring Consistency Among Business Goals and Business Process Models.” Proceedings of the 17th IEEE International EDOC Conference (EDOC’13), IEEE Computer Society, 2013, pp. 17–26.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8058
Schumacher, Claudia, et al. “Modellbasierte Bewertung von Testprozessen Nach TPI NEXT® Mit Geschäftsprozess-Mustern.” Proceedings of the Conference on Software Enginneering, Fachtagung Des GI Fachbereichs Softwaretechnik (SE 2013), Aachen (Germany), edited by Stefan Kowalewski and Bernhard Rumpe, vol. P-213, Gesellschaft für Informatik (GI), 2013, pp. 331–44.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8059
Engels, Gregor. “On-the-Fly Computing - Das Entwicklungs- Und Betriebsparadigma Für Softwaresysteme Der Zukunft.” Software Engineering 2013, vol. P-213, 2013, pp. 17–18.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8060
Huma, Zille, et al. “Automated Service Composition for On-the-Fly SOAs.” Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13), vol. 8274, Springer-Verlag, 2013, pp. 524–32.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8061
Luckey, Markus, and Gregor Engels. “High-Quality Specification of Self-Adaptive Software Systems.” Proceeding of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, ACM, 2013, pp. 143–52.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 8062
Brüseke, Frank, et al. “Decision Support via Automated Metric Comparison for the Palladio-Based Performance Blame Analysis.” Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013), Prague (Czech Republic), ACM New York, NY, USA, 2013, pp. 77–88.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8063
Becker, Matthias, et al. “Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time.” Ninth International ACM Sigsoft Conference on the Quality of Software Architectures, ACM New York, NY, USA, 2013, pp. 43–52.
LibreCat
2013 | Report | LibreCat-ID: 8222
Küster, Jochen, et al. Integrating Coverage Analysis into Test-Driven Development of Model Transformations. IBM Research, 2013.
LibreCat
2013 | Report | LibreCat-ID: 8223
Huma, Zille, et al. Automated Service Discovery and Composition for On-the-Fly SOAs. University of Paderborn, Germany, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 5752
Yigitbas, Enes, et al. “Konzeption Modellbasierter Benutzungsschnittstellen Für Verteilte Selbstbedienungssysteme.” Informatik 2013, 43. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Informatik Angepasst an Mensch, Organisation Und Umwelt, 16.-20. September 2013, Koblenz, Deutschland, 2013, pp. 2714–23.
LibreCat
2013 | Book Chapter | LibreCat-ID: 6276
Klompmaker, Florian, et al. “A Taxonomy-Based Approach towards NUI Interaction Design.” Distributed, Ambient, and Pervasive Interactions, vol. 8028, Springer Berlin Heidelberg, 2013, pp. 32–41, doi:10.1007/978-3-642-39351-8_4.
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 6279
Fischer, Holger Gerhard, et al. “Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design.” Design, User Experience, and Usability. Design Philosophy, Methods, and Tools, vol. 8012, Springer Berlin Heidelberg, 2013, pp. 252–61, doi:10.1007/978-3-642-39229-0_28.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6284
Fischer, Holger Gerhard, et al. “Do You Speak Usability? - Aktueller Stand des Glossars und des Curriculums für den Certified Professional for Usability and User Experience (CPUX) der German UPA.” Jahresband Usability Professionals, German UPA, 2013, pp. 28–34.
LibreCat
2013 | Conference Paper | LibreCat-ID: 484
Platenius, Marie Christin, et al. “Service Matching under Consideration of Explicitly Specified Service Variants.” IEEE 20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–14, doi:10.1109/ICWS.2013.98.
LibreCat
| Files available
| DOI