Untersuchung transitiver Eigenschaften der Technik "Programs from Proofs"
P. Korth, Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs,” Universität Paderborn, 2014.
LibreCat: /record/340

Two-Sided Market and Game Console Vendors
T. Fang Cheng, Two-Sided Market and Game Console Vendors, Universität Paderborn, 2014.
LibreCat: /record/341

Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen
C. Klauke, Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen, Universität Paderborn, 2014.
LibreCat: /record/342

Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market
J. Künsemöller, Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market, Universität Paderborn, 2014.
LibreCat: /record/343

The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores
C. Rüthing, The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores, Universität Paderborn, 2014.
LibreCat: /record/348

The Impact of Customer Reviews and Reputation on Hotel Prices
L. Holzweißig, The Impact of Customer Reviews and Reputation on Hotel Prices, Universität Paderborn, 2014.
LibreCat: /record/351

The Economics of Individual Behavior in Competitive Environments: Empirical Evidence from Real-Life Tournaments
F. Scheel, The Economics of Individual Behavior in Competitive Environments: Empirical Evidence from Real-Life Tournaments, Universität Paderborn, 2014.
LibreCat: /record/352

Struktur und algorithmische Bestimmung stabiler Matchings in one-to-one Matching Märkten
O. Ebel, Struktur und algorithmische Bestimmung stabiler Matchings in one-to-one Matching Märkten, Universität Paderborn, 2014.
LibreCat: /record/357

Strategic and Cooperative Games in Network Economics
N. Röhl, Strategic and Cooperative Games in Network Economics, Universität Paderborn, 2014.
LibreCat: /record/358

Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB
M. Töws, Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB, Universität Paderborn, 2014.
LibreCat: /record/359

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

Signalisieren und Screening in Arbeitsmärkten - die Experimente von Brandts & Holt und Kübler et. al
S. Kaiser, Signalisieren und Screening in Arbeitsmärkten - die Experimente von Brandts &; Holt und Kübler et. al, Universität Paderborn, 2014.
LibreCat: /record/362

RSA-Full Domain Hash Revisited
T. Rath, RSA-Full Domain Hash Revisited, Universität Paderborn, 2014.
LibreCat: /record/369

Reputationssysteme für zusammengesetzte Dienstleistungen
D. Pahl, Reputationssysteme für zusammengesetzte Dienstleistungen, Universität Paderborn, 2014.
LibreCat: /record/373

Reducing Energy Consumption of Radio Access Networks
M. Herlich, Reducing Energy Consumption of Radio Access Networks, Universität Paderborn, 2014.
LibreCat: /record/376

Privacy-Preserving Multiparty Digital Rights Management
R. Petrlic, Privacy-Preserving Multiparty Digital Rights Management, Universität Paderborn, 2014.
LibreCat: /record/385

On Variants of the Page Migration Problem
B. Feldkord, On Variants of the Page Migration Problem, Universität Paderborn, 2014.
LibreCat: /record/391

Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen
L. Luo, Ein Selbst-Stabilisierender Algorithmus Für Das Finite Sleep Problem in Skip+ Graphen, Universität Paderborn, 2014.
LibreCat: /record/18001

Combination of Service Matching Steps in Consideration of Efficiency and Fuzziness
Y. Gao, Combination of Service Matching Steps in Consideration of Efficiency and Fuzziness, Universität Paderborn, 2014.
LibreCat: /record/448

Automated Service Composition: Adaption of the ASTRO Approach
W. Heldt, Automated Service Composition: Adaption of the ASTRO Approach, Universität Paderborn, 2014.
LibreCat: /record/454

Anticipatory Power Cycling of Mobile Network Equipment for High-Demand Multimedia Traffic
P. Dreimann, Anticipatory Power Cycling of Mobile Network Equipment for High-Demand Multimedia Traffic, Universität Paderborn, 2014.
LibreCat: /record/458

Advanced AES-key recovery from decayed RAM-dumps using multi-threading and FPGAs
R. Mittendorf, Advanced AES-Key Recovery from Decayed RAM-Dumps Using Multi-Threading and FPGAs, Universität Paderborn, 2014.
LibreCat: /record/460

Adaptive Placement of Programmable Virtual Network Function Chains
S. Dräxler, Adaptive Placement of Programmable Virtual Network Function Chains, Universität Paderborn, 2014.
LibreCat: /record/461

A generalized loop accelerator implemented as a coarse grained array
M. Brand, A Generalized Loop Accelerator Implemented as a Coarse Grained Array, Universität Paderborn, 2014.
LibreCat: /record/466

On the Relation between Innovation and Competion: The Case of Energy Industry
N. Brummel, On the Relation between Innovation and Competion: The Case of Energy Industry, Universität Paderborn, 2014.
LibreCat: /record/392

Modeling and Matching of Reputation of Services in On-The-Fly Computing
D. Bano, Modeling and Matching of Reputation of Services in On-The-Fly Computing, Universität Paderborn, 2014.
LibreCat: /record/396

