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.
5311 Publications
2014 | Bachelorsthesis | LibreCat-ID: 331
Webcam application using virtual FPGA
S. Wu, Webcam Application Using Virtual FPGA, Universität Paderborn, 2014.
LibreCat
S. Wu, Webcam Application Using Virtual FPGA, Universität Paderborn, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 332
Was tun um Kunden von der Qualität seiner Produkte zu überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten
M. Lange, Was tun um Kunden von der Qualität seiner Produkte zu überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten, Universität Paderborn, 2014.
LibreCat
M. Lange, Was tun um Kunden von der Qualität seiner Produkte zu überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten, Universität Paderborn, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 333
Visualisierung von SMT-Solver-Ausgaben
S. Osterbrink, Visualisierung von SMT-Solver-Ausgaben, Universität Paderborn, 2014.
LibreCat
S. Osterbrink, Visualisierung von SMT-Solver-Ausgaben, Universität Paderborn, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 334
Vertical Thread Migration in FPGA based Sound Localization
P. Wagener, Vertical Thread Migration in FPGA Based Sound Localization, Universität Paderborn, 2014.
LibreCat
P. Wagener, Vertical Thread Migration in FPGA Based Sound Localization, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 336
Verified Service Compositions by Template-Based Construction
S. Walther, H. Wehrheim, in: I. Lanese, E. Madelaine (Eds.), Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), 2014, pp. 31–48.
LibreCat
| Files available
| DOI
S. Walther, H. Wehrheim, in: I. Lanese, E. Madelaine (Eds.), Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), 2014, pp. 31–48.
2014 | Bachelorsthesis | LibreCat-ID: 337
Verhandlungen vs Auktionen im Beschäftigungsmanagement
C. Berkemeier, Verhandlungen vs Auktionen im Beschäftigungsmanagement, Universität Paderborn, 2014.
LibreCat
C. Berkemeier, Verhandlungen vs Auktionen im Beschäftigungsmanagement, Universität Paderborn, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 338
Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet Winner Verfahrens
H. Beck, Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet Winner Verfahrens, Universität Paderborn, 2014.
LibreCat
H. Beck, Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet Winner Verfahrens, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 339
Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms
P. Wette, H. Karl, in: Proceedings of the IEEE International Conference on Communications 2014, 2014, pp. 3270–3276.
LibreCat
| Files available
| DOI
P. Wette, H. Karl, in: Proceedings of the IEEE International Conference on Communications 2014, 2014, pp. 3270–3276.
2014 | Bachelorsthesis | LibreCat-ID: 340
Untersuchung transitiver Eigenschaften der Technik "Programs from Proofs"
P. Korth, Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs,” Universität Paderborn, 2014.
LibreCat
P. Korth, Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs,” Universität Paderborn, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 341
Two-Sided Market and Game Console Vendors
T. Fang Cheng, Two-Sided Market and Game Console Vendors, Universität Paderborn, 2014.
LibreCat
T. Fang Cheng, Two-Sided Market and Game Console Vendors, Universität Paderborn, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 342
Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen
C. Klauke, Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen, Universität Paderborn, 2014.
LibreCat
C. Klauke, Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen, Universität Paderborn, 2014.
2014 | Dissertation | LibreCat-ID: 343
Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market
J. Künsemöller, Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market, Universität Paderborn, 2014.
LibreCat
| Files available
J. Künsemöller, Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 344
Towards Systematic Configuration for Architecture Validation
M. Becker, S. Becker, G. Besova, S. Walther, H. Wehrheim, in: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), 2014.
LibreCat
| Files available
M. Becker, S. Becker, G. Besova, S. Walther, H. Wehrheim, in: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), 2014.
2014 | Conference Paper | LibreCat-ID: 345
Towards Context-Sensitive Service Composition for Service-Oriented Image Processing
A. Jungmann, B. Kleinjohann, in: Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom), 2014, pp. 755–758.
LibreCat
| Files available
| DOI
A. Jungmann, B. Kleinjohann, in: Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom), 2014, pp. 755–758.
2014 | Conference Paper | LibreCat-ID: 346
Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services
S. Brangewitz, A. Jungmann, R. Petrlic, M.C. Platenius, in: Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp. 49–57.
LibreCat
| Files available
S. Brangewitz, A. Jungmann, R. Petrlic, M.C. Platenius, in: Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp. 49–57.
2014 | Conference Paper | LibreCat-ID: 347
Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-cores for Error Detection
S. Meisner, M. Platzner, in: D. Goehringer, M. Santambrogio, J.P. Cardoso, K. Bertels (Eds.), Proceedings of the 10th International Symposium on Applied Reconfigurable Computing (ARC), Springer, 2014, pp. 283–290.
LibreCat
| Files available
| DOI
S. Meisner, M. Platzner, in: D. Goehringer, M. Santambrogio, J.P. Cardoso, K. Bertels (Eds.), Proceedings of the 10th International Symposium on Applied Reconfigurable Computing (ARC), Springer, 2014, pp. 283–290.
2014 | Bachelorsthesis | LibreCat-ID: 348
The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores
C. Rüthing, The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores, Universität Paderborn, 2014.
LibreCat
C. Rüthing, The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores, Universität Paderborn, 2014.
2014 | Report | LibreCat-ID: 349
The Legal Classification of Identity-Based Signatures
C. Sorge, The Legal Classification of Identity-Based Signatures, 2014.
LibreCat
| Files available
C. Sorge, The Legal Classification of Identity-Based Signatures, 2014.
2014 | Report | LibreCat-ID: 350
The Interaction of Signals: A Fuzzy set Analysis of the Video Game Industry
D. Kaimann, J. Cox, The Interaction of Signals: A Fuzzy Set Analysis of the Video Game Industry, Universität Paderborn, 2014.
LibreCat
| Files available
D. Kaimann, J. Cox, The Interaction of Signals: A Fuzzy Set Analysis of the Video Game Industry, Universität Paderborn, 2014.
2014 | Mastersthesis | LibreCat-ID: 351
The Impact of Customer Reviews and Reputation on Hotel Prices
L. Holzweißig, The Impact of Customer Reviews and Reputation on Hotel Prices, Universität Paderborn, 2014.
LibreCat
L. Holzweißig, The Impact of Customer Reviews and Reputation on Hotel Prices, Universität Paderborn, 2014.