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.

9804 Publications


2015 | Conference Paper | LibreCat-ID: 47232
To Pin or Not to Pin-Helping App Developers Bullet Proof Their TLS Connections
M. Oltrogge, Y. Acar, S. Dechand, M. Smith, S. Fahl, in: J. Jung, T. Holz (Eds.), 24th USENIX Security Symposium, USENIX Security 15, Washington, D.C., USA, August 12-14, 2015, USENIX Association, 2015, pp. 239–254.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 48838
Learning Feature-Parameter Mappings for Parameter Tuning via the Profile Expected Improvement
J. Bossek, B. Bischl, T. Wagner, G. Rudolph, in: Proceedings of the Genetic and Evolutionary Computation Conference, Association for Computing Machinery, New York, NY, USA, 2015, pp. 1319–1326.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 48887
Evaluation of a Multi-Objective EA on Benchmark Instances for Dynamic Routing of a Vehicle
S. Meisel, C. Grimme, J. Bossek, M. Wölck, G. Rudolph, H. Trautmann, in: Proceedings of the Genetic and Evolutionary Computation Conference , Association for Computing Machinery, New York, NY, USA, 2015, pp. 425–432.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 29608
Optimum Efficiency Control of Interior Permanent Magnet Synchronous Motors in Drive Trains of Electric and Hybrid Vehicles
W. Peters, O. Wallscheid, J. Böcker, in: European Conference on Power Electronics and Applications (EPE), 2015.
LibreCat | DOI
 

2015 | Conference Paper | LibreCat-ID: 31368
Kann professorale Lehre tutoriell sein? Ein Modellversuch zur Einführung in mathematisches Denken und Arbeiten
J. Hilgert, M. Hoffmann, A. Panse, in: W. Paravicini, J. Schnieder (Eds.), Tagungsband Zum Hansekolloquium Zur Hochschuldidaktik Der Mathematik., WTM-Verlag, Münster, 2015, pp. 23–26.
LibreCat
 

2015 | Book | LibreCat-ID: 31373
Einführung in mathematisches Denken und Arbeiten: tutoriell und transparent
J. Hilgert, M. Hoffmann, A. Panse, Einführung in mathematisches Denken und Arbeiten: tutoriell und transparent, Springer, Berlin, Heidelberg, 2015.
LibreCat | DOI | Download (ext.)
 

2015 | Preprint | LibreCat-ID: 51526 LibreCat | Download (ext.)
 

2015 | Preprint | LibreCat-ID: 51527
Contraction of Hamiltonian K-spaces
J. Hilgert, C. Manon, J. Martens, (2015).
LibreCat | Download (ext.)
 

2015 | Preprint | LibreCat-ID: 51529 LibreCat | Download (ext.)
 

2015 | Preprint | LibreCat-ID: 51530
Superorbits
J. Hilgert, A. Alldridge, T. Wurzbacher, (2015).
LibreCat | Download (ext.)
 

2015 | Dissertation | LibreCat-ID: 45973 | OA
Efficient numerical methods for elliptic and parabolic partial differential equations
B. Kovács, Efficient Numerical Methods for Elliptic and Parabolic Partial Differential Equations, Budapest, Hungary, 2015.
LibreCat | DOI | Download (ext.)
 

2015 | Conference Paper | LibreCat-ID: 33620
Sprachsensibler Umgang mit Textmustern im Mathematikunterricht am Beispiel von Konstruktionsbeschreibungen
S. Rezat, S. Rezat, S. Janzen, in: F. Caluori, H. Linneweber-Lammerskitten, Chr. Streit (Eds.), Beiträge zum Mathematikunterricht 2015. Vorträge auf der 49. Tagung für Didaktik der Mathematik vom 09.02.2015 bis 13.02.2015 in Basel. Band 2, WTM, Münster, 2015, pp. 736–739.
LibreCat
 

2015 | Book (Editor) | LibreCat-ID: 53590
Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems
D. Müller-Gridschneder, W. Müller, S. Mitra, eds., Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems, Amsterdam, Netherlands, 2015.
LibreCat
 

