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.
7917 Publications
2014 | Conference Paper | LibreCat-ID: 329
Wette P, Dräxler M, Schwabe A, Wallaschek F, Zahraee MH, Karl H. MaxiNet: Distributed Emulation of Software-Defined Networks. In: Proceedings of the 2014 IFIP Networking Conference (Networking 2014). ; 2014:1-9. doi:10.1109/IFIPNetworking.2014.6857078
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 331
Wu S. Webcam Application Using Virtual FPGA. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 333
Osterbrink S. Visualisierung von SMT-Solver-Ausgaben. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 336
Walther S, Wehrheim H. Verified Service Compositions by Template-Based Construction. In: Lanese I, Madelaine E, eds. Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS). LNCS. ; 2014:31-48. doi:10.1007/978-3-319-15317-9_3
LibreCat
| Files available
| DOI
2014 | Book | LibreCat-ID: 3389
Gräfer H, Schiller B, Rösner S. Finanzierung - Grundlagen, Institutionen, Instrumente und Kapitalmarkttheorie. Vol 8. 8th ed. Berlin: Erich Schmidt Verlag; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 339
Wette P, Karl H. Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms. In: Proceedings of the IEEE International Conference on Communications 2014. ; 2014:3270-3276. doi:10.1109/ICC.2014.6883825
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 340
Korth P. Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 342
Klauke C. Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen. Universität Paderborn; 2014.
LibreCat
2014 | Dissertation | LibreCat-ID: 343
Künsemöller J. Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 344
Becker M, Becker S, Besova G, Walther S, Wehrheim H. Towards Systematic Configuration for Architecture Validation. In: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session). ; 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 345
Jungmann A, Kleinjohann B. Towards Context-Sensitive Service Composition for Service-Oriented Image Processing. In: Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom). ; 2014:755-758. doi:10.1109/CloudCom.2014.154
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 346
Brangewitz S, Jungmann A, Petrlic R, Platenius MC. Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. In: Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION). ; 2014:49-57.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 347
Meisner S, Platzner M. Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-cores for Error Detection. In: Goehringer D, Santambrogio M, Cardoso JP, Bertels K, eds. Proceedings of the 10th International Symposium on Applied Reconfigurable Computing (ARC). Lecture Notes in Computer Science. Springer; 2014:283-290. doi:10.1007/978-3-319-05960-0_30
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 3492
Beverungen D. Exploring the Interplay of the Design and Emergence of Business Processes as Organizational Routines. Business and Information Systems Engineering. 2014;(4):191--202. doi:10.1007/s12599-014-0335-3
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3493
Beverungen D. Über das Zusammenwirken der Gestaltung und Emergenz von Geschäftsprozessen als Organisationsroutinen. WIRTSCHAFTSINFORMATIK. 2014;(4):209--222. doi:10.1007/s11576-014-0425-3
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 353
Mohr F, Walther S. Template-based Generation of Semantic Services. In: Proceedings of the 14th International Conference on Software Reuse (ICSR). LNCS. ; 2014:188-203. doi:10.1007/978-3-319-14130-5_14
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 354
Keller M, Robbert C, Karl H. Template Embedding: Using Application Architecture to Allocate Resources in Distributed Clouds. In: Proceedings of 7th International Conference on Utility and Cloud Computing (UCC). ; 2014:387--395. doi:10.1109/UCC.2014.49
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 359
Töws M. Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 360 | 
Dräxler S, Keller M, Karl H. Specifying and Placing Chains of Virtual Network Functions. In: Proceedings of the 3rd International Conference on Cloud Networking (CloudNet). ; 2014:7-13. doi:10.1109/CloudNet.2014.6968961
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 361
Roeske D. Simulating Load-Dependent Operation of Picocells. Universität Paderborn; 2014.
LibreCat