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.
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