2015 | Conference Paper | LibreCat-ID: 54341
Online Tests for Evaluating Learning Success
K. Hesse, in: Extended Abstract Der Khdm Conference 2015, 8 Seiten. (Dieser Extended Abstract Ist Online Publiziert Als Khdm-Report Zur Khdm Conference 2015.), 2015.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25112
Towards Context-Sensitive Service Composition for Service-Oriented Image Processing
A. Jungmann, B. Kleinjohann, in: Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), IEEE, 2014, pp. 755–758.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25114
Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services
A. Jungmann, S. Brangewitz, R. Petrlic, M.C. Platenius, International Journal on Advances in Intelligent Systems 7(3&4) (2014) 572–594.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25115
Applying Reinforcement Learning for Resolving Ambiguity in Service Composition
A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), IEEE Computer Society, 2014, pp. 105–112.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25116
Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation
M. Becker, C. Kuznik, Forum on Specification & Design Languages (FDL 2014) (2014).
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25119
Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces
C. Stern, L. Kleinjohann, in: Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014, Institute of Industrial Applications Engineers, 2014, pp. 209–215.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25122
A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors
S. Grösbrink, L. Almeida, in: 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25145
Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software
M. Becker, C. Kuznik, W. Müller, in: 17th Euromicro Conference on Digital Systems Design (DSD), 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25147
Towards Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems
J. Jatzkowski, B. Kleinjohann, in: 2nd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt), 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25148
Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System
K. Sudhakar, Y. Zhao, F.-J. Rammig, in: Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, Reno, NV, 2014, pp. 374–383.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25149
Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems
F.-J. Rammig, K. Stahl, in: Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium On, 2014, pp. 334–341.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25150
Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services
A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 10th World Congress on Services (SERVICES), IEEE, 2014, pp. 346–353.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25152
Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems
S. Grösbrink, in: 8th IEEE International Conference on Software Security and Reliability, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25153
Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services
A. Jungmann, S. Brangewitz, R. Petrlic, M.C. Platenius, in: Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp. 49–57.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25154 LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25155
Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems
M. Becker, C. Kuznik, W. Müller, in: ACM/IEEE 5th International Conference on Cyber-Physical Systems, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25156
Security and Privacy Challenges in On-The-Fly Computing
R. Petrlic, A. Jungmann, M.C. Platenius, W. Schäfer, C. Sorge, in: Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25159 LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25160
Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization
S. Grösbrink, L. Almeida, M. de Sousa, S.M. Petters, in: 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25161
Portierung der TriCore-Architektur auf QEMU
B. Koppelmann, M. Becker, W. Müller, in: 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) , 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25165
Hypervisor-based Consolidation for Automated Teller Machines
S. Grösbrink, S. Korrapati, A. Schmitz, A. Schreckenberg, in: Embedded World Conference, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25167
Evaluation of Color Spaces for Robust Image Segmentation
A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP), INSTICC PRESS, 2014.
LibreCat
 

2014 | Book | LibreCat-ID: 25168
Dependability of Self-Optimizing Mechatronic Systems
J. Gausemeier, F.-J. Rammig, W. Schäfer, W. Sextro, Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag, Heidelberg, Germany, 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25170
Self-optimization by Reconfiguration
S. Grösbrink, S. Korf, M. Porrmann, C. Priesterjahn, K. Stahl, in: Design Methodology for Intelligent Technical Systems, Springer-Verlag, Heidelberg, Germany, 2014, pp. 19–22.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25171
Virtualization
S. Grösbrink, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag , Heidelberg, Germany, 2014, pp. 152–157.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25172
Designing Self-Adaptive Embedded Real-time Software - Towards System Engineering of Self-Adaptation
F.-J. Rammig, S. Grösbrink, K. Stahl, Y. Zhao, in: Brazilian Symposium on Computing Systems Engineering (SBESC), SBC, 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25173
Self-optimizing Mechatronic Systems
M. Dellnitz, K. Flaßkamp, P. Hartmann, M. Krüger, T. Meyer, C. Priesterjahn, S. Ober-Blöbaum, C. Rasche, W. Sextro, K. Stahl, A. Trächtler, in: Dependability of Self-Optimizing Mechatronic Systems, Kapitel: 1.1, Springer-Verlag, Heidelberg, Germany, 2014, pp. 3–12.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25175
System Software
S. Grösbrink, S. Oberthür, K. Stahl, in: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development, Springer-Verlag, Heidelberg, Germany, 2014, pp. 298–317.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25176
Development of Self-Optimizing Systems
J. Gausemeier, S. Korf, M. Porrmann, K. Stahl, O. Sudmann, M. Vaßholz, in: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3, Springer-Verlag , Heidelberg, Germany, 2014, pp. 65–117.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25177
Development of the RailCab Vehicle
K. Flaßkamp, S. Grösbrink, P. Hartmann, C. Heinzemann, B. Kleinjohann, L. Kleinjohann, M. Krüger, S. Ober-Blöbaum, C. Priesterjahn, C. Rasche, W. Schäfer, D. Steenken, A. Trächtler, H. Wehrheim, S. Ziegert, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag , Heidelberg, Germany, 2014, pp. 184–190.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25179
Online Model Checking
F.-J. Rammig, Y. Zhao, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag, Heidelberg, Germany, 2014, pp. 147–152.
LibreCat
 

