849 Publications

2012 | Conference Paper | LibreCat-ID: 585
Petrlic, Ronald. “Proxy Re-Encryption in a Privacy-Preserving Cloud Computing DRM Scheme.” Proceedings of 4th International Symposium on Cyberspace Safety and Security (CSS), 2012, pp. 194–211, doi:10.1007/978-3-642-35362-8_16.
LibreCat | Files available | DOI
 
2012 | Misc | LibreCat-ID: 587
Plessl, Christian, et al. Programming Models for Reconfigurable Heterogeneous Multi-Cores. Awareness Magazine, 2012.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 588
Petrlic, Ronald, and Christoph Sorge. “Privacy-Preserving DRM for Cloud Computing.” Proceedings of the 26th IEEE International Conference on Advanced Information Networking and Applications (AINA), 2012, pp. 1286–91, doi:10.1109/WAINA.2012.92.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 589
Petrlic, Ronald. “Privacy-Preserving Digital Rights Management in a Trusted Cloud Environment.” Proceedings of the 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 2012, pp. 958–63, doi:10.1109/TrustCom.2012.225.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 590
Wonisch, Daniel, and Heike Wehrheim. “Predicate Analysis with Block-Abstraction Memoization.” Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 332–47, doi:10.1007/978-3-642-34281-3_24.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 596
Becker, Matthias, et al. “Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey.” Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12), 2012, pp. 117–22, doi:10.1145/2304696.2304716.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 597
Mavronicolas, Marios, and Burkhard Monien. “Minimizing Expectation Plus Variance.” Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT), 2012, pp. 239–50, doi:10.1007/978-3-642-33996-7_21.
LibreCat | Files available | DOI
 
2012 | Report | LibreCat-ID: 602
Brangewitz, Sonja. Learning by Trading in Infinite Horizon Strategic Market Games with Default. Universität Paderborn, 2012.
LibreCat | Files available
 
2012 | Report | LibreCat-ID: 603
Wette, Philip, and Holger Karl. Introducing Feedback to Preemptive Routing and Wavelength Assignment Algorithms for Dynamic Traffic Scenarios. Universität Paderborn, 2012.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 608
Timm, Nils, et al. “Heuristic-Guided Abstraction Refinement for Concurrent Systems.” Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–63, doi:10.1007/978-3-642-34281-3_25.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 617
Jungmann, Alexander, et al. “Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems.” Proceedings of the Fourth International Conference on Resource Intensive Applications and Services (INTENSIVE), 2012, pp. 22–29.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 619
Brandes, Philipp, and Friedhelm Meyer auf der Heide. “Distributed Computing in Fault-Prone Dynamic Networks.” Proceedings of the 4th Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS), 2012, pp. 9–14, doi:10.1145/2414815.2414818.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 622
Arifulina, Svetlana, et al. “Coverage Criteria for Testing DMM Specifications.” Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012, doi:10.14279/tuj.eceasst.47.718.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 623
Richa, Andrea W., et al. “Competitive and Fair Throughput for Co-Existing Networks under Adversarial Interference.” Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles and Distributed Computing (PODC), 2012, pp. 291–300, doi:10.1145/2332432.2332488.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 625
Schmid, Stefan, et al. “Brief Announcement: SplayNets - Towards Self-Adjusting Distributed Data Structures.” Proceedings of the 26th International Symposium on Distributed Computing (DISC), 2012, pp. 439–40, doi:10.1007/978-3-642-33651-5_47.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 626
Kniesburges, Sebastian, and Christian Scheideler. “Brief Announcement: Hashed Predecessor Patricia Trie - A Data Structure for Efficient Predecessor Queries in Peer-to-Peer Systems.” Proceedings of the 26th International Symposium on Distributed Computing (DISC), 2012, pp. 435–36, doi:10.1007/978-3-642-33651-5_45.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 627
Wonisch, Daniel. “Block Abstraction Memoization for CPAchecker.” Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2012, pp. 531–33, doi:10.1007/978-3-642-28756-5_41.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 628
Cord-Landwehr, Andreas, et al. “Basic Network Creation Games with Communication Interests.” Proceedings of the 5th International Symposium on Algorithmic Game Theory (SAGT), 2012, pp. 72--83, doi:10.1007/978-3-642-33996-7_7.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 630
Platenius, Marie Christin, et al. “Archimetrix: Improved Software Architecture Recovery in the Presence of Design Deficiencies.” Proceedings of the 16th European Conference on Software Maintenance and Reengineering (CSMR), 2012, pp. 255–64, doi:10.1109/CSMR.2012.33.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 631
von Detten, Markus. “Archimetrix: A Tool for Deficiency-Aware Software Architecture Reconstruction.” Proceedings of the 19th Working Conference on Reverse Engineering (WCRE), 2012, pp. 503–04, doi:10.1109/WCRE.2012.61.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 632
Kolman, Petr, and Christian Scheideler. “Approximate Duality of Multicommodity Multiroute Flows and Cuts: Single Source Case.” Proceedings of the 23th ACM SIAM Symposium on Discrete Algorithms (SODA), 2012, pp. 800–10, doi:10.1137/1.9781611973099.64.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 635
Dohle (married name: Hallmann) , Corinna, and Leena Suhl. “An Optimization Model for the Optimal Usage of Water Tanks in Water Supply Systems.” Proceedings of the International Conference on Applied Mathematical Optimization and Modelling (APMOD), 2012, pp. 404–08.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 636
Meyer auf der Heide, Friedhelm, et al. “An Algorithm for Facility Leasing.” Proceedings of the 19th International Colloquium on Structural Information & Communication Complexity (SIROCCO), 2012, pp. 61–72, doi:10.1007/978-3-642-31104-8_6.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 639
Huma, Zille, et al. “A UML-Based Rich Service Description for Automatic Service Discovery.” Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, 2012, pp. 90--97.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 640
Kniesburges, Sebastian, et al. “A Self-Stabilization Process for Small-World Networks.” Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2012, pp. 1261--1271, doi:10.1109/IPDPS.2012.115.
LibreCat | Files available | DOI
 
