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.
10457 Publications
2011 | Conference Paper | LibreCat-ID: 646
Self-Stabilizing DeBruijn Networks
A.W. Richa, C. Scheideler, in: Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2011, pp. 416–430.
LibreCat
| Files available
| DOI
A.W. Richa, C. Scheideler, in: Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2011, pp. 416–430.
2011 | Book Chapter | LibreCat-ID: 6466
Bildungsmaßnahmen zur Berufsorientierung im Justizvollzug - Konzept und Erfahrungen
M. Beutner, H.-H. Kremer, W. Wirth, in: M. Beutner, H.-H. Kremer, A. Zoyke (Eds.), bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011, Workshop 16, 2011, pp. 1–26.
LibreCat
| Download (ext.)
M. Beutner, H.-H. Kremer, W. Wirth, in: M. Beutner, H.-H. Kremer, A. Zoyke (Eds.), bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011, Workshop 16, 2011, pp. 1–26.
2011 | Book Chapter | LibreCat-ID: 6467
Editorial zu Workshop 16: Individuelle Förderung - Konzepte und Erfahrungen zur Berufsorientierung im Übergang
M. Beutner, H.-H. Kremer, A. Zoyke, in: M. Beutner, H.-H. Kremer, A. Zoyke (Eds.), WS 16 Individuelle Förderung. Konzepte und Erfahrungen zur Berufsorientierung im Übergang. bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011, 2011.
LibreCat
| Download (ext.)
M. Beutner, H.-H. Kremer, A. Zoyke, in: M. Beutner, H.-H. Kremer, A. Zoyke (Eds.), WS 16 Individuelle Förderung. Konzepte und Erfahrungen zur Berufsorientierung im Übergang. bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011, 2011.
2011 | Journal Article | LibreCat-ID: 647
Selected papers on Integrated Formal Methods (iFM09)
M. Leuschel, H. Wehrheim, Science of Computer Programming (2011) 835--836.
LibreCat
| Files available
| DOI
M. Leuschel, H. Wehrheim, Science of Computer Programming (2011) 835--836.
2011 | Book Chapter | LibreCat-ID: 6470
Berufsorientierung als Herausforderung für berufsbildende Schulen!
H.-H. Kremer, in: J. Rützel, A. Zöller (Eds.), bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Workshop 02, 2011, pp. 1–12.
LibreCat
| Download (ext.)
H.-H. Kremer, in: J. Rützel, A. Zöller (Eds.), bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Workshop 02, 2011, pp. 1–12.
2011 | Book Chapter | LibreCat-ID: 6472
Editorial Fachtagung Wirtschaft und Verwaltung: Zwischenbilanz des Lernfeldkonzepts - erfolgreiche Neuorientierung oder Irrweg
H.-H. Kremer, T. Tramm, in: H.-H. Kremer, T. Tramm (Eds.), bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Fachtagung 19, 2011, pp. 1–13.
LibreCat
| Download (ext.)
H.-H. Kremer, T. Tramm, in: H.-H. Kremer, T. Tramm (Eds.), bwp@ Sepzial 5 - Hochschultage Berufliche Bildung 2011, Fachtagung 19, 2011, pp. 1–13.
2011 | Book Chapter | LibreCat-ID: 6473
Kooperationsvorhaben ‚berufliches Gymnasium‘ und Bachelor Wirtschaftswissenschaften. Ein Paderborner Modellprojekt zur Berufs- und Studienorientierung
H.-H. Kremer, D. Sandmann, in: K.-H. Gerholz, P.F.E. Sloane (Eds.), bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011, Workshop 29, 2011, pp. 1–18.
LibreCat
| Download (ext.)
H.-H. Kremer, D. Sandmann, in: K.-H. Gerholz, P.F.E. Sloane (Eds.), bwp@ Spezial 5 - Hochschultage Berufliche Bildung 2011, Workshop 29, 2011, pp. 1–18.
2011 | Mastersthesis | LibreCat-ID: 648
Robust Distributed Computation in Dynamic Networks
P. Brandes, Robust Distributed Computation in Dynamic Networks, Universität Paderborn, 2011.
LibreCat
P. Brandes, Robust Distributed Computation in Dynamic Networks, Universität Paderborn, 2011.
2011 | Journal Article | LibreCat-ID: 649
Reputation-based Reliability Prediction of Service Compositions
G. Besova, H. Wehrheim, A. Wagner, Electronic Notes in Theoretical Computer Science (2011) 3–16.
LibreCat
| Files available
| DOI
G. Besova, H. Wehrheim, A. Wagner, Electronic Notes in Theoretical Computer Science (2011) 3–16.
2011 | Mastersthesis | LibreCat-ID: 650
Reengineering of Design Deficiencies in Component-Based Software Architectures
M.C. Platenius, Reengineering of Design Deficiencies in Component-Based Software Architectures, Universität Paderborn, 2011.
LibreCat
M.C. Platenius, Reengineering of Design Deficiencies in Component-Based Software Architectures, Universität Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 652
Precise Mappings between Business Process Models in Versioning Scenarios
C. Gerth, M. Luckey, J. Küster, G. Engels, in: Proceedings of the IEEE 8th International Conference on Service Computingt (SCC), 2011, pp. 218--225.
LibreCat
| Files available
| DOI
C. Gerth, M. Luckey, J. Küster, G. Engels, in: Proceedings of the IEEE 8th International Conference on Service Computingt (SCC), 2011, pp. 218--225.
2011 | Conference Paper | LibreCat-ID: 653
Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study
S. Lehrig, T. Zolynski, in: Proceedings of the Palladio Days 2011, 2011, pp. 15–22.
LibreCat
| Files available
| DOI
S. Lehrig, T. Zolynski, in: Proceedings of the Palladio Days 2011, 2011, pp. 15–22.
2011 | Conference Paper | LibreCat-ID: 654
PeerfactSim.KOM: A PSP System Simulator - Experiences and Lessons Learned
K. Graffi, in: Proceedings of the IEEE International Conference on Peer-to-Peer Computing (IEEE PsP), 2011, pp. 154–155.
LibreCat
| Files available
| DOI
K. Graffi, in: Proceedings of the IEEE International Conference on Peer-to-Peer Computing (IEEE PsP), 2011, pp. 154–155.
2011 | Mastersthesis | LibreCat-ID: 655
Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud
J. Meyer, Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud, Universität Paderborn, 2011.
LibreCat
J. Meyer, Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud, Universität Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 657
Local Approximation Algorithms for the Uncapacitated Metric Facility Location Problem in Power-Aware Sensor Networks
S. Abshoff, A. Cord-Landwehr, B. Degener, B. Kempkes, P. Pietrzyk, in: Proceedings of the 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities (ALGOSENSORS), 2011, pp. 13–27.
LibreCat
| Files available
| DOI
S. Abshoff, A. Cord-Landwehr, B. Degener, B. Kempkes, P. Pietrzyk, in: Proceedings of the 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities (ALGOSENSORS), 2011, pp. 13–27.
2011 | Mastersthesis | LibreCat-ID: 658
Function Specification Inference Using Craig Interpolation
A. Schremmer, Function Specification Inference Using Craig Interpolation, Universität Paderborn, 2011.
LibreCat
A. Schremmer, Function Specification Inference Using Craig Interpolation, Universität Paderborn, 2011.
2011 | Mastersthesis | LibreCat-ID: 661
Coverage Criteria for Testing DMM Specifications
S. Arifulina, Coverage Criteria for Testing DMM Specifications, Universität Paderborn, 2011.
LibreCat
S. Arifulina, Coverage Criteria for Testing DMM Specifications, Universität Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 662
Corona: A Stabilizing Deterministic Message-Passing Skip List
M. Nesterenko, R. Mohd, C. Scheideler, in: Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2011, pp. 356--370.
LibreCat
| Files available
| DOI
M. Nesterenko, R. Mohd, C. Scheideler, in: Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2011, pp. 356--370.
2011 | Mastersthesis | LibreCat-ID: 663
Complexity Classes for Local Computation
K. Swierkot, Complexity Classes for Local Computation, Universität Paderborn, 2011.
LibreCat
K. Swierkot, Complexity Classes for Local Computation, Universität Paderborn, 2011.
2011 | Conference Paper | LibreCat-ID: 664
An Experimental Comparison of Load Balancing Strategies in a Web Computing Environment
J. Gehweiler, P. Kling, F. Meyer auf der Heide, in: Proceedings of the 9th International Conference on Parallel Processing and Applied Mathematics (PPAM), 2011, pp. 31--40.
LibreCat
| Files available
| DOI
J. Gehweiler, P. Kling, F. Meyer auf der Heide, in: Proceedings of the 9th International Conference on Parallel Processing and Applied Mathematics (PPAM), 2011, pp. 31--40.