2014 | Book | LibreCat-ID: 25180
Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future
J. Gausemeier, F.-J. Rammig, W. Schäfer, Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future, Springer-Verlag, Heidelberg, Germany, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20007
The common stomach: Organizing task allocation in wasp societies
H. Hamann, I. Karsai, T. Schmickl, A. Hilbun, in: Symposium on Biomathematics and Ecology: Education and Research, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20008
Swarm in a Fly Bottle: Feedback-Based Analysis of Self-organizing Temporary Lock-ins
H. Hamann, G. Valentini, in: Ninth Int. Conf. on Swarm Intelligence (ANTS 2014), Cham, 2014.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 20120
Analysis of Swarm Behaviors Based on an Inversion of the Fluctuation Theorem
H. Hamann, T. Schmickl, K. Crailsheim, Artificial Life 20 (2014) 77–93.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 20121
Self-Organized Collective Decision Making: The Weighted Voter Model
M. Dorigo, H. Hamann, G. Valentini, A. Lomuscio, P. Scerri, A. Bazzan, M. Huhns, in: Proceedings of the 13th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2014), 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 20126
Evolving Prediction Machines: Collective Behaviors Based on Minimal Surprisal
H. Hamann, in: Int. Conf. on Genetic and Evolutionary Computation (GECCO 2014), 2014, pp. 31–32.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 20127
Sorting in Swarm Robots Using Communication-Based Cluster Size Estimation
M. Birattari, M. Dorigo, H. Hamann, S. Garnier, M. Montes de Oca, C. Solnon, T. Stuetzle, H. Ding, in: Ninth Int. Conf. on Swarm Intelligence (ANTS 2014), 2014, pp. 262–269.
LibreCat | DOI
 

2014 | Book Chapter | LibreCat-ID: 20128
Derivation of a Micro-Macro Link for Collective Decision-Making Systems: Uncover Network Features Based on Drift Measurements
Y. Khaluf, M. Dorigo, H. Hamann, G. Valentini, T. Bartz-Beielstein, in: 13th International Conference on Parallel Problem Solving from Nature (PPSN 2014), Springer, 2014, pp. 181–190.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 20129
Evolution of Collective Behaviors by Minimizing Surprise
H. Hamann, H. Sayama, J. Rieffel, S. Risi, R. Doursat, H. Lipson, in: 14th Int. Conf. on the Synthesis and Simulation of Living Systems (ALIFE 2014), MIT Press, 2014, pp. 344–351.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 20130
A Swarm Robotics Approach to Task Allocation Under Soft Deadlines and Negligible Switching Costs
E. Cervera, Y. Khaluf, M. Birattari, H. Hamann, A.P. del Pobil, E. Chinellato, E. Martinez-Martin, J. Hallam, A. Morales, in: Simulation of Adaptive Behavior (SAB 2014), 2014, pp. 270–279.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 20142
A Review Corpus for Argumentation Analysis
H. Wachsmuth, M. Trenkmann, B. Stein, G. Engels, T. Palakarska, in: Proceedings of the 15th International Conference on Intelligent Text Processing and Computational Linguistics, 2014, pp. 115–127.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 2866
Untersuchung des Erreichbarkeitsproblems in ungerichteten Graphen bezüglich den Komplexitätsklassen L und SL
F. Biermeier, Untersuchung Des Erreichbarkeitsproblems in Ungerichteten Graphen Bezüglich Den Komplexitätsklassen L Und SL, 2014.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 2867
Evaluierung von Initialisierungsmethoden für Fuzzy-k-means Algorithmen
M. Sauer, Evaluierung von Initialisierungsmethoden Für Fuzzy-k-Means Algorithmen, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 24155
Rainbow connection number of graph power and graph products
M. Basavaraju, L.S. Chandran, D. Rajendraprasad, A. Ramaswamy, Graphs and Combinatorics 30 (2014) 1363–1382.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 24156
Rainbow connection number and radius
M. Basavaraju, L.S. Chandran, D. Rajendraprasad, A. Ramaswamy, Graphs and Combinatorics 30 (2014) 275–285.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 26537
Twenty years of learning with the World Wide Web
R. Keil, H. Selke, F. Winkelnkemper, (2014) 51–60.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 26538
Zwischen Design und Flexibilit{\"a}t - Zur Ergonomie des Flat Design
F. Winkelnkemper, Reinhard Keil, in: A. Butz, J. Schlichter (Eds.), Oldenbourg Verlag, 2014, pp. 255–264.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 26540
Forschendes Lernen durch semantisches Positionieren
M. Jakoblew , R. Keil, F. Winkelnkemper, in: P. Forbrig, Johannes Magenheim (Eds.), Proceedings Der HDI 2014, Universit{\"a}t Rostock, 2014, pp. 74–84.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 26541
Hypothesengeleitete Gestaltung von Benutzungsoberfl{\"a}chen
R. Keil, C. Schild, in: De Gruyter Oldenbourg, Berlin, 2014, pp. 265–274.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 26542
Knowledge integration processes and distributed knowledge organization
Reinhard Keil, in: S.A. Keller, R. Schneider, B. Volk (Eds.), De Gruyter Saur, Berlin, 2014, pp. 162–179.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 329
MaxiNet: Distributed Emulation of Software-Defined Networks
P. Wette, M. Dräxler, A. Schwabe, F. Wallaschek, M.H. Zahraee, H. Karl, in: Proceedings of the 2014 IFIP Networking Conference (Networking 2014), 2014, pp. 1–9.
LibreCat | Files available | DOI
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

2014 | Conference Paper | LibreCat-ID: 353
Template-based Generation of Semantic Services
F. Mohr, S. Walther, in: Proceedings of the 14th International Conference on Software Reuse (ICSR), 2014, pp. 188–203.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 354
Template Embedding: Using Application Architecture to Allocate Resources in Distributed Clouds
M. Keller, C. Robbert, H. Karl, in: Proceedings of 7th International Conference on Utility and Cloud Computing (UCC), 2014, pp. 387--395.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 355
Tampering attacks in pairing-based cryptography
J. Blömer, P. Günther, G. Liske, in: Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC), 2014, pp. 1--7.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 360 | OA
Specifying and Placing Chains of Virtual Network Functions
S. Dräxler, M. Keller, H. Karl, in: Proceedings of the 3rd International Conference on Cloud Networking (CloudNet), 2014, pp. 7–13.
LibreCat | Files available | DOI
 

2014 | Bachelorsthesis | LibreCat-ID: 361
Simulating load-dependent operation of picocells
D. Roeske, Simulating Load-Dependent Operation of Picocells, Universität Paderborn, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 364
SeSAME: Modeling and Analyzing High-Quality Service Compositions
S. Arifulina, M. Becker, M.C. Platenius, S. Walther, in: Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), 2014, pp. 839–842.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 366
Security and Privacy Challenges in On-The-Fly Computing
R. Petrlic, A. Jungmann, M.C. Platenius, W. Schäfer, C. Sorge, in: Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014, pp. 131–142.
LibreCat | Files available
 

2014 | Conference Paper | LibreCat-ID: 367
Secure Distributed Data Structures for Peer-to-Peer-based Social Networks
J. Janiuk, A. Mäcker, K. Graffi, in: Proceedings of the International Conference on Collaboration Technologies and Systems (CTS), 2014, pp. 396–405.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 368
Scheduling Shared Continuous Resources on Many-Cores
A. Brinkmann, P. Kling, F. Meyer auf der Heide, L. Nagel, S. Riechers, T. Suess, in: Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2014, pp. 128–137.
LibreCat | Files available | DOI
 

2014 | Bachelorsthesis | LibreCat-ID: 369
RSA-Full Domain Hash Revisited
T. Rath, RSA-Full Domain Hash Revisited, Universität Paderborn, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 370
Routing Games with Progressive Filling
T. Harks, M. Höfer, K. Schewior, A. Skopalik, in: Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM’14), 2014, pp. 352–360.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 371
RoBuSt: A Crash-Failure-Resistant Distributed Storage System
C. Scheideler, A. Setzer, M. Eikel, in: Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS), 2014, pp. 107--122.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 372
Response Time-Optimized Distributed Cloud Resource Allocation
M. Keller, H. Karl, in: Proceedings of the SIGCOMM Workshop on Distributed Cloud Computing, 2014, pp. 47--52.
LibreCat | Files available | DOI
 