2012 | Journal Article | LibreCat-ID: 5183
Bodden, Eric, et al. “Partially Evaluating Finite-State Runtime Monitors Ahead of Time.” ACM Transactions on Programming Languages and Systems, vol. 34, no. 2, Association for Computing Machinery (ACM), 2012, pp. 1–52, doi:10.1145/2220365.2220366.
LibreCat | Files available | DOI | Download (ext.)
 
2012 | Conference Paper | LibreCat-ID: 565
Besova, Galina, et al. “Weaving-Based Configuration and Modular Transformation of Multi-Layer Systems.” Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS), 2012, pp. 776–92, doi:10.1007/978-3-642-33666-9_49.
LibreCat | Files available | DOI
 
2012 | Misc | LibreCat-ID: 13462
Lewis, Peter, et al. An Outlook for Self-Awareness in Computing Systems. Awareness Magazine, 2012.
LibreCat
 
2012 | Conference Paper | LibreCat-ID: 615
Happe, Markus, et al. “Eight Ways to Put Your FPGA on Fire – A Systematic Study of Heat Generators.” Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig), IEEE, 2012, pp. 1–8, doi:10.1109/ReConFig.2012.6416745.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 591
Kenter, Tobias, et al. “Pragma Based Parallelization - Trading Hardware Efficiency for Ease of Use?” Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), IEEE, 2012, pp. 1–8, doi:10.1109/ReConFig.2012.6416773.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 609
Happe, Markus, et al. “Hardware/Software Platform for Self-Aware Compute Nodes.” Proceedings of the Workshop on Self-Awareness in Reconfigurable Computing Systems (SRCS), 2012, pp. 8–9.
LibreCat | Files available
 
2012 | Conference Paper | LibreCat-ID: 567
Barrio, Pablo, et al. “Turning Control Flow Graphs into Function Calls: Code Generation for Heterogeneous Architectures.” Proceedings of the International Conference on High Performance Computing and Simulation (HPCS), IEEE, 2012, pp. 559–65, doi:10.1109/HPCSim.2012.6266973.
LibreCat | Files available | DOI
 
2012 | Conference Paper | LibreCat-ID: 612
Rüthing, Christoph, et al. “Exploration of Ring Oscillator Design Space for Temperature Measurements on FPGAs.” Proceedings of the International Conference on Field Programmable Logic and Applications (FPL), IEEE, 2012, pp. 559–62, doi:10.1109/FPL.2012.6339370.
LibreCat | Files available | DOI
 
