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.

13164 Publications


2012 | Conference Paper | LibreCat-ID: 5753
Model-driven specification of adaptive cloud-based systems
B. Nagel, C. Gerth, E. Yigitbas, F. Christ, G. Engels, in: Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud Computing Co-Located with 15th International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2012), Innsbruck, Austria, October 01 - 05, 2012, 2012, p. 4.
LibreCat | DOI
 

2012 | Mastersthesis | LibreCat-ID: 5760
Entwicklung eines Monitoring- und Adaptionskonzeptes für Geschäftsprozesse in service-orientierten Systemen
E. Yigitbas, Entwicklung Eines Monitoring- Und Adaptionskonzeptes Für Geschäftsprozesse in Service-Orientierten Systemen, 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 579
Smoothed analysis of left-to-right maxima with applications
V. Damerow, B. Manthey, F. Meyer auf der Heide, H. Räcke, C. Scheideler, C. Sohler, T. Tantau, Transactions on Algorithms (2012) 30.
LibreCat | Files available | DOI
 

2012 | Journal Article | LibreCat-ID: 5183
Partially Evaluating Finite-State Runtime Monitors Ahead of Time
E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages and Systems 34 (2012) 1–52.
LibreCat | Files available | DOI | Download (ext.)
 

2012 | Dissertation | LibreCat-ID: 586
Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security
S. Drzevitzky, Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security, Universität Paderborn, 2012.
LibreCat | Files available | Download (ext.)
 

2012 | Bachelorsthesis | LibreCat-ID: 593
Optimale Zuteilung von Nutzern zu verteilten Cloud-Standorten
T. Rojahn, Optimale Zuteilung von Nutzern zu verteilten Cloud-Standorten, Universität Paderborn, 2012.
LibreCat
 

2012 | Bachelorsthesis | LibreCat-ID: 598
Methoden zur Bestimmung von innerbetrieblichen Verrechnungspreisen
F. Mammadov, Methoden zur Bestimmung von innerbetrieblichen Verrechnungspreisen, Universität Paderborn, 2012.
LibreCat
 

2012 | Bachelorsthesis | LibreCat-ID: 606
Identitätsbasierte Signaturen - Ein Sicherheitsbeweis für Signaturen auf Grundlage von Gap-Diffie-Hellman-Gruppen mit Hilfe des Forking-Lemmas
N. Löken, 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 | Mastersthesis | LibreCat-ID: 618
Distributed Sampling of Regular Graphs
S. Kurras, Distributed Sampling of Regular Graphs, Universität Paderborn, 2012.
LibreCat
 

2012 | Bachelorsthesis | LibreCat-ID: 620
Datenschutzgerechtes DRM im Cloud Computing
R. Mittendorf, Datenschutzgerechtes DRM im Cloud Computing, Universität Paderborn, 2012.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author

Export / Embed