2014 | Bachelorsthesis | LibreCat-ID: 373
Reputationssysteme für zusammengesetzte Dienstleistungen
D. Pahl, Reputationssysteme für zusammengesetzte Dienstleistungen, Universität Paderborn, 2014.
LibreCat
 

2014 | Dissertation | LibreCat-ID: 376
Reducing Energy Consumption of Radio Access Networks
M. Herlich, Reducing Energy Consumption of Radio Access Networks, Universität Paderborn, 2014.
LibreCat | Files available
 

2014 | Journal Article | LibreCat-ID: 378
Re-Chord: A Self-stabilizing Chord Overlay Network
S. Kniesburges, A. Koutsopoulos, C. Scheideler, Theory of Computing Systems (2014) 591–612.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 379
Randomized Online Algorithms for Set Cover Leasing Problems
S. Abshoff, C. Markarian, F. Meyer auf der Heide, in: Proceedings of the 8th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2014, pp. 25–34.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 380
Quality of Service in Network Creation Games
A. Cord-Landwehr, A. Mäcker, F. Meyer auf der Heide, in: Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 423–428.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 3805
PBlaman: performance blame analysis based on Palladio contracts
F. Brüseke, H. Wachsmuth, G. Engels, S. Becker, in: Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment, 2014, pp. 1975–2004.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 382
Provider Competition in Infrastructure-as-a-Service
J. Künsemöller, S. Brangewitz, H. Karl, C.-J. Haake, in: Proceedings of the 2014 IEEE International Conference on Services Computing (SCC), 2014, pp. 203–210.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 383
Programs from Proofs -- Approach and Applications
D. Wonisch, A. Schremmer, H. Wehrheim, in: Proceedings of the Software Engineering Conference (SE), 2014, pp. 67–68.
LibreCat | Files available | Download (ext.)
 

2014 | Journal Article | LibreCat-ID: 387
Principles of Robust Medium Access and an Application to Leader Election
B. Awerbuch, A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, Transactions on Algorithms (2014).
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 3877
Modeling Review Argumentation for Robust Sentiment Analysis
H. Wachsmuth, M. Trenkmann, B. Stein, G. Engels, in: Proceedings of COLING 2014, the 25th International Conference on Computational Linguistics: Technical Papers, 2014, pp. 553–564.
LibreCat | Download (ext.)
 

2014 | Journal Article | LibreCat-ID: 3890 LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 390
On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains
Z. Huma, C. Gerth, G. Engels, Computer Science - Research and Development (2014) 333–361.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 3905
iSoNTRE: The Social Network Transformer into Recommendation Engine
C. Abu Quba Rana, S. Hassas, F. Usama, M. Alshomary, C. Gertosio, 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA) (2014) 169–175.
LibreCat | Download (ext.)
 

2014 | Mastersthesis | LibreCat-ID: 2900
A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures
S. Brauer, A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures, 2014.
LibreCat | Files available
 

2014 | Journal Article | LibreCat-ID: 2976
Analysis of Agglomerative Clustering
M.R. Ackermann, J. Blömer, D. Kuntze, C. Sohler, Algorithmica 69 (2014).
LibreCat | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed