1602 Publications
2014 | Conference Paper | LibreCat-ID: 382
Künsemöller J, Brangewitz S, Karl H, Haake C-J. Provider Competition in Infrastructure-as-a-Service. In: Proceedings of the 2014 IEEE International Conference on Services Computing (SCC). ; 2014:203-210. doi:10.1109/SCC.2014.35
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 383
Wonisch D, Schremmer A, Wehrheim H. Programs from Proofs -- Approach and Applications. In: Proceedings of the Software Engineering Conference (SE). Lecture Notes in Informatics (LNI). ; 2014:67-68.
LibreCat
| Files available
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 384
Petrlic R, Lutters S, Sorge C. Privacy-Preserving Reputation Management. In: Proceedings of the 29th Symposium On Applied Computing (SAC). ; 2014:1712-1718. doi:10.1145/2554850.2554881
LibreCat
| Files available
| DOI
2014 | Dissertation | LibreCat-ID: 385
Petrlic R. Privacy-Preserving Multiparty Digital Rights Management. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 386
Petrlic R, Sorge C. Privacy-Preserving Digital Rights Management based on Attribute-based Encryption. In: Proceedings of the Sixth IFIP International Conference on New Technologies, Mobility and Security (NTMS). ; 2014:1-5. doi:10.1109/NTMS.2014.6814044
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 387
Awerbuch B, Richa AW, Scheideler C, Schmid S, Zhang J. Principles of Robust Medium Access and an Application to Leader Election. Transactions on Algorithms. 2014;(4). doi:10.1145/2635818
LibreCat
| Files available
| DOI
2014 | Report | LibreCat-ID: 389
Stapel F, Suhl L. Ontology-Based Representation of Optimization Models. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 390
Huma Z, Gerth C, Engels G. On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains. Computer Science - Research and Development. 2014;(3-4):333-361. doi:10.1007/s00450-014-0254-z
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 391
Feldkord B. On Variants of the Page Migration Problem. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 18001
Luo L. Ein Selbst-Stabilisierender Algorithmus Für Das Finite Sleep Problem in Skip+ Graphen. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 441
Sorge C, Petrlic R. Datenschutz im Future Internet: rechtliche Aspekte und technische Maßnahmen. In: Tagungsband Des 17. Internationalen Rechtsinformatik Symposions. ; 2014.
LibreCat
| Files available
2014 | Preprint | LibreCat-ID: 442 | 
Blömer J, Liske G. Constructing CCA-secure predicate encapsulation schemes from CPA-secure schemes and universal one-way hash functions. 2014.
LibreCat
| Files available
| Download (ext.)
2014 | Report | LibreCat-ID: 443
Mauleon A, Röhl N, Vannetelbosch V. Constitutions and Social Networks. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 444
Mir Djawadi B, Fahr R, Turk F. Conceptual Model and Economic Experiments to Explain Nonpersistence and Enable Mechanism Designs Fosterin Behavioral Change. Value in Health. 2014;(8):814-822. doi:10.1016/j.jval.2014.08.2669
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 445
Brangewitz S, Gamp J-P. Competitive outcomes and the inner core of NTU market games. Economic Theory. 2014;(3):529-554. doi:10.1007/s00199-014-0846-7
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 446
Ogierman A, Richa AW, Scheideler C, Schmid S, Zhang J. Competitive MAC under adversarial SINR. In: Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM). ; 2014:2751--2759. doi:10.1109/INFOCOM.2014.6848224
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 447
Jungmann A, Mohr F, Kleinjohann B. Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services. In: Proceedings of the 10th World Congress on Services (SERVICES). ; 2014:346-353. doi:10.1109/SERVICES.2014.68
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 448
Gao Y. Combination of Service Matching Steps in Consideration of Efficiency and Fuzziness. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 449
Becker M, Platenius MC, Becker S. Cloud Computing Reduces Uncertainties in Quality-of-Service Matching! In: Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB). Communications in Computer and Information Science. ; 2014:153-159. doi:10.1007/978-3-319-14886-1_15
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 450
Jakobs M-C, Wehrheim H. Certification for Configurable Program Analysis. In: Proceedings of the 21st International Symposium on Model Checking of Software (SPIN). SPIN 2014. ; 2014:30-39. doi:10.1145/2632362.2632372
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 451
Drees M, Riechers S, Skopalik A. Budget-restricted utility games with ordered strategic decisions. In: Lavi R, ed. Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT). Lecture Notes in Computer Science. ; 2014:110-121. doi:10.1007/978-3-662-44803-8_10
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 452
Abshoff S, Cord-Landwehr A, Jung D, Skopalik A. Brief Announcement: A Model for Multilevel Network Games. In: Lavi R, ed. Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT). LNCS. ; 2014:294.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 453
Feldotto M, Gairing M, Skopalik A. Bounding the Potential Function in Congestion Games and Approximate Pure Nash Equilibria. In: Proceedings of the 10th International Conference on Web and Internet Economics (WINE). LNCS. ; 2014:30-43. doi:10.1007/978-3-319-13129-0_3
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 454
Heldt W. Automated Service Composition: Adaption of the ASTRO Approach. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 455
Hansknecht C, Klimm M, Skopalik A. Approximate pure Nash equilibria in weighted congestion games. In: Proceedings of the 17th. International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX). LIPIcs. ; 2014:242-257. doi:10.4230/LIPIcs.APPROX-RANDOM.2014.242
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 456
Gairing M, Kotsialou G, Skopalik A. Approximate pure Nash equilibria in Social Context Congestion Games. In: Proceedings of the 10th International Conference on Web and Internet Economics (WINE). LNCS. ; 2014:480-485. doi:10.1007/978-3-319-13129-0_43
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 457
Jungmann A, Mohr F, Kleinjohann B. Applying Reinforcement Learning for Resolving Ambiguity in Service Composition. In: Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA). ; 2014:105-112. doi:10.1109/SOCA.2014.48
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 458
Dreimann P. Anticipatory Power Cycling of Mobile Network Equipment for High-Demand Multimedia Traffic. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 459
Kniesburges S, Markarian C, Meyer auf der Heide F, Scheideler C. Algorithmic Aspects of Resource Management in the Cloud. In: Proceedings of the 21st International Colloquium on Structural Information and Communication Complexity (SIROCCO). LNCS. ; 2014:1-13. doi:10.1007/978-3-319-09620-9_1
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 460
Mittendorf R. Advanced AES-Key Recovery from Decayed RAM-Dumps Using Multi-Threading and FPGAs. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 461
Dräxler S. Adaptive Placement of Programmable Virtual Network Function Chains. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 462
Feldotto M, Skopalik A. A Simulation Framework for Analyzing Complex Infinitely Repeated Games. In: Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014). ; 2014:625-630. doi:10.5220/0005110406250630
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 463
Blömer J, Gomes da Silva R, Günther P, Krämer J, Seifert J-P. A Practical Second-Order Fault Attack against a Real-World Pairing Implementation. In: Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC). ; 2014:123--136. doi:10.1109/FDTC.2014.22
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 464
Gall D, Jacob R, Richa AW, Scheideler C, Schmid S, Täubig H. A Note on the Parallel Runtime of Self-Stabilizing Graph Linearization. Theory of Computing Systems. 2014;(1):110-135. doi:10.1007/s00224-013-9504-x
LibreCat
| Files available
| DOI
2014 | Report | LibreCat-ID: 465
Stapel F, Suhl L. A MINLP Approach for Planning the Renewal of Pipes in Drinking Water Networks. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 466
Brand M. A Generalized Loop Accelerator Implemented as a Coarse Grained Array. Universität Paderborn; 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 467
Künsemöller J, Karl H. A Game-Theoretic Approach to the Financial Benefits of Infrastructure-as-a-Service. Future Generation Computer Systems. 2014:44--52. doi:10.1016/j.future.2014.03.005
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 479
Sorge C. The Legal Classification of Identity-Based Signatures. Computer Law & Security Review. 2014;30(2):126-136. doi:10.1016/j.clsr.2014.01.002
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 762
Schwabe A, Karl H. Using MAC addresses as efficient routing labels in data centers. In: Proceedings of the Third Workshop on Hot Topics in Software Defined Networking, HotSDN ’14, Chicago, Illinois, USA, August 22, 2014. ; 2014:115--120. doi:10.1145/2620728.2620730
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 392
Brummel N. On the Relation between Innovation and Competion: The Case of Energy Industry. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 393
Foreback D, Koutsopoulos A, Nesterenko M, Scheideler C, Strothmann TF. On Stabilizing Departures in Overlay Networks. In: Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems. LNCS. ; 2014:48--62. doi:10.1007/978-3-319-11764-5_4
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 394
Schwichtenberg S, Gerth C, Huma Z, Engels G. Normalizing Heterogeneous Service Description Models with Generated QVT Transformations. In: Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA). LNCS. ; 2014:180-195. doi:10.1007/978-3-319-09195-2_12
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 395
Abshoff S, Cord-Landwehr A, Jung D, Skopalik A. Multilevel Network Games. In: Proceedings of the 10th International Conference on Web and Internet Economics (WINE). LNCS. ; 2014:435-440. doi:10.1007/978-3-319-13129-0_36
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 396
Bano D. Modeling and Matching of Reputation of Services in On-The-Fly Computing. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 397
Scheideler C, Eikel M, Setzer A. Minimum Linear Arrangement of Series-Parallel Graphs. In: Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA). LNCS. ; 2014:168--180.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 399
Wiersema T, Drzevitzky S, Platzner M. Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring. In: Proceedings of the International Conference on Field-Programmable Technology (FPT). ; 2014:167-174. doi:10.1109/FPT.2014.7082771
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 400
Bunse M. Measuring Transformation-Induced Uncertainty in Service Matching: A Feasibility Study. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 401
Platenius MC, Arifulina S, Petrlic R, Schäfer W. Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In: Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet. Communications in Computer and Information Science. ; 2014:6-17. doi:10.1007/978-3-319-14886-1_2
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 402
Arifulina S, Platenius MC, Gerth C, Becker S, Engels G, Schäfer W. Market-optimized Service Specification and Matching. In: Franch X, Ghose A, Lewis G, Bhiri S, eds. Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014). LNCS. ; 2014:543-550. doi:10.1007/978-3-662-45391-9_47
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 403
Martin Lohre T. Machtverteilungen von Koalitionen im Fokus der politischen Realität. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 404
van Straaten D. Kooperative Verhandlungen im duopolistischen Wettbewerb - eine spieltheoretische Analyse. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 405
Degraf O. Koalitionsbildung bei mehrdimensionalen Verhandlungsproblemen. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 407
Mohr F. Issues of Automated Software Composition in AI Planning. In: Proceedings of the 29th International Conference on Automated Software Engineering (ASE). ; 2014:895--898. doi:10.1145/2642937.2653470
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 408
Jakobs M-C, Platzner M, Wiersema T, Wehrheim H. Integrating Software and Hardware Verification. In: Albert E, Sekerinski E, eds. Proceedings of the 11th International Conference on Integrated Formal Methods (IFM). LNCS. ; 2014:307-322. doi:10.1007/978-3-319-10181-1_19
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 409
Platenius MC, Becker S, Schäfer W. Integrating Service Matchers into a Service Market Architecture. In: Avgeriou P, Zdun U, eds. Proceedings of the 8th European Conference on Software Architecture (ECSA 2014). LNCS. ; 2014:210-217. doi:10.1007/978-3-319-09970-5_19
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 410
Jungmann A, Brangewitz S, Petrlic R, Platenius MC. Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services. International Journal On Advances in Intelligent Systems (IntSys). 2014;7(3&4):572--594.
LibreCat
| Files available
| Download (ext.)
2014 | Mastersthesis | LibreCat-ID: 411
Taherinajafabadi V. Improving Service Specifications for the Service Matching on a Service Market. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 412
Feldotto M, Scheideler C, Graffi K. HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths. In: Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P). ; 2014:1-10. doi:10.1109/P2P.2014.6934300
LibreCat
| Files available
| DOI
| arXiv
2014 | Bachelorsthesis | LibreCat-ID: 413
Eusterholz F. Horizontale Fusionen: Theorie und Praxis am Beispiel zweier Entscheidungen des Bundeskartellamtes. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 414
Jochheim J. Hiding Software Components Using Functional Encryption. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 415
Vijapurwala S. Handling Incomplete Service Specifications Using Fuzzy Matching. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 416
Bemmann P. Group Signature Schemes with Strong Exculpability. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 417
Besova G, Steenke D, Wehrheim H. Grammar-based model transformations. In: Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD). ; 2014:1601-1610. doi:10.1016/j.cl.2015.05.003
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 418 |
Pauck F. Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Dissertation | LibreCat-ID: 419
Kolle A. Gender and Ethnic Discrimination in Hiring : Evidence from Field Experiments in the German Labor Market. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 420
Merschjohann S. Fuzzy Matching of Service Price Specifications. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 421
Lippert J. Fujisaki-Okamoto Transformation. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 422
Sanati M. Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 423
Jojiju S. Finding Optimal Self-Adaption Rules by Design-Space Exploration. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 424
Finkensiep C. Fast and Flexible Automatic Composition of Semantic Web Services. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 425
Jungmann A, Jatzkowski J, Kleinjohann B. Evaluation of Color Spaces for Robust Image Segmentation. In: Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP). ; 2014:648-655.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 426
Dornseifer V. Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network. Universität Paderborn; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 427
Bulk B. Evaluating the Influence of Different Abstraction Levels of Software Design on Performance Prediction. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 428
Mohr F. Estimating Functional Reusability of Services. In: Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC). LNCS. ; 2014:411-418.
LibreCat
| Files available
| Download (ext.)
2014 | Bachelorsthesis | LibreCat-ID: 429
Herbort M. Entwicklung eines mathematischen Modells zur Optimierung der Struktur eines Trinkwasserbehälters. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 430
Krakau A. Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT. Universität Paderborn; 2014.
LibreCat
2014 | Dissertation | LibreCat-ID: 431
Kling P. Energy-Efficient Scheduling Algorithms. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 432
Bredenbals N. Energy-Efficient Queuing with Delayed Deactivation. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 433
Wiersema T, Bockhorn A, Platzner M. Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA. In: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig). ; 2014:1-6. doi:10.1109/ReConFig.2014.7032514
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 434
Luo L. Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 435
Antoniadis A, Barcelo N, Consuegra M, et al. Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules. In: Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS). LIPIcs. ; 2014:63--74. doi:10.4230/LIPIcs.STACS.2014.63
LibreCat
| Files available
| DOI
2014 | Mastersthesis | LibreCat-ID: 436
Damschen M. Easy-to-Use on-the-Fly Binary Program Acceleration on Many-Cores. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 437
Wemhöner V. Die ökonomischen Auswirkungen der Kronzeugenregelung am Beispiel des Kaffeerösterkartells. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 438
Kokoschka A. Designing an Anonymous and Secure Reputation System Using a Group Signature Variant. Universität Paderborn; 2014.
LibreCat
2014 | Dissertation | LibreCat-ID: 440
Kaimann D. Decision Making under Asymmetric Information in Markets for Experience Goods: Empirical Evidence of Signaling Effects on Consumer Perceptions. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 5189
Arzt S, Rasthofer S, Fritz C, et al. FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14. ACM Press; 2014. doi:10.1145/2594291.2594299
LibreCat
| Files available
| DOI
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 5190
Arzt S, Rasthofer S, Lovat E, Bodden E. DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android. In: International Conference on Availability, Reliability and Security (ARES 2014). IEEE; 2014:40-49.
LibreCat
| Files available
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 335
Platzner M, Plessl C. Verschiebungen an der Grenze zwischen Hardware und Software. In: Künsemöller J, Eke NO, Foit L, Kaerlein T, eds. Logiken strukturbildender Prozesse: Automatismen. Schriftenreihe des Graduiertenkollegs “Automatismen.” Wilhelm Fink; 2014:123-144.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 388
Kenter T, Vaz GF, Plessl C. Partitioning and Vectorizing Binary Applications for a Reconfigurable Vector Computer. In: Proceedings of the International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications (ARC). Vol 8405. Lecture Notes in Computer Science (LNCS). Springer International Publishing; 2014:144-155. doi:10.1007/978-3-319-05960-0_13
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 363
Agne A, Hangmann H, Happe M, Platzner M, Plessl C. Seven Recipes for Setting Your FPGA on Fire – A Cookbook on Heat Generators. Microprocessors and Microsystems. 2014;38(8, Part B):911-919. doi:10.1016/j.micpro.2013.12.001
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 377
Riebler H, Kenter T, Plessl C, Sorge C. Reconstructing AES Key Schedules from Decayed Memory with FPGAs. In: Proceedings of Field-Programmable Custom Computing Machines (FCCM). IEEE; 2014:222-229. doi:10.1109/FCCM.2014.67
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 365
Agne A, Happe M, Lösch A, Plessl C, Platzner M. Self-awareness as a Model for Designing and Operating Heterogeneous Multicores. ACM Transactions on Reconfigurable Technology and Systems (TRETS). 2014;7(2). doi:10.1145/2617596
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 328
Agne A, Happe M, Keller A, et al. ReconOS - An Operating System Approach for Reconfigurable Computing. IEEE Micro. 2014;34(1):60-71. doi:10.1109/MM.2013.110
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 439
Vaz GF, Riebler H, Kenter T, Plessl C. Deferring Accelerator Offloading Decisions to Application Runtime. In: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig). IEEE; 2014:1-8. doi:10.1109/ReConFig.2014.7032509
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 406
Kenter T, Schmitz H, Plessl C. Kernel-Centric Acceleration of High Accuracy Stereo-Matching. In: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig). IEEE; 2014:1-8. doi:10.1109/ReConFig.2014.7032535
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 2543
Brangewitz S, Gamp J-P. Asymmetric Nash bargaining solutions and competitive payoffs. Economics Letters. 2013;121(2):224-227. doi:10.1016/j.econlet.2013.08.013
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 18000
Blumentritt F. Cliquenbildung in Verteilten Systemen. Universität Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 469
Wonisch D, Schremmer A, Wehrheim H. Zero Overhead Runtime Monitoring. In: Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM). LNCS. ; 2013:244-258. doi:10.1007/978-3-642-40561-7_17
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 470
Wette P, Karl H. Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow. In: Proceedings of the ACM SIGCOMM ’13. Digital Library. ; 2013:541-542. doi:10.1145/2486001.2491710
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 471
Tezer A. Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 472
Engelbrecht M. Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern. Universität Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 473
Petrlic R, Sekula S. Unlinkable content playbacks in a multiparty DRM system. In: Wang L, Shafiq B, eds. Data and Applications Security and Privacy XXVII. Lecture Notes in Computer Science. ; 2013:289-296. doi:10.1007/978-3-642-39256-6_21
LibreCat
| Files available
| DOI
2013 | Report | LibreCat-ID: 474
Röhl N. Two-Stage Allocation Procedures. Universität Paderborn; 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 475
Joshi N, Petrlic R. Towards practical privacy-preserving Digital Rights Management for Cloud Computing. In: Proceedings of the 10th Annual IEEE Consumer Communications & Networking Conference (CCNC). ; 2013:259-264. doi:10.1109/CCNC.2013.6488456
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 476
Kolman P, Scheideler C. Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing. Theory of Computing Systems. 2013;(2):341-363. doi:10.1007/s00224-013-9454-3
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 477
Abshoff S, Benter M, Cord-Landwehr A, Malatyali M, Meyer auf der Heide F. Token Dissemination in Geometric Dynamic Networks. In: Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers. Lecture Notes in Computer Science. ; 2013:22-34. doi:10.1007/978-3-642-45346-5_3
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 478
Timm N. Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn; 2013.
LibreCat
| Files available
2013 | Journal Article | LibreCat-ID: 480
Frick B, Simmons R. The Impact of Individual and Collective Reputation on Wine Prices: Empirical Evidence from the Mosel Valley. Journal of Business Economics. 2013;83(2):101-119. doi:10.1007/s11573-013-0652-x
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 481
Graffi K, Bremer L. Symbiotic Coupling of P2P and Cloud Systems: The Wikipedia Case. In: Proceedings of the International Conference on Communications (ICC’13). ; 2013:3444-3449. doi:10.1109/ICC.2013.6655082
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 482
Bieshaar M. Statistisches Planen von Aktionen für autonome mobile Roboter in realen Umgebungen. Universität Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 483
Becker M, Becker S, Meyer J. SimuLizar: Design-Time modeling and Performance Analysis of Self-Adaptive Systems. In: Proceedings of the Software Engineering Conference (SE). Lecture Notes in Informatics (LNI). ; 2013:71-84.
LibreCat
| Files available
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 484
Platenius MC, von Detten M, Gerth C, Schäfer W, Engels G. Service Matching under Consideration of Explicitly Specified Service Variants. In: IEEE 20th International Conference on Web Services (ICWS 2013). ; 2013:613-614. doi:10.1109/ICWS.2013.98
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 485
Mohr F, Kleine Büning H. Semi-Automated Software Composition Through Generated Components. In: Proceedings of the 15th International Conference on Information Integration and Web-Based Applications & Services (IiWAS). ; 2013:676-680. doi:10.1145/2539150.2539235
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 486
Otte O. Seitenkanalresistenz paarungsbasierter Kryptographie. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 487 |
Bobolz J. Security Proofs for Pairing-Based Cryptography in the Generic Group Model. Universität Paderborn; 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 488
Blömer J, Günther P, Krummel V. Securing Critical Unattended Systems with Identity Based Cryptography - A Case Study. In: Proceedings of the 5th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS). ; 2013:98-105.
LibreCat
| Files available
2013 | Mastersthesis | LibreCat-ID: 489
Knopf M. Scheduling Variants with Speed-Scaling via the Primal-Dual Approach. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 490
Wallaschek F. Routing in heterogenen OpenFlow Netzwerken. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 492
Robbert C. Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 493
Terentjew A. Reputationssysteme und Gerichtsverfahren als Wekzeuge zur Sicherstellung von Qualitätsstandards in Transaktionen. Universität Paderborn; 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 494
von Detten M. Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies. Universität Paderborn; 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 495
Mohr F, Lettmann T, Kleine Büning H. Reducing Nondeterminism in Automated Service Composition. In: Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA). ; 2013:154-161. doi:10.1109/SOCA.2013.25
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 496
Benter M, Neumann F, Frey H. Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks. In: Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM). ; 2013:2193-2201. doi:10.1109/INFCOM.2013.6567022
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 498
Wonisch D, Schremmer A, Wehrheim H. Programs from Proofs – A PCC Alternative. In: Proceedings of the 25th International Conference on Computer Aided Verification (CAV). LNCS. ; 2013:912-927. doi:10.1007/978-3-642-39799-8_65
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 499
Kling P, Pietrzyk P. Profitable Scheduling on Multiple Speed-Scalable Processors. In: Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ; 2013:251-260. doi:10.1145/2486159.2486183
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 7569
Soltenborn C. Quality Assurance with Dynamic Meta Modeling. Universität Paderborn; 2013. doi:http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420
LibreCat
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 500
Staschewski M. Price Formation in the Restaurant Industry - An Empirical Analysis. Universität Paderborn; 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 501
Happe M. Performance and Thermal Management on Self-Adaptive Hybrid Multi-Cores. Berlin: Logos Verlag Berlin GmbH; 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 502
Becker M, Luckey M, Becker S. Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time. In: Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’13). ; 2013:43-52. doi:10.1145/2465478.2465489
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 503
Blix A. Optimale und adaptive binäre Bäume in Netzwerken. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 504
Schwichtenberg S. Ontology-Based Normalization and Matching of Rich Service Descriptions. Universität Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 506
Engels G. On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft. In: Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013). LNI. ; 2013:17-18.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 507
Abshoff S, Benter M, Malatyali M, Meyer auf der Heide F. On Two-Party Communication Through Dynamic Networks. In: Proceedings of the 17th International Conference on Principles of Distributed Systems (OPODIS). LNCS. ; 2013:11-22. doi:10.1007/978-3-319-03850-6_2
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 508
Wette P, Karl H. On the Quality of Selfish Virtual Topology Reconfiguration in IP-over-WDM Networks. In: Proceedings of the 19th IEEE International Workshop on Local and Metropolitan Area Networks (IEEE LANMAN). ; 2013:1-6. doi:10.1109/LANMAN.2013.6528271
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 509
Autenrieth M, Frey H. On Greedy Routing in Degree-bounded Graphs over d-Dimensional Internet Coordinate Embeddings. In: Proceedings of the Conference on Networked Systems (NetSys). ; 2013:126-131. doi:10.1109/NetSys.2013.10
LibreCat
| Files available
| DOI
2013 | Mastersthesis | LibreCat-ID: 510
Jayesh Parekh C. Meta-Data Based Search in Structured Peer-to-Peer Networks. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 511
Splietker M. MapReduce in Software Defined Networks. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 512
Herzog E. Lösungsverfahren für das many-to-one Matching Problem. Universität Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 513
Avin C, Häupler B, Lotker Z, Scheideler C, Schmid S. Locally Self-Adjusting Tree Networks. In: Proceedings of the 27th IEEE International Parallel and Distributed Processing Symposium (IPDPS). ; 2013:395-406. doi:10.1109/IPDPS.2013.40
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 514
Pietrzyk P. Local and Online Algorithms for Facility Location. Universität Paderborn; 2013.
LibreCat
| Files available
2013 | Working Paper | LibreCat-ID: 5146
Brangewitz S, Haake C-J. Cooperative Transfer Price Negotiations under Incomplete Information. Vol 64. CIE Working Paper Series, Paderborn University; 2013.
LibreCat
| Files available
2013 | Journal Article | LibreCat-ID: 515
Jungmann A, Kleinjohann B, Kleinjohann E. Learning Service Recommendations. International Journal of Business Process Integration and Management. 2013;(4):284-297. doi:10.1504/IJBPIM.2013.059135
LibreCat
| Files available
| DOI
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 516
Jungmann A, Kleinjohann B. Learning Recommendation System for Automated Service Composition. In: Proceedings of the 10th IEEE International Conference on Services Computing (SCC). ; 2013:97-104. doi:10.1109/SCC.2013.66
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 517
Walther S, Wehrheim H. Knowledge-Based Verification of Service Compositions - An SMT approach. In: Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS). ; 2013:24-32. doi:10.1109/ICECCS.2013.14
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 518
Petrausch V. Klassifizierung unterschiedlicher Ansätze zum Matching von Services. Universität Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 519
Eikel M, Scheideler C. IRIS: A Robust Information System Against Insider DoS-Attacks. In: Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ; 2013:119-129. doi:10.1145/2486159.2486186
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 520
Wette P, Karl H. Incorporating feedback from application layer into routing and wavelength assignment algorithms. In: Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM). ; 2013:51-52. doi:10.1109/INFCOMW.2013.6970733
LibreCat
| Files available
| DOI
| Download (ext.)
2013 | Mastersthesis | LibreCat-ID: 521
Riebler H. Identifikation und Wiederherstellung von kryptographischen Schlüsseln mit FPGAs. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 522
Feldotto M. HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths. Universität Paderborn; 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 523
Mavronicolas M, Monien B, Papadopoulou Lesta V. How many attackers can selfish defenders catch? Discrete Applied Mathematics. 2013;161(16-17):2563-2586. doi:10.1016/j.dam.2013.05.022
LibreCat
| Files available
| DOI
2013 | Preprint | LibreCat-ID: 524
Meyer auf der Heide F, Swirkot K. Hierarchies in Local Distributed Decision. 2013.
LibreCat
| Files available
| arXiv
2013 | Bachelorsthesis | LibreCat-ID: 525
Niklas Vinkemeier T. Haptics - Hadoop Performance Testing in Concurrent Job Scenarios. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 526
Mäcker A. Greedy Network Creation With Heavy And Light Edges. Universität Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 527
Christin Platenius M. Fuzzy Service Matching in On-The-Fly Computing. In: Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE). ; 2013:715-718. doi:10.1145/2491411.2492405
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 529
Heinzemann C, Becker S. Executing Reconfigurations in Hierarchical Component Architectures. In: Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE). ; 2013:3-12. doi:10.1145/2465449.2465452
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 530
Buse D. Entwurf Kooperativer Verhaltensweisen Heterogener Roboter. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 531
Lutters S. Entwurf eines datenschutzgerechten Reputationssystems. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 532
Hilleckes H. Entwicklung und Analyse einer verteilten Speicherverwaltung für dynamische heterogene Speichersysteme. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 533
Borkowski R. Entwicklung eines Hybriden Planers zur verhaltensorientierten Selbstoptimierung. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 534
Satya S. Emulating Wavelength Division Multiplexing Using Openflow. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 535
Reineke M. Effizienzsteigerung durch gewichtete Produktbewertungen. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 536
Stroh-Maraun N. Dynamic One-to-One Matching: Theory and a Job Market Application. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 537
Heindorf S. Dispersion of Multi-Robot Teams. Universität Paderborn; 2013.
LibreCat
2013 | Preprint | LibreCat-ID: 538 |
Blömer J, Liske G. Direct Chosen-Ciphertext Secure Attribute-Based Key Encapsulations without Random Oracles. 2013.
LibreCat
| Files available
| Download (ext.)
2013 | Bachelorsthesis | LibreCat-ID: 539
Kornhoff T. Der Einfluss adaptierter Erwartungen in dynamischen Cournot Oligopolen. Universität Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 541
Graffi K, Rapp V. Continuous Gossip-based Aggregation through Dynamic Information Aging. In: Proceedings of the International Conference on Computer Communications and Networks (ICCCN’13). ; 2013:1-7. doi:10.1109/ICCCN.2013.6614118
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 542
Kniesburges S, Koutsopoulos A, Scheideler C. CONE-DHT: A distributed self-stabilizing algorithm for a heterogeneous storage system. In: Proceedings of the 27th International Symposium on Distributed Computing (DISC). LNCS. ; 2013:537-549. doi:10.1007/978-3-642-41527-2_37
LibreCat
| Files available
| DOI
2013 | Mastersthesis | LibreCat-ID: 543
Jagannath K. Comparison of Various Contract-Based Approaches for Specifying Behavior of On-The-Fly Computing Services. Universität Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 544
Feldotto M, Graffi K. Comparative Evaluation of Peer-to-Peer Systems Using PeerfactSim.KOM. In: Proceedings of the International Conference on High Performance Computing and Simulation (HPCS’13). ; 2013:99-106. doi:10.1109/HPCSim.2013.6641399
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 545
Blumentritt F. Cliquenbildung in verteilten Systemen. Universität Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 546
Graffi K, Benter M, Divband M, Kniesburges S, Koutsopoulos A. Ca-Re-Chord: A Churn Resistant Self-stabilizing Chord Overlay Network. In: Proceedings of the Conference on Networked Systems (NetSys). ; 2013:27-34. doi:10.1109/NetSys.2013.11
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 547
Gerth C. Business Process Models - Change Management. Universität Paderborn; 2013. doi:10.1007/978-3-642-38604-6
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 548
Graffi K, Klerx T. Bootstrapping Skynet: Calibration and Autonomic Self-Control of Structured Peer-to-Peer Networks. In: Proceedings of the International Conference on Peer-to-Peer Computing (P2P’13). ; 2013:1-5. doi:10.1109/P2P.2013.6688720
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 549
Bick C. Beschleunigung von Tiefenberechung aus Stereobildern durch FPGA-basierte Datenflussrechner. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 550
Meschede J. Bandbreiten-beschränktes Scheduling mit skalierbaren Jobanforderungen in Multiprozessor-Umgebungen. Universität Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 551
Huma Z, Gerth C, Engels G, Juwig O. Automated Service Composition for On-the-Fly SOAs. In: Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13). LNCS. ; 2013:524--532. doi:10.1007/978-3-642-45005-1_42
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 552
Meckenstock K. Auktionen im Beschaffungsmanagement - Eine spieltheoretische Analyse. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 553
Kohn K. Attributbasierte Verschlüsselung mittels Gittermethoden - Mathematische Grundlagen, Verfahren und Sicherheitsbeweise. Universität Paderborn; 2013.
LibreCat
2013 | Journal Article | LibreCat-ID: 554
Brangewitz S, Gamp J-P. Asymmetric Nash bargaining solutions and competitive payoffs. Economics Letters. 2013;(2):224-227. doi:10.1016/j.econlet.2013.08.013
LibreCat
| Files available
| DOI
2013 | Mastersthesis | LibreCat-ID: 555
Setzer A. Approximation Algorithms for the Linear Arrangement of Special Classes of Graphs. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 556
Nickel T. Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking. Universität Paderborn; 2013.
LibreCat
2013 | Report | LibreCat-ID: 557
Hallmann C. An Approach for a Decision Support Systems to Optimize Water Tanks in Water Supply Systems by Combining Network Reduction, Optimization and Simulation. Universität Paderborn; 2013.
LibreCat
| Files available
2013 | Conference (Editor) | LibreCat-ID: 558
Flocchini P, Gao J, Kranakis E, Meyer auf der Heide F, eds. Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics. Vol 8243. Springer; 2013. doi:10.1007/978-3-642-45346-5
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 559
Wette P, Graffi K. Adding Capacity-Aware Storage Indirection to Homogeneous Distributed Hash Tables. In: Proceedings of the Conference on Networked Systems (NetSys). ; 2013:35-42. doi:10.1109/NetSys.2013.9
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 560
Platenius M, von Detten M, Becker S, Schäfer W, Engels G. A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing. In: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering. ; 2013:143-152. doi:10.1145/2465449.2465454
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 561
Petrlic R, Sekula S, Sorge C. A privacy-friendly Architecture for future Cloud Computing. International Journal of Grid and Utility Computing. 2013;(4):265-277. doi:10.1504/IJGUC.2013.057120
LibreCat
| Files available
| DOI
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 562
Keller M, Pawlik S, Pietrzyk P, Karl H. A Local Heuristic for Latency-Optimized Distributed Cloud Deployment. In: Proceedings of the 6th International Conference on Utility and Cloud Computing (UCC) Workshop on Distributed Cloud Computing. ; 2013:429-434. doi:10.1109/UCC.2013.85
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 563
Markarian C, Meyer auf der Heide F, Schubert M. A Distributed Approximation Algorithm for Strongly Connected Dominating-Absorbent Sets in Asymmetric Wireless Ad-Hoc Networks. In: Proceedings of the 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics (ALGOSENSORS). LNCS. ; 2013:217-227. doi:10.1007/978-3-642-45346-5_16
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 564
Kniesburges S, Koutsopoulos A, Scheideler C. A Deterministic Worst-Case Message Complexity Optimal Solution for Resource Discovery. In: Proceedings of 20th International Colloqium on Structural Information and Communication Complexity (SIROCCO). Lecture Notes in Computer Science. ; 2013:165-176. doi:10.1007/978-3-319-03578-9_14
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 528
Riebler H, Kenter T, Sorge C, Plessl C. FPGA-accelerated Key Search for Cold-Boot Attacks against AES. In: Proceedings of the International Conference on Field-Programmable Technology (FPT). IEEE; 2013:386-389. doi:10.1109/FPT.2013.6718394
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 505
Happe M, Kling P, Plessl C, Platzner M, Meyer auf der Heide F. On-The-Fly Computing: A Novel Paradigm for Individualized IT Services. In: Proceedings of the 9th IEEE Workshop on Software Technology for Future Embedded and Ubiquitous Systems (SEUS). IEEE; 2013. doi:10.1109/ISORC.2013.6913232
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 2519
Haake C-J, Martini JT. Negotiating Transfer Prices. Group Decision and Negotiation. 2012;22(4):657-680. doi:10.1007/s10726-012-9286-6
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 2521
Haake C-J, Krieger T, Minter S. On the institutional design of burden sharing when financing external border enforcement in the EU. International Economics and Economic Policy. 2012;10(4):583-612. doi:10.1007/s10368-012-0226-3
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 568
Jungmann A, Kleinjohann B. Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition. In: Proceedings of the 9th IEEE International Conference on Service Computing (SCC). ; 2012:701-702. doi:10.1109/SCC.2012.76
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 569
Becker S, Heinzemann C, Priesterjahn C. Towards Modeling Reconfiguration in Hierarchical Component Architectures. In: Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE). ; 2012:23--28. doi:10.1145/2304736.2304742
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 570
Jacob R, Ritscher S, Scheideler C, Schmid S. Towards higher-dimensional topological self-stabilization: A distributed algorithm for Delaunay graphs. Theoretical Computer Science. 2012:137-148. doi:10.1016/j.tcs.2012.07.029
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 571
Jungmann A, Kleinjohann B. Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition. In: Proceedings of the 4th International Conferences on Advanced Service Computing (SERVICE COMPUTATION). ; 2012:43-47.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 572
Huma Z, Gerth C, Engels G, Juwig O. Towards an Automatic Service Discovery for UML-based Rich Service Descriptions. In: Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS). LNCS. ; 2012:709--725. doi:10.1007/978-3-642-33666-9_45
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 573
Arifulina S. Towards a Framework for the Integration of Modeling Languages. In: W. Eisenecker U, Bucholdt C, eds. Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)). CEUR Workshop Proceedings. ; 2012:23--26.
LibreCat
| Files available
2012 | Journal Article | LibreCat-ID: 574
Clouser T, Nesterenko M, Scheideler C. Tiara: A self-stabilizing deterministic skip list and skip graph. Theoretical Computer Science. 2012:18-35. doi:10.1016/j.tcs.2011.12.079
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 575
Bremer L. Symbiotic Coupling of Peer-to-Peer and Cloud Systems. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 576
Schmitz H. Stereo Matching on a Convey HC-1 Hybrid Core Computer. Universität Paderborn; 2012.
LibreCat
2012 | Conference (Editor) | LibreCat-ID: 577
Richa AW, Scheideler C, eds. Stabilization, Safety, and Security of Distributed Systems.; 2012. doi:10.1007/978-3-642-33536-5
LibreCat
| Files available
| DOI
2012 | Report | LibreCat-ID: 578
Brangewitz S, Brockhoff S. Stability of Coalitional Equilibria within Repeated Tax Competition. Universität Paderborn; 2012.
LibreCat
| Files available
2012 | Journal Article | LibreCat-ID: 579
Damerow V, Manthey B, Meyer auf der Heide F, et al. Smoothed analysis of left-to-right maxima with applications. Transactions on Algorithms. 2012;(3):30. doi:10.1145/2229163.2229174
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 580
Cord-Landwehr A, Kling P, Mallmann Trenn F. Slow Down & Sleep for Profit in Online Deadline Scheduling. In: Even G, Rawitz D, eds. Proceedings of the 1st Mediterranean Conference on Algorithms (MedAlg). LNCS. ; 2012:218-231. doi:10.1007/978-3-642-34862-4_17
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 581
Drees M, Hüllmann (married name: Eikel) M, Koutsopoulos A, Scheideler C. Self-Organizing Particle Systems. In: Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS). ; 2012:1272-1283. doi:10.1109/IPDPS.2012.116
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 582
Strothmann TF. Self-Optimizing Binary Search Trees - A Game Theoretic Approach. Universität Paderborn; 2012.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 583
Drücker J. Revenue-Maximizing Order of Sale in Sequential Auctions. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 584
Hohenberger T. Queuing Latency at Cooperative Base Stations. Universität Paderborn; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 585
Petrlic R. Proxy Re-Encryption in a Privacy-Preserving Cloud Computing DRM Scheme. In: Proceedings of 4th International Symposium on Cyberspace Safety and Security (CSS). LNCS. ; 2012:194-211. doi:10.1007/978-3-642-35362-8_16
LibreCat
| Files available
| DOI
2012 | Dissertation | LibreCat-ID: 586 |
Drzevitzky S. Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security. Universität Paderborn; 2012.
LibreCat
| Files available
| Download (ext.)
2012 | Misc | LibreCat-ID: 587
Plessl C, Platzner M, Agne A, Happe M, Lübbers E. Programming Models for Reconfigurable Heterogeneous Multi-Cores. Awareness Magazine; 2012.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 588
Petrlic R, Sorge C. Privacy-Preserving DRM for Cloud Computing. In: Proceedings of the 26th IEEE International Conference on Advanced Information Networking and Applications (AINA). ; 2012:1286-1291. doi:10.1109/WAINA.2012.92
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 589
Petrlic R. Privacy-Preserving Digital Rights Management in a Trusted Cloud Environment. In: Proceedings of the 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom). ; 2012:958-963. doi:10.1109/TrustCom.2012.225
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 590
Wonisch D, Wehrheim H. Predicate Analysis with Block-Abstraction Memoization. In: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM). LNCS. ; 2012:332-347. doi:10.1007/978-3-642-34281-3_24
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 592
Celik A. Penny Auctions: Design und Strategisches Verhalten. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 593
Rojahn T. Optimale Zuteilung von Nutzern zu verteilten Cloud-Standorten. Universität Paderborn; 2012.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 594
Klerx T. Online Parameteroptimierung in P2P-Netzwerken mit Hilfe von Neuronalen Netzen. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 595
Mallmann Trenn F. On Scheduling with Multi-Core and Multi-Speed Processors Using Power Down. Universität Paderborn; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 596
Becker M, Luckey M, Becker S. Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey. In: Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12). ; 2012:117-122. doi:10.1145/2304696.2304716
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 597
Mavronicolas M, Monien B. Minimizing Expectation Plus Variance. In: Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT). LNCS. ; 2012:239-250. doi:10.1007/978-3-642-33996-7_21
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 598
Mammadov F. Methoden zur Bestimmung von innerbetrieblichen Verrechnungspreisen. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 599
Löwen X. Managerial Delegation and Capacity Choices: An Analysis of the Cournot-Nash Equilibrium. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 600
Feldkord B. Lokale Swaps und überholte Informationen in Basic Network Creation Games. Universität Paderborn; 2012.
LibreCat
2012 | Dissertation | LibreCat-ID: 601
Kempkes B. Local Strategies for Robot Formation Problems. Vol 302. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2012.
LibreCat
| Files available
2012 | Report | LibreCat-ID: 602
Brangewitz S. Learning by Trading in Infinite Horizon Strategic Market Games with Default. Universität Paderborn; 2012.
LibreCat
| Files available
2012 | Report | LibreCat-ID: 603
Wette P, Karl H. Introducing Feedback to Preemptive Routing and Wavelength Assignment Algorithms for Dynamic Traffic Scenarios. Universität Paderborn; 2012.
LibreCat
| Files available
2012 | Mastersthesis | LibreCat-ID: 604
Seier H. Implementierung eines Branch-and-Bound-Algorithmus für nichtkonvexe gemischt-ganzzahlige Optimierungsprobleme mit quadratischen Nebenbedingungen. Universität Paderborn; 2012.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 605
Isenberg F. Implementierung eines adaptiven Verfahrens zur Linearisierung von nicht-konvexen, nichtlinearen Wassernetzmodellen mit Hilfe einer Fehlerabschätzung. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 606
Löken N. Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für Signaturen auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 607
Haarhoff T. Identitätsbasierte Kryptographie - Implementierung von Paarungen für Körper der Charakteristik 2. Universität Paderborn; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 608
Timm N, Wehrheim H, Czech M. Heuristic-Guided Abstraction Refinement for Concurrent Systems. In: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM). LNCS. ; 2012:348-363. doi:10.1007/978-3-642-34281-3_25
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 610
Mohr M. Generating Prototypes of Adaptive Component-Based Software Systems for Performance Analysis. Universität Paderborn; 2012.
LibreCat
| Files available
2012 | Bachelorsthesis | LibreCat-ID: 611
Hangmann H. Generating Adjustable Temperature Gradients on Modern FPGAs. Universität Paderborn; 2012.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 613
Wohlfarth S. Erweiterung von d3fact um die Domäne Wasserversorgung in Verbindung mit der Analyse und Implementierung eines hydraulischen Simulationsverfahrens. Universität Paderborn; 2012.
LibreCat
2012 | Mastersthesis | LibreCat-ID: 614
Lehrig S. Empirischer, quantitativer Vergleich von Modelltransformationssprachen. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 616
Kluczniok S. Effiziente Paketbildung in mehrdimensionalen Verhandlungsproblemen. Universität Paderborn; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 617
Jungmann A, Kleinjohann B, Kleinjohann E, Bieshaar M. Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems. In: Proceedings of the Fourth International Conference on Resource Intensive Applications and Services (INTENSIVE). ; 2012:22-29.
LibreCat
| Files available
2012 | Mastersthesis | LibreCat-ID: 618
Kurras S. Distributed Sampling of Regular Graphs. Universität Paderborn; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 619
Brandes P, Meyer auf der Heide F. Distributed Computing in Fault-Prone Dynamic Networks. In: Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS). ICPS. ; 2012:9-14. doi:10.1145/2414815.2414818
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 620
Mittendorf R. Datenschutzgerechtes DRM im Cloud Computing. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 621
Sekula S. Datenschutzgerechte E-Payment-Schemata im On-The-Fly Computing. Universität Paderborn; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 622
Arifulina S, Engels G, Soltenborn C. Coverage Criteria for Testing DMM Specifications. In: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT). Electronic Communications of the EASST. ; 2012. doi:10.14279/tuj.eceasst.47.718
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 623
Richa AW, Scheideler C, Schmid S, Zhang J. Competitive and fair throughput for co-existing networks under adversarial interference. In: Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles and Distributed Computing (PODC). ; 2012:291-300. doi:10.1145/2332432.2332488
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 624
Jakobs M-C. Change and Validity Analysis in Deductive Program Verification. Universität Paderborn; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 625
Schmid S, Avin C, Scheideler C, Häupler B, Lotker Z. Brief Announcement: SplayNets - Towards Self-Adjusting Distributed Data Structures. In: Proceedings of the 26th International Symposium on Distributed Computing (DISC). LNCS. ; 2012:439-440. doi:10.1007/978-3-642-33651-5_47
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 626
Kniesburges S, Scheideler C. Brief Announcement: Hashed Predecessor Patricia Trie - A Data Structure for Efficient Predecessor Queries in Peer-to-Peer Systems. In: Proceedings of the 26th International Symposium on Distributed Computing (DISC). LNCS. ; 2012:435-436. doi:10.1007/978-3-642-33651-5_45
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 627
Wonisch D. Block Abstraction Memoization for CPAchecker. In: Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). LNCS. ; 2012:531-533. doi:10.1007/978-3-642-28756-5_41
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 628
Cord-Landwehr A, Huellmann (married name: Eikel) M, Kling P, Setzer A. Basic Network Creation Games with Communication Interests. In: Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT). LNCS. ; 2012:72--83. doi:10.1007/978-3-642-33996-7_7
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 629
Schleiter P. Attribute-basierte Verschlüsselung. Universität Paderborn; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 630
Platenius MC, von Detten M, Becker S. Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies. In: Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR). ; 2012:255-264. doi:10.1109/CSMR.2012.33
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 631
von Detten M. Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction. In: Proceedings of the 19th Working Conference on Reverse Engineering (WCRE). ; 2012:503-504. doi:10.1109/WCRE.2012.61
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 632
Kolman P, Scheideler C. Approximate Duality of Multicommodity Multiroute Flows and Cuts: Single Source Case. In: Proceedings of the 23th ACM SIAM Symposium on Discrete Algorithms (SODA). ; 2012:800-810. doi:10.1137/1.9781611973099.64
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 633
Pischel D. Analyse, Konzeption und Implementierung von Aggregationsverfahren für Trinkwasserversorgungsnetze. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 634
Kratzmann J. Analyse und Simulation von energieeffizienten Online-Scheduling Algorithmen. Universität Paderborn; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 635
Dohle (married name: Hallmann) C, Suhl L. An Optimization Model for the optimal Usage of Water Tanks in Water Supply Systems. In: Proceedings of the International Conference on Applied Mathematical Optimization and Modelling (APMOD). ; 2012:404-408.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 636
Meyer auf der Heide F, Pietrzyk P, Kling P. An Algorithm for Facility Leasing. In: Proceedings of the 19th International Colloquium on Structural Information & Communication Complexity (SIROCCO). LNCS. ; 2012:61-72. doi:10.1007/978-3-642-31104-8_6
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 637
Dawirs F. Alternative Berechnung der Machtindizes: Banzhaf und Shapley-Shubik Index. Universität Paderborn; 2012.
LibreCat
2012 | Bachelorsthesis | LibreCat-ID: 638
Eidens F. Adaptive Verbindungsstrategien in dynamischen Suchnetzwerken. Universität Paderborn; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 639
Huma Z, Gerth C, Engels G, Juwig O. A UML-based Rich Service Description for Automatic Service Discovery. In: Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering. CEUR Workshop Proceedings. ; 2012:90--97.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 640
Kniesburges S, Koutsopoulos A, Scheideler C. A Self-Stabilization Process for Small-World Networks. In: Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS). ; 2012:1261--1271. doi:10.1109/IPDPS.2012.115
LibreCat
| Files available
| DOI
2012 | Mastersthesis | LibreCat-ID: 641
Schluessler J. A Forensic Framework for Automatic Information Retrieval in Distributed Systems. Universität Paderborn; 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 5183
Bodden E, Lam P, Hendren L. Partially Evaluating Finite-State Runtime Monitors Ahead of Time. ACM Transactions on Programming Languages and Systems. 2012;34(2):1-52. doi:10.1145/2220365.2220366
LibreCat
| Files available
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 565
Besova G, Walther S, Wehrheim H, Becker S. Weaving-based configuration and modular transformation of multi-layer systems. In: Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS). LNCS. ; 2012:776-792. doi:10.1007/978-3-642-33666-9_49
LibreCat
| Files available
| DOI
2012 | Bachelorsthesis | LibreCat-ID: 566
Hilger I. Untersuchung von Modellen zur operativen Planung in Trinkwasserversorgungsnetzwerken. Universität Paderborn; 2012.
LibreCat
2012 | Misc | LibreCat-ID: 13462
Lewis P, Platzner M, Yao X. An Outlook for Self-Awareness in Computing Systems. Awareness Magazine; 2012.
LibreCat
2012 | Dissertation | LibreCat-ID: 34169
Brangewitz S. Coalitional and Strategic Market Games.; 2012.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 615
Happe M, Hangmann H, Agne A, Plessl C. Eight Ways to put your FPGA on Fire – A Systematic Study of Heat Generators. In: Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig). IEEE; 2012:1-8. doi:10.1109/ReConFig.2012.6416745
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 591
Kenter T, Plessl C, Schmitz H. Pragma based parallelization - Trading hardware efficiency for ease of use? In: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig). IEEE; 2012:1-8. doi:10.1109/ReConFig.2012.6416773
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 609
Happe M, Agne A, Plessl C, Platzner M. Hardware/Software Platform for Self-aware Compute Nodes. In: Proceedings of the Workshop on Self-Awareness in Reconfigurable Computing Systems (SRCS). ; 2012:8-9.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 567
Barrio P, Carreras C, Sierra R, Kenter T, Plessl C. Turning control flow graphs into function calls: Code generation for heterogeneous architectures. In: Proceedings of the International Conference on High Performance Computing and Simulation (HPCS). IEEE; 2012:559-565. doi:10.1109/HPCSim.2012.6266973
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 612
Rüthing C, Happe M, Agne A, Plessl C. Exploration of Ring Oscillator Design Space for Temperature Measurements on FPGAs. In: Proceedings of the International Conference on Field Programmable Logic and Applications (FPL). IEEE; 2012:559-562. doi:10.1109/FPL.2012.6339370
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 2512
Dimitrov D, Haake C-J. Proportionality and the power of unequal parties. International Journal of Economic Theory. 2011;7(2):189-200. doi:10.1111/j.1742-7363.2011.00158.x
LibreCat
| Files available
| DOI
2011 | Bachelorsthesis | LibreCat-ID: 17997
Setzer A. Lokale Online-Strategien Zur Linearen Anordnung von Teilnehmern in Einem Peer-to-Peer Netzwerk. Universität Paderborn; 2011.
LibreCat
2011 | Bachelorsthesis | LibreCat-ID: 642
Diehl M. Vorteile der Paketbildung in Verhandlungen: Ein prozeduraler Zugang zu Superadditivität. Universität Paderborn; 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 643
Welp D. User-Space Scheduling for Heterogeneous System under Linux. Universität Paderborn; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 644
von Detten M. Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution. In: Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE). ; 2011:17-20. doi:10.1145/2024569.2024573
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 645
Doerr B, Goldberg LA, Minder L, Sauerwald T, Scheideler C. Stabilizing consensus with the power of two choices. In: Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ; 2011:149-158. doi:10.1145/1989493.1989516
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 646
Richa AW, Scheideler C. Self-Stabilizing DeBruijn Networks. In: Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). LNCS. ; 2011:416-430. doi:10.1007/978-3-642-24550-3_31
LibreCat
| Files available
| DOI
2011 | Journal Article | LibreCat-ID: 647
Leuschel M, Wehrheim H. Selected papers on Integrated Formal Methods (iFM09). Science of Computer Programming. 2011;(10):835--836. doi:10.1016/j.scico.2011.01.009
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 648
Brandes P. Robust Distributed Computation in Dynamic Networks. Universität Paderborn; 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 649
Besova G, Wehrheim H, Wagner A. Reputation-based Reliability Prediction of Service Compositions. Electronic Notes in Theoretical Computer Science. 2011;(2):3-16. doi:10.1016/j.entcs.2011.11.008
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 650
Platenius MC. Reengineering of Design Deficiencies in Component-Based Software Architectures. Universität Paderborn; 2011.
LibreCat
2011 | Bachelorsthesis | LibreCat-ID: 651
Stroh-Maraun N. Prozedurale Ansätze zur Lösung mehrdimensionaler Verhandlungsprobleme. Universität Paderborn; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 652
Gerth C, Luckey M, Küster J, Engels G. Precise Mappings between Business Process Models in Versioning Scenarios. In: Proceedings of the IEEE 8th International Conference on Service Computingt (SCC). ; 2011:218--225. doi:10.1109/SCC.2011.65
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 653
Lehrig S, Zolynski T. Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study. In: Proceedings of the Palladio Days 2011. Karlsruhe Reports in Informatics. ; 2011:15-22. doi:10.5445/IR/1000025188
LibreCat
| Files available
| DOI
2011 | Conference Paper | LibreCat-ID: 654
Graffi K. PeerfactSim.KOM: A PSP System Simulator - Experiences and Lessons Learned. In: Proceedings of the IEEE International Conference on Peer-to-Peer Computing (IEEE PsP). ; 2011:154-155. doi:10.1109/P2P.2011.6038673
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 655
Meyer J. Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud. Universität Paderborn; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 657
Abshoff S, Cord-Landwehr A, Degener B, Kempkes B, Pietrzyk P. Local Approximation Algorithms for the Uncapacitated Metric Facility Location Problem in Power-Aware Sensor Networks. In: Proceedings of the 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities (ALGOSENSORS). LNCS. ; 2011:13-27. doi:10.1007/978-3-642-28209-6_3
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 658
Schremmer A. Function Specification Inference Using Craig Interpolation. Universität Paderborn; 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 659
Liske G. Fault Attacks in Pairing-Based Cryptography. Universität Paderborn; 2011.
LibreCat
| Files available
2011 | Bachelorsthesis | LibreCat-ID: 660
Peuster M. Defining and Deploying Complex Applicances in Multi-Site Cloud Environments. Universität Paderborn; 2011.
LibreCat
2011 | Mastersthesis | LibreCat-ID: 661
Arifulina S. Coverage Criteria for Testing DMM Specifications. Universität Paderborn; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 662
Nesterenko M, Mohd R, Scheideler C. Corona: A Stabilizing Deterministic Message-Passing Skip List. In: Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS). LNCS. ; 2011:356--370. doi:10.1007/978-3-642-24550-3_27
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 663
Swierkot K. Complexity Classes for Local Computation. Universität Paderborn; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 664
Gehweiler J, Kling P, Meyer auf der Heide F. An Experimental Comparison of Load Balancing Strategies in a Web Computing Environment. In: Proceedings of the 9th International Conference on Parallel Processing and Applied Mathematics (PPAM). LNCS. ; 2011:31--40. doi:10.1007/978-3-642-31500-8_4
LibreCat
| Files available
| DOI
2011 | Mastersthesis | LibreCat-ID: 665
Wette P. Adaptives Loadbalancing für strukturierte Peer-to-Peer-Netzwerke am Beispiel von Chord. Universität Paderborn; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 666
Drzevitzky S, Platzner M. Achieving Hardware Security for Reconfigurable Systems on Chip by a Proof-Carrying Code Approach. In: Proceedings of the 6th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC). ; 2011:58-65. doi:10.1109/ReCoSoC.2011.5981499
LibreCat
| Files available
| DOI
2011 | Conference (Editor) | LibreCat-ID: 667
Meyer auf der Heide F, Rajaraman R, eds. 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures.; 2011. doi:10.1145/1989493
LibreCat
| DOI