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.
5711 Publications
2011 | Conference Paper | LibreCat-ID: 795
MDHT: A hierarchical name resolution service for information-centric networks
M. D’Ambrosio, C. Dannewitz, H. Karl, V. Vercellone, in: 2011 ACM SIGCOMM Workshop on Information-Centric Networking, ICN 2011, Toronto, ON, Canada, August 19, 2011, 2011, pp. 7--12.
LibreCat
| DOI
M. D’Ambrosio, C. Dannewitz, H. Karl, V. Vercellone, in: 2011 ACM SIGCOMM Workshop on Information-Centric Networking, ICN 2011, Toronto, ON, Canada, August 19, 2011, 2011, pp. 7--12.
2011 | Conference Paper | LibreCat-ID: 796
Multihop Performance of Cooperative Preamble Sampling MAC(CPS-MAC) in Wireless Sensor Networks
R. Azeem M. Khan, H. Karl, in: Ad-Hoc, Mobile, and Wireless Networks - 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings, 2011, pp. 145--149.
LibreCat
| DOI
R. Azeem M. Khan, H. Karl, in: Ad-Hoc, Mobile, and Wireless Networks - 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings, 2011, pp. 145--149.
2011 | Conference Paper | LibreCat-ID: 797
Reducing power consumption of mobile access networks with cooperation
M. Herlich, H. Karl, in: 2nd International Conference on Energy-Efficient Computing and Networking 2011, e-Energy ’11, New York, NY, USA - May 31 - June 01, 2011, 2011, pp. 77--86.
LibreCat
| DOI
M. Herlich, H. Karl, in: 2nd International Conference on Energy-Efficient Computing and Networking 2011, e-Energy ’11, New York, NY, USA - May 31 - June 01, 2011, 2011, pp. 77--86.
2011 | Conference Paper | LibreCat-ID: 798
A Game-Theoretical Approach to the Benefits of Cloud Computing
J. Künsemöller, H. Karl, in: Economics of Grids, Clouds, Systems, and Services - 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers, 2011, pp. 148--160.
LibreCat
| DOI
J. Künsemöller, H. Karl, in: Economics of Grids, Clouds, Systems, and Services - 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers, 2011, pp. 148--160.
2011 | Conference Paper | LibreCat-ID: 799
Coding Opportunities from Similar Data in Wireless Cooperation Diversity Systems
T. Volkhausen, K. Schinköthe, H. Karl, in: IEEE 8th International Conference on Mobile Adhoc and Sensor Systems, MASS 2011, Valencia, Spain, October 17-22, 2011, 2011, pp. 146--148.
LibreCat
| DOI
T. Volkhausen, K. Schinköthe, H. Karl, in: IEEE 8th International Conference on Mobile Adhoc and Sensor Systems, MASS 2011, Valencia, Spain, October 17-22, 2011, 2011, pp. 146--148.
2011 | Conference Paper | LibreCat-ID: 800
Designing optical metro and access networks for future cooperative cellular systems
T. Biermann, L. Scalia, H. Karl, in: Proceedings of the 14th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2011, Miami, Florida, USA, October 31 - November 4, 2011, 2011, pp. 265--274.
LibreCat
| DOI
T. Biermann, L. Scalia, H. Karl, in: Proceedings of the 14th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2011, Miami, Florida, USA, October 31 - November 4, 2011, 2011, pp. 265--274.
2011 | Conference Paper | LibreCat-ID: 801
The Trade-Off between Power Consumption and Latency in Computer Networks
M. Herlich, H. Karl, in: NETWORKING 2011 Workshops - International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at {NETWORKING} 2011, Valencia, Spain, May 13, 2011, Revised Selected Papers, 2011, pp. 273--280.
LibreCat
| DOI
M. Herlich, H. Karl, in: NETWORKING 2011 Workshops - International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at {NETWORKING} 2011, Valencia, Spain, May 13, 2011, Revised Selected Papers, 2011, pp. 273--280.
2011 | Conference Paper | LibreCat-ID: 802
Improving CoMP cluster feasibility by dynamic serving base station reassignment
T. Biermann, L. Scalia, C. Choi, H. Karl, W. Kellerer, in: IEEE 22nd International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2011, Toronto, ON, Canada, September 11-14, 2011, 2011, pp. 1325--1330.
LibreCat
| DOI
T. Biermann, L. Scalia, C. Choi, H. Karl, W. Kellerer, in: IEEE 22nd International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2011, Toronto, ON, Canada, September 11-14, 2011, 2011, pp. 1325--1330.
2011 | Conference Paper | LibreCat-ID: 803
Backhaul Design and Controller Placement for Cooperative Mobile Access Networks
T. Biermann, L. Scalia, J. Widmer, H. Karl, in: Proceedings of the 73rd IEEE Vehicular Technology Conference, VTC Spring 2011, 15-18 May 2011, Budapest, Hungary, 2011, pp. 1--5.
LibreCat
| DOI
T. Biermann, L. Scalia, J. Widmer, H. Karl, in: Proceedings of the 73rd IEEE Vehicular Technology Conference, VTC Spring 2011, 15-18 May 2011, Budapest, Hungary, 2011, pp. 1--5.
2011 | Conference Paper | LibreCat-ID: 804
Backhaul network pre-clustering in cooperative cellular mobile access networks
T. Biermann, L. Scalia, C. Choi, H. Karl, W. Kellerer, in: 12th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WOWMOM 2011, Lucca, Italy, 20-24 June, 2011, 2011, pp. 1--9.
LibreCat
| DOI
T. Biermann, L. Scalia, C. Choi, H. Karl, W. Kellerer, in: 12th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WOWMOM 2011, Lucca, Italy, 20-24 June, 2011, 2011, pp. 1--9.
2011 | Conference Paper | LibreCat-ID: 8044
Kompatibilitätsanalyse bei Evolution framework-basierter Anwendungen
F. Christ, J.-C. Bals, in: Proceedings of the 3rd Design for Future Workshop Held at the Software Engineering 2011 Conference (SE2011), Karlsruhe (Germany), GI, 2011, pp. 29–40.
LibreCat
F. Christ, J.-C. Bals, in: Proceedings of the 3rd Design for Future Workshop Held at the Software Engineering 2011 Conference (SE2011), Karlsruhe (Germany), GI, 2011, pp. 29–40.
2011 | Conference Paper | LibreCat-ID: 8045
A Reference Architecture for Semantic Content Management Systems
F. Christ, B. Nagel, in: Proceeding of the Enterprise Modelling and Information Systems Architectures Workshop 2011 (EMISA’11), Hamburg (Germany), GI, 2011, pp. 135–148.
LibreCat
F. Christ, B. Nagel, in: Proceeding of the Enterprise Modelling and Information Systems Architectures Workshop 2011 (EMISA’11), Hamburg (Germany), GI, 2011, pp. 135–148.
2011 | Conference Paper | LibreCat-ID: 8046
Situational Software Engineering: Ein Rahmenwerk für eine situationsgerechte Auswahl von Entwicklungsmethoden und Vorgehensmodellen
G. Engels, M. Kremer, in: Proceedings Der41. Jahrestagung Der Gesellschaft Für Informatik - Informatik 2011;, GI, 2011.
LibreCat
G. Engels, M. Kremer, in: Proceedings Der41. Jahrestagung Der Gesellschaft Für Informatik - Informatik 2011;, GI, 2011.
2011 | Conference Paper | LibreCat-ID: 8047
Services aus der Cloud = Fahren im Nebel? Wie minimiere ich die Risiken und erreiche hohe Qualität?
G. Engels, in: Proceedings Der 41. Jahrestagung Der Gesellschaft Für Informatik - Informatik 2011, GI, 2011.
LibreCat
G. Engels, in: Proceedings Der 41. Jahrestagung Der Gesellschaft Für Informatik - Informatik 2011, GI, 2011.
2011 | Conference Paper | LibreCat-ID: 8048
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 Services Computing (SCC’11), IEEE Computer Society, 2011, pp. 218–225.
LibreCat
| DOI
C. Gerth, M. Luckey, J. Küster, G. Engels, in: Proceedings of the IEEE 8th International Conference on Services Computing (SCC’11), IEEE Computer Society, 2011, pp. 218–225.
2011 | Conference Paper | LibreCat-ID: 8049
Selektionswerkzeug zur Auswahl projektspezifischer Vorgehensstrategien
M. Heinemann, M. Palme, A. Rothmann, F. Salger, J. Schönke, G. Engels, in: Software Engineering 2011, Gesellschaft für Informatik (GI), Bonn, 2011, pp. 33–36.
LibreCat
M. Heinemann, M. Palme, A. Rothmann, F. Salger, J. Schönke, G. Engels, in: Software Engineering 2011, Gesellschaft für Informatik (GI), Bonn, 2011, pp. 33–36.
2011 | Conference Paper | LibreCat-ID: 8050
Pattern-Based Modeling and Formalizing of Business Process Quality Constraints
L. Khaluf, C. Gerth, G. Engels, in: Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE’11), Springer, Berlin/Heidelberg, 2011, pp. 521–535.
LibreCat
| DOI
L. Khaluf, C. Gerth, G. Engels, in: Proceedings of the 23rd International Conference on Advanced Information System Engineering (CAiSE’11), Springer, Berlin/Heidelberg, 2011, pp. 521–535.
2011 | Conference Paper | LibreCat-ID: 8051
Authentifizierte Eingaben auf Multitouch-Tischen
H. Jung, K. Nebe, F. Klompmaker, H.G. Fischer, in: Mensch & Computer 2011, 11. Fachübergreifende Konferenz Für Interaktive Und Kooperative Medien, ÜberMEDIEN - ÜBERmorgen, Oldenbourg Wissenschaftsverlag, 2011, pp. 305–308.
LibreCat
H. Jung, K. Nebe, F. Klompmaker, H.G. Fischer, in: Mensch & Computer 2011, 11. Fachübergreifende Konferenz Für Interaktive Und Kooperative Medien, ÜberMEDIEN - ÜBERmorgen, Oldenbourg Wissenschaftsverlag, 2011, pp. 305–308.
2011 | Conference Paper | LibreCat-ID: 8052
Adapt Cases: Extending Use Cases for Adaptive Systems
M. Luckey, B. Nagel, C. Gerth, G. Engels, in: Proceeding of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, ACM, New York, NY, USA, 2011, pp. 30–39.
LibreCat
M. Luckey, B. Nagel, C. Gerth, G. Engels, in: Proceeding of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, ACM, New York, NY, USA, 2011, pp. 30–39.
2011 | Conference Paper | LibreCat-ID: 8053
QUAASY - QUality Assurance of Adaptive SYstems
M. Luckey, C. Gerth, C. Soltenborn, G. Engels, in: Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11), ACM, 2011.
LibreCat
| DOI
M. Luckey, C. Gerth, C. Soltenborn, G. Engels, in: Proceedings of the 8th International Conference on Autonomic Computing (ICAC’11), ACM, 2011.
2011 | Conference Paper | LibreCat-ID: 8054
Extending DMM Behavior Specifications for Visual Execution and Debugging
N. Bandener, C. Soltenborn, G. Engels, in: Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010), Springer, Berlin/Heidelberg, 2011, pp. 357–376.
LibreCat
| DOI
N. Bandener, C. Soltenborn, G. Engels, in: Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010), Springer, Berlin/Heidelberg, 2011, pp. 357–376.
2011 | Report | LibreCat-ID: 8221
Testen von Software-Produktlinien
F. Brüseke, F. Christ, S. Sauer, A. Wübbeke, Testen von Software-Produktlinien, University of Paderborn, Software Quality Lab (s-lab), 2011.
LibreCat
F. Brüseke, F. Christ, S. Sauer, A. Wübbeke, Testen von Software-Produktlinien, University of Paderborn, Software Quality Lab (s-lab), 2011.
2011 | Book Chapter | LibreCat-ID: 6293
Exploiting New Interaction Techniques for Disaster Control Management Using Multitouch-, Tangible- and Pen-Based-Interaction
K. Nebe, F. Klompmaker, H. Jung, H.G. Fischer, in: J.A. Jacko (Ed.), Human-Computer Interaction. Interaction Techniques and Environments., Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 100–109.
LibreCat
| DOI
K. Nebe, F. Klompmaker, H. Jung, H.G. Fischer, in: J.A. Jacko (Ed.), Human-Computer Interaction. Interaction Techniques and Environments., Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 100–109.
2011 | Conference Paper | LibreCat-ID: 6298
Multitouch-, Be-Greifbare- und Stiftbasierte-Interaktion in der Einsatzlageplanung
K. Nebe, H.G. Fischer, F. Klompmaker, H. Jung, in: Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen, Oldenbourg Wissenschaftsverlag, 2011, pp. 263–273.
LibreCat
K. Nebe, H.G. Fischer, F. Klompmaker, H. Jung, in: Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen, Oldenbourg Wissenschaftsverlag, 2011, pp. 263–273.
2011 | Conference Paper | LibreCat-ID: 6299
Authentifizierte Eingaben auf Multitouch-Tischen
H. Jung, K. Nebe, F. Klompmaker, H.G. Fischer, in: Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen, Oldenbourg Wissenschaftsverlag, 2011, pp. 305–308.
LibreCat
H. Jung, K. Nebe, F. Klompmaker, H.G. Fischer, in: Mensch & Computer 2011, 11. fachübergreifende Konferenz für interaktive und kooperative Medien, überMEDIEN - ÜBERmorgen, Oldenbourg Wissenschaftsverlag, 2011, pp. 305–308.
2011 | Book Chapter | LibreCat-ID: 6300
A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities
H.G. Fischer, K. Nebe, F. Klompmaker, in: M. Kurosu (Ed.), Human Centered Design, Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 28–37.
LibreCat
| DOI
H.G. Fischer, K. Nebe, F. Klompmaker, in: M. Kurosu (Ed.), Human Centered Design, Springer Berlin Heidelberg, Berlin, Heidelberg, 2011, pp. 28–37.
2011 | Conference Paper | LibreCat-ID: 6301
Der Qualitätsstandard für Usability Engineering der German UPA – Aktueller Stand der Arbeiten
H.G. Fischer, C. Bogner, T. Geis, K. Polkehn, D. Zimmermann, in: Jahresband Usability Professionals, German UPA, 2011, pp. 72–74.
LibreCat
H.G. Fischer, C. Bogner, T. Geis, K. Polkehn, D. Zimmermann, in: Jahresband Usability Professionals, German UPA, 2011, pp. 72–74.
2011 | Conference Paper | LibreCat-ID: 645
Stabilizing consensus with the power of two choices
B. Doerr, L.A. Goldberg, L. Minder, T. Sauerwald, C. Scheideler, in: Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2011, pp. 149–158.
LibreCat
| Files available
| DOI
B. Doerr, L.A. Goldberg, L. Minder, T. Sauerwald, C. Scheideler, in: Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2011, pp. 149–158.
2011 | Journal Article | LibreCat-ID: 7353
Modellbasiertes Testen: Hype oder Realität?
S. Weißleder, B. Güldali, M. Mlynarski, A.-M. Törsel, D. Faragó, F. Prester, M. Winter, OBJEKTspektrum (2011) 59–65.
LibreCat
S. Weißleder, B. Güldali, M. Mlynarski, A.-M. Törsel, D. Faragó, F. Prester, M. Winter, OBJEKTspektrum (2011) 59–65.
2011 | Journal Article | LibreCat-ID: 7354
TORC: test plan optimization by requirements clustering
B. Güldali, H. Funke, S. Sauer, G. Engels, Software Quality Journal 19 (2011) 771–799.
LibreCat
| DOI
B. Güldali, H. Funke, S. Sauer, G. Engels, Software Quality Journal 19 (2011) 771–799.
2011 | Journal Article | LibreCat-ID: 7355
Using rule overriding to improve reusability and understandability of Dynamic Meta Modeling specifications
C. Soltenborn, G. Engels, Journal of Visual Languages & Computing 22 (2011) 233–250.
LibreCat
| DOI
C. Soltenborn, G. Engels, Journal of Visual Languages & Computing 22 (2011) 233–250.
2011 | Conference Paper | LibreCat-ID: 7535
Physiologische Beanspruchungsreaktionen bei der Anwendung von kopfgetragenen AR-Displays
I. Böckelmann, D. Schenk, T. Rößler, S. Adler, B. Senft, J. Grubert, R. Mecke, A. Huckauf, M. Urbina, J. Tümler, S. Darius, in: 2011.
LibreCat
I. Böckelmann, D. Schenk, T. Rößler, S. Adler, B. Senft, J. Grubert, R. Mecke, A. Huckauf, M. Urbina, J. Tümler, S. Darius, in: 2011.
2011 | Conference Paper | LibreCat-ID: 7536
User Centered Design Process of OSAMi-D - Developing User Interfaces for a Remote Ergometer Training Application
F. Klompmaker, B. Senft, K. Nebe, C. Busch, D. Willemsen, in: {HEALTHINF} 2011 - Proceedings of the International Conference on Health Informatics, Rome, Italy, 26-29 January, 2011, 2011, pp. 268–273.
LibreCat
F. Klompmaker, B. Senft, K. Nebe, C. Busch, D. Willemsen, in: {HEALTHINF} 2011 - Proceedings of the International Conference on Health Informatics, Rome, Italy, 26-29 January, 2011, 2011, pp. 268–273.
2011 | Conference Paper | LibreCat-ID: 8471
Palladio-based performance blame analysis
F. Brüseke, S. Becker, G. Engels, in: Proceedings of the 16th International Workshop on Component-Oriented Programming (WCOP; Satellite Event of the CompArch 2011), Boulder Colorado, CO (USA), ACM, New York, NY (USA), 2011, pp. 25–32.
LibreCat
| DOI
F. Brüseke, S. Becker, G. Engels, in: Proceedings of the 16th International Workshop on Component-Oriented Programming (WCOP; Satellite Event of the CompArch 2011), Boulder Colorado, CO (USA), ACM, New York, NY (USA), 2011, pp. 25–32.
2011 | Conference Paper | LibreCat-ID: 8472
Semi-automatische Ableitung externer Anpassungsmechanismen für selbst-adaptive Systeme
B. Nagel, in: Proceedings of the Software Engineering 2011 (SE 2011), Karlsruhe (Germany), Gesellschaft für Informatik (GI), Bonn, 2011.
LibreCat
B. Nagel, in: Proceedings of the Software Engineering 2011 (SE 2011), Karlsruhe (Germany), Gesellschaft für Informatik (GI), Bonn, 2011.
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 | 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 | 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: 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 | 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: 659
Fault attacks in pairing-based cryptography
G. Liske, Fault Attacks in Pairing-Based Cryptography, Universität Paderborn, 2011.
LibreCat
| Files available
G. Liske, Fault Attacks in Pairing-Based Cryptography, Universität Paderborn, 2011.
2011 | Bachelorsthesis | LibreCat-ID: 660
Defining and Deploying Complex Applicances in Multi-Site Cloud Environments
M. Peuster, Defining and Deploying Complex Applicances in Multi-Site Cloud Environments, Universität Paderborn, 2011.
LibreCat
M. Peuster, Defining and Deploying Complex Applicances in Multi-Site Cloud Environments, 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.