2011 | Journal Article | LibreCat-ID: 2512
Dimitrov, Dinko, and Claus-Jochen Haake. “Proportionality and the Power of Unequal Parties.” International Journal of Economic Theory, vol. 7, no. 2, Wiley-Blackwell, 2011, pp. 189–200, doi:10.1111/j.1742-7363.2011.00158.x.
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 644
von Detten, Markus. “Towards Systematic, Comprehensive Trace Generation for Behavioral Pattern Detection through Symbolic Execution.” Proceedings of the 10th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE), 2011, pp. 17–20, doi:10.1145/2024569.2024573.
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 645
Doerr, Benjamin, et al. “Stabilizing Consensus with the Power of Two Choices.” Proceedings of the 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2011, pp. 149–58, doi:10.1145/1989493.1989516.
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 646
Richa, Andrea W., and Christian Scheideler. “Self-Stabilizing DeBruijn Networks.” Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2011, pp. 416–30, doi:10.1007/978-3-642-24550-3_31.
LibreCat | Files available | DOI
 
2011 | Journal Article | LibreCat-ID: 647
Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated Formal Methods (IFM09).” Science of Computer Programming, no. 10, Elsevier, 2011, pp. 835--836, doi:10.1016/j.scico.2011.01.009.
LibreCat | Files available | DOI
 
2011 | Journal Article | LibreCat-ID: 649
Besova, Galina, et al. “Reputation-Based Reliability Prediction of Service Compositions.” Electronic Notes in Theoretical Computer Science, no. 2, Elsevier, 2011, pp. 3–16, doi:10.1016/j.entcs.2011.11.008.
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 652
Gerth, Christian, et al. “Precise Mappings between Business Process Models in Versioning Scenarios.” Proceedings of the IEEE 8th International Conference on Service Computingt (SCC), 2011, pp. 218--225, doi:10.1109/SCC.2011.65.
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 653
Lehrig, Sebastian, and Thomas Zolynski. “Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study.” Proceedings of the Palladio Days 2011, 2011, pp. 15–22, doi:10.5445/IR/1000025188 .
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 654
Graffi, Kalman. “PeerfactSim.KOM: A PSP System Simulator - Experiences and Lessons Learned.” Proceedings of the IEEE International Conference on Peer-to-Peer Computing (IEEE PsP), 2011, pp. 154–55, doi:10.1109/P2P.2011.6038673.
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 657
Abshoff, Sebastan, et al. “Local Approximation Algorithms for the Uncapacitated Metric Facility Location Problem in Power-Aware Sensor Networks.” Proceedings of the 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities (ALGOSENSORS), 2011, pp. 13–27, doi:10.1007/978-3-642-28209-6_3.
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 662
Nesterenko, Mikhail, et al. “Corona: A Stabilizing Deterministic Message-Passing Skip List.” Proceedings of the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2011, pp. 356--370, doi:10.1007/978-3-642-24550-3_27.
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 664
Gehweiler, Joachim, et al. “An Experimental Comparison of Load Balancing Strategies in a Web Computing Environment.” Proceedings of the 9th International Conference on Parallel Processing and Applied Mathematics (PPAM), 2011, pp. 31--40, doi:10.1007/978-3-642-31500-8_4.
LibreCat | Files available | DOI
 
2011 | Conference Paper | LibreCat-ID: 666
Drzevitzky, Stephanie, and Marco Platzner. “Achieving Hardware Security for Reconfigurable Systems on Chip by a Proof-Carrying Code Approach.” Proceedings of the 6th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011, pp. 58–65, doi:10.1109/ReCoSoC.2011.5981499.
LibreCat | Files available | DOI
 
2011 | Conference (Editor) | LibreCat-ID: 667
Meyer auf der Heide, Friedhelm, and Rajmohan Rajaraman, editors. 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures. 2011, doi:10.1145/1989493.
LibreCat | DOI
 
2011 | Report | LibreCat-ID: 668
Kaimann, Daniel. “To Infinity and beyond!” - A Genre-Specific Film Analysis of Movie Success Mechanisms. Universität Paderborn, 2011.
LibreCat | Files available
 
2011 | Conference Paper | LibreCat-ID: 656
Happe, Markus, et al. “Measuring and Predicting Temperature Distributions on FPGAs at Run-Time.” Proceedings of the 2011 International Conference on Reconfigurable Computing and FPGAs (ReConFig), IEEE, 2011, pp. 55–60, doi:10.1109/ReConFig.2011.59.
LibreCat | Files available | DOI
 

Filters and Search Terms

project=1

(type<>bachelorsthesis AND type<>mastersthesis AND type <> dissertation)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export