Measuring Transformation-induced Uncertainty in Service Matching: A Feasibility Study
M. Bunse, Measuring Transformation-Induced Uncertainty in Service Matching: A Feasibility Study, Universität Paderborn, 2014.
LibreCat: /record/400

Machtverteilungen von Koalitionen im Fokus der politischen Realität
T. Martin Lohre, Machtverteilungen von Koalitionen im Fokus der politischen Realität, Universität Paderborn, 2014.
LibreCat: /record/403

Kooperative Verhandlungen im duopolistischen Wettbewerb - eine spieltheoretische Analyse
D. van Straaten, Kooperative Verhandlungen im duopolistischen Wettbewerb - eine spieltheoretische Analyse, Universität Paderborn, 2014.
LibreCat: /record/404

Koalitionsbildung bei mehrdimensionalen Verhandlungsproblemen
O. Degraf, Koalitionsbildung bei mehrdimensionalen Verhandlungsproblemen, Universität Paderborn, 2014.
LibreCat: /record/405

Improving Service Specifications for the Service Matching on a Service Market
V. Taherinajafabadi, Improving Service Specifications for the Service Matching on a Service Market, Universität Paderborn, 2014.
LibreCat: /record/411

Horizontale Fusionen: Theorie und Praxis am Beispiel zweier Entscheidungen des Bundeskartellamtes
F. Eusterholz, Horizontale Fusionen: Theorie und Praxis am Beispiel zweier Entscheidungen des Bundeskartellamtes, Universität Paderborn, 2014.
LibreCat: /record/413

Hiding software components using functional encryption
J. Jochheim, Hiding Software Components Using Functional Encryption, Universität Paderborn, 2014.
LibreCat: /record/414

Handling Incomplete Service Specifications using Fuzzy Matching
S. Vijapurwala, Handling Incomplete Service Specifications Using Fuzzy Matching, Universität Paderborn, 2014.
LibreCat: /record/415

Group Signature Schemes with Strong Exculpability
P. Bemmann, Group Signature Schemes with Strong Exculpability, Universität Paderborn, 2014.
LibreCat: /record/416

Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren
F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren, Universität Paderborn, 2014.
LibreCat: /record/418

Gender and ethnic discrimination in hiring : evidence from field experiments in the German labor market
A. Kolle, Gender and Ethnic Discrimination in Hiringf: Evidence from Field Experiments in the German Labor Market, Universität Paderborn, 2014.
LibreCat: /record/419

Fuzzy Matching of Service Price Specifications
S. Merschjohann, Fuzzy Matching of Service Price Specifications, Universität Paderborn, 2014.
LibreCat: /record/420

Fujisaki-Okamoto Transformation
J. Lippert, Fujisaki-Okamoto Transformation, Universität Paderborn, 2014.
LibreCat: /record/421

Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions
M. Sanati, Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions, Universität Paderborn, 2014.
LibreCat: /record/422

Finding Optimal Self-Adaption Rules by Design-Space Exploration
S. Jojiju, Finding Optimal Self-Adaption Rules by Design-Space Exploration, Universität Paderborn, 2014.
LibreCat: /record/423

Fast and Flexible Automatic Composition of Semantic Web Services
C. Finkensiep, Fast and Flexible Automatic Composition of Semantic Web Services, Universität Paderborn, 2014.
LibreCat: /record/424

Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network
V. Dornseifer, Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network, Universität Paderborn, 2014.
LibreCat: /record/426

Evaluating the Influence of Different Abstraction Levels of Software Design on Performance prediction
B. Bulk, Evaluating the Influence of Different Abstraction Levels of Software Design on Performance Prediction, Universität Paderborn, 2014.
LibreCat: /record/427

Entwicklung eines mathematischen Modells zur Optimierung der Struktur eines Trinkwasserbehälters
M. Herbort, Entwicklung eines mathematischen Modells zur Optimierung der Struktur eines Trinkwasserbehälters, Universität Paderborn, 2014.
LibreCat: /record/429

Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT
A. Krakau, Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT, Universität Paderborn, 2014.
LibreCat: /record/430

Energy-efficient Scheduling Algorithms
P. Kling, Energy-Efficient Scheduling Algorithms, Universität Paderborn, 2014.
LibreCat: /record/431

Energy-Efficient Queuing with Delayed Deactivation
N. Bredenbals, Energy-Efficient Queuing with Delayed Deactivation, Universität Paderborn, 2014.
LibreCat: /record/432

Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen
L. Luo, Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen, Universität Paderborn, 2014.
LibreCat: /record/434

Easy-to-use on-the-fly binary program acceleration on many-cores
M. Damschen, Easy-to-Use on-the-Fly Binary Program Acceleration on Many-Cores, Universität Paderborn, 2014.
LibreCat: /record/436