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.
9727 Publications
2014 | Journal Article | LibreCat-ID: 3174
Managing {LTL} properties in Event-B refinement
S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (2014).
LibreCat
S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (2014).
2014 | Journal Article | LibreCat-ID: 3175
Proof-Carrying Hardware via {IC3}
T. Isenberg, H. Wehrheim, CoRR (2014).
LibreCat
T. Isenberg, H. Wehrheim, CoRR (2014).
2014 | Conference Paper | LibreCat-ID: 27166
Twenty years of learning with the World Wide Web
R. Keil, H. Selke, F. Winkelnkemper, (2014) 51–60.
LibreCat
R. Keil, H. Selke, F. Winkelnkemper, (2014) 51–60.
2014 | Conference Paper | LibreCat-ID: 27167
Zwischen Design und Flexibilit{\"a}t - Zur Ergonomie des Flat Design
F. Winkelnkemper, R. Keil, in: A. Butz, J. Schlichter (Eds.), Oldenbourg Verlag, 2014, pp. 255–264.
LibreCat
F. Winkelnkemper, R. Keil, in: A. Butz, J. Schlichter (Eds.), Oldenbourg Verlag, 2014, pp. 255–264.
2014 | Conference Paper | LibreCat-ID: 20983
ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study
C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, M. Tichy, in: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), 2014.
LibreCat
C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, M. Tichy, in: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), 2014.
2014 | Conference Paper | LibreCat-ID: 17659
Nash Equilibria in Shared Effort Games
G. Polevoy, S. Trajanovski, M.M. de Weerdt, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 861–868.
LibreCat
G. Polevoy, S. Trajanovski, M.M. de Weerdt, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 861–868.
2014 | Conference Paper | LibreCat-ID: 17660
Improving Human Interaction in Crowdsensing
G. Polevoy, M.M. de Weerdt, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 1741–1742.
LibreCat
G. Polevoy, M.M. de Weerdt, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 1741–1742.
2014 | Conference Paper | LibreCat-ID: 17661
Request Driven Social Sensing
T.C. King, Q. Liu, G. Polevoy, M. de Weerdt, V. Dignum, M.B. van Riemsdijk, M. Warnier, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 1651–1652.
LibreCat
T.C. King, Q. Liu, G. Polevoy, M. de Weerdt, V. Dignum, M.B. van Riemsdijk, M. Warnier, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 1651–1652.
2014 | Journal Article | LibreCat-ID: 17662
Signaling Competition and Social Welfare
G. Polevoy, R. Smorodinsky, M. Tennenholtz, ACM Trans. Econ. Comput. 2 (2014) 1:1-1:16.
LibreCat
| DOI
G. Polevoy, R. Smorodinsky, M. Tennenholtz, ACM Trans. Econ. Comput. 2 (2014) 1:1-1:16.
2014 | Conference Paper | LibreCat-ID: 1781
Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres
T. Steinle, J. Vrabec, A. Walther, in: H.G. Bock, X.P. Hoang, R. Rannacher, J.P. Schlöder (Eds.), Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC), Springer International Publishing, 2014, pp. 233–243.
LibreCat
| DOI
T. Steinle, J. Vrabec, A. Walther, in: H.G. Bock, X.P. Hoang, R. Rannacher, J.P. Schlöder (Eds.), Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC), Springer International Publishing, 2014, pp. 233–243.
2014 | Conference Paper | LibreCat-ID: 1782
On Semeai Detection in Monte-Carlo Go
T. Graf, L. Schaefers, M. Platzner, in: Proc. Conf. on Computers and Games (CG), Springer, Switzerland, 2014, pp. 14–25.
LibreCat
| DOI
T. Graf, L. Schaefers, M. Platzner, in: Proc. Conf. on Computers and Games (CG), Springer, Switzerland, 2014, pp. 14–25.
2014 | Dissertation | LibreCat-ID: 19039
Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit
R. Petring, Multi-Algorithmen-Rendering: Darstellung Heterogener 3-D-Szenen in Echtzeit, Universität Paderborn, 2014.
LibreCat
| Files available
R. Petring, Multi-Algorithmen-Rendering: Darstellung Heterogener 3-D-Szenen in Echtzeit, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 20905
Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems
U. Pohlmann, J. Holtmann, M. Meyer, C. Gerking, in: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE Xplore, 2014.
LibreCat
U. Pohlmann, J. Holtmann, M. Meyer, C. Gerking, in: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE Xplore, 2014.
2014 | Conference Paper | LibreCat-ID: 20907
The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems
S. Becker, S. Dziwok, C. Gerking, C. Heinzemann, W. Schäfer, M. Meyer, U. Pohlmann, in: Proceedings of the 36th International Conference on Software Engineering (Posters), ACM, New York, NY, USA, 2014.
LibreCat
S. Becker, S. Dziwok, C. Gerking, C. Heinzemann, W. Schäfer, M. Meyer, U. Pohlmann, in: Proceedings of the 36th International Conference on Software Engineering (Posters), ACM, New York, NY, USA, 2014.
2014 | Conference Paper | LibreCat-ID: 20908
A Modelica Coordination Pattern Library for Cyber-Physical Systems
U. Pohlmann, S. Dziwok, M. Meyer, M. Tichy, S. Thiele, in: Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014.
LibreCat
| Download (ext.)
U. Pohlmann, S. Dziwok, M. Meyer, M. Tichy, S. Thiele, in: Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014.
2014 | Report | LibreCat-ID: 20909
The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling
S. Becker, S. Dziwok, C. Gerking, W. Schäfer, C. Heinzemann, S. Thiele, M. Meyer, C. Priesterjahn, U. Pohlmann, M. Tichy, The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling, 2014.
LibreCat
S. Becker, S. Dziwok, C. Gerking, W. Schäfer, C. Heinzemann, S. Thiele, M. Meyer, C. Priesterjahn, U. Pohlmann, M. Tichy, The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling, 2014.
2014 | Conference Paper | LibreCat-ID: 20910
Viewpoints and Views in Hardware Platform Modeling for Safe Deployment
U. Pohlmann, M. Meyer, A.P. Dann, C. Brink, in: Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, ACM, New York, NY, USA, 2014, p. 23:23-23:30.
LibreCat
U. Pohlmann, M. Meyer, A.P. Dann, C. Brink, in: Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, ACM, New York, NY, USA, 2014, p. 23:23-23:30.
2014 | Bachelorsthesis | LibreCat-ID: 18001
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
L. Luo, Ein Selbst-Stabilisierender Algorithmus Für Das Finite Sleep Problem in Skip+ Graphen, Universität Paderborn, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 18002
Formbildung selbstorganisierender Partikelsysteme
K. Hinnenthal, Formbildung Selbstorganisierender Partikelsysteme, 2014.
LibreCat
K. Hinnenthal, Formbildung Selbstorganisierender Partikelsysteme, 2014.
2014 | Conference Paper | LibreCat-ID: 1801
Incorporating feedback from application layer into routing and wavelength assignment algorithms
P. Wette, H. Karl, in: 2013 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), IEEE, 2014.
LibreCat
| DOI
P. Wette, H. Karl, in: 2013 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), IEEE, 2014.
2014 | Journal Article | LibreCat-ID: 1858
SKIP*: A Self-Stabilizing Skip Graph
R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, H. Täubig, J. ACM (2014) 36:1--36:26.
LibreCat
| DOI
R. Jacob, A. W. Richa, C. Scheideler, S. Schmid, H. Täubig, J. ACM (2014) 36:1--36:26.
2014 | Conference Paper | LibreCat-ID: 1863
Brief announcement: amoebot - a new model for programmable matter
Z. Derakhshandeh, S. Dolev, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, in: 26th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA’14, Prague, Czech Republic - June 23 - 25, 2014, ACM, 2014, pp. 220--222.
LibreCat
| DOI
Z. Derakhshandeh, S. Dolev, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, in: 26th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA’14, Prague, Czech Republic - June 23 - 25, 2014, ACM, 2014, pp. 220--222.
2014 | Conference Paper | LibreCat-ID: 22903
Feature models supporting trade-off decisions in early mechatronic systems design
A. Kühn, C. Bremer, R. Dumitrescu, J. Gausemeier, in: NordDesign 2014, Espoo, Finnland, 27. - 29. Aug. 2014, 2014.
LibreCat
A. Kühn, C. Bremer, R. Dumitrescu, J. Gausemeier, in: NordDesign 2014, Espoo, Finnland, 27. - 29. Aug. 2014, 2014.
2014 | Newspaper Article | LibreCat-ID: 22904
Der Spitzencluster it's OWL auf dem Weg zur Industrie 4.0
J. Gausemeier, R. Dumitrescu, J. Jasperneite, A. Kühn, H. Trsek, ZWF - Zeitschrift für Wirtschaftlichen Fabrikbetrieb (2014) 336–346.
LibreCat
J. Gausemeier, R. Dumitrescu, J. Jasperneite, A. Kühn, H. Trsek, ZWF - Zeitschrift für Wirtschaftlichen Fabrikbetrieb (2014) 336–346.
2014 | Newspaper Article | LibreCat-ID: 22905
Terrain Classification for Track-driven Agricultural Robots
K.A. Mahadhir, S.C. Tan, C. Low, R. Dumitrescu, A.T.M. Amin, A. Jaffar, Procedia Technology Vol. 15 (2014) 776–783.
LibreCat
K.A. Mahadhir, S.C. Tan, C. Low, R. Dumitrescu, A.T.M. Amin, A. Jaffar, Procedia Technology Vol. 15 (2014) 776–783.
2014 | Book Chapter | LibreCat-ID: 22906
Specification Technique CONSENS for the Description of Self-optimizing Systems
R. Dorociak, R. Dumitrescu, J. Gausemeier, P. Iwanek, in: J. Gausemeier, F.-J. Rammig, W. Schäfer (Eds.), Design Methodology for Intelligent Technichal Systems, Springer, Berlin, 2014.
LibreCat
R. Dorociak, R. Dumitrescu, J. Gausemeier, P. Iwanek, in: J. Gausemeier, F.-J. Rammig, W. Schäfer (Eds.), Design Methodology for Intelligent Technichal Systems, Springer, Berlin, 2014.
2014 | Conference Paper | LibreCat-ID: 22907
Strategy controlling for innovation clusters - the example of "it's OWL"
A. Kühn, D. Kliewe, R. Dumitrescu, J. Gausemeier, in: ISPIM Conference 2014, 2014.
LibreCat
A. Kühn, D. Kliewe, R. Dumitrescu, J. Gausemeier, in: ISPIM Conference 2014, 2014.
2014 | Conference Paper | LibreCat-ID: 22908
Systematische Berücksichtigung von Fertigungsanforderungen im Model-Based Systems Engineering
R. Dumitrescu, C. Fechtelpeter, A. Kühn, in: M. Maurer, S.-O. Schulze (Eds.), Tag des Systems Engineering, Bremen, Carl Hanser Verlag, München, 2014.
LibreCat
R. Dumitrescu, C. Fechtelpeter, A. Kühn, in: M. Maurer, S.-O. Schulze (Eds.), Tag des Systems Engineering, Bremen, Carl Hanser Verlag, München, 2014.
2014 | Conference Paper | LibreCat-ID: 22909
Methodology for the identification of solution patterns within mechatronic systems
M. Rabe, H. Anacker, R. Dumitrescu, in: Proceedings of the 15th International Workshop on Research and Education in Mechatronics (REM), El Gouna, Egypt, 2014.
LibreCat
M. Rabe, H. Anacker, R. Dumitrescu, in: Proceedings of the 15th International Workshop on Research and Education in Mechatronics (REM), El Gouna, Egypt, 2014.
2014 | Conference Paper | LibreCat-ID: 22910
Collaboration in Model-Based Systems Engineering based on Application Scenarios
C. Tschirner, L. Kaiser, R. Dumitrescu, J. Gausemeier, in: NordDesign 2014, Espoo, Finnland, 2014.
LibreCat
C. Tschirner, L. Kaiser, R. Dumitrescu, J. Gausemeier, in: NordDesign 2014, Espoo, Finnland, 2014.
2014 | Newspaper Article | LibreCat-ID: 22911
Optimized process sequences for prototyping of molded interconnect devices
C. Jürgenhake, C. Fechtelpeter, R. Dumitrescu, D. Heidsiek, Advanced Materials Research Vol.1038 (2014) 19–27.
LibreCat
C. Jürgenhake, C. Fechtelpeter, R. Dumitrescu, D. Heidsiek, Advanced Materials Research Vol.1038 (2014) 19–27.
2014 | Newspaper Article | LibreCat-ID: 22912
Method for the Identification and Comparison of Alternative Process Chains Focusing on Economics Efficiency Analysis during the Conceptual Design of Mechatronic Integrated Devices
T. Schierbaum, J. Gausemeier, R. Dumitrescu, Advanced Materials Research Vol.1038 (2014) 3–9.
LibreCat
T. Schierbaum, J. Gausemeier, R. Dumitrescu, Advanced Materials Research Vol.1038 (2014) 3–9.
2014 | Journal Article | LibreCat-ID: 21741
A Summer Blender Camp: Modeling, Rendering, and Animation for High School Students
M. Bailey, C. Law, IEEE Computer Graphics and Applications 34 (2014) 65–67.
LibreCat
| DOI
M. Bailey, C. Law, IEEE Computer Graphics and Applications 34 (2014) 65–67.
2014 | Journal Article | LibreCat-ID: 21742
Student Projects Involving Novel Interaction with Large Displays
P. Dias, T. Sousa, J. Parracho, I. Cardoso, A. Monteiro, B.S. Santos, IEEE Computer Graphics and Applications 34 (2014) 80–86.
LibreCat
| DOI
P. Dias, T. Sousa, J. Parracho, I. Cardoso, A. Monteiro, B.S. Santos, IEEE Computer Graphics and Applications 34 (2014) 80–86.
2014 | Journal Article | LibreCat-ID: 21743
Beyond Minecraft: Facilitating Computational Thinking through Modeling and Programming in 3D
A. Repenning, D. C. Webb, C. Brand, F. Gluck, R. Grover, S. Miller, H. Nickerson, M. Song, IEEE Computer Graphics and Applications 34 (2014) 68–71.
LibreCat
| DOI
A. Repenning, D. C. Webb, C. Brand, F. Gluck, R. Grover, S. Miller, H. Nickerson, M. Song, IEEE Computer Graphics and Applications 34 (2014) 68–71.
2014 | Journal Article | LibreCat-ID: 21744
Incorporating Modern OpenGL into Computer Graphics Education
G. Reina, T. Müller, T. Ertl, IEEE Computer Graphics and Applications 34 (2014) 16–21.
LibreCat
| DOI
G. Reina, T. Müller, T. Ertl, IEEE Computer Graphics and Applications 34 (2014) 16–21.
2014 | Journal Article | LibreCat-ID: 21745
Creative Educational Use of Virtual Reality: Working with Second Life
M. Cao, Y. Li, Z. Pan, J. Csete, S. Sun, J. Li, Y. Liu, Computer Graphics and Applications, IEEE 34 (2014) 83–87.
LibreCat
| DOI
M. Cao, Y. Li, Z. Pan, J. Csete, S. Sun, J. Li, Y. Liu, Computer Graphics and Applications, IEEE 34 (2014) 83–87.
2014 | Journal Article | LibreCat-ID: 21746
Graphical Qualities of Educational Technology: Using Drag-and-Drop and Text-Based Programs for Introductory Computer Science
B. DiSalvo, IEEE Computer Graphics and Applications 34 (2014) 12–15.
LibreCat
| DOI
B. DiSalvo, IEEE Computer Graphics and Applications 34 (2014) 12–15.
2014 | Journal Article | LibreCat-ID: 21936
Variational Approach to Molecular Kinetics
F. Nüske, B.G. Keller, G. Pérez-Hernández, A.S.J.S. Mey, F. Noé, Journal of Chemical Theory and Computation (2014) 1739–1752.
LibreCat
| DOI
F. Nüske, B.G. Keller, G. Pérez-Hernández, A.S.J.S. Mey, F. Noé, Journal of Chemical Theory and Computation (2014) 1739–1752.
2014 | Conference (Editor) | LibreCat-ID: 7761
Towards a Simulation-based Approach for Evaluating Business Models for the Electric Vehicle Market
C. Weskamp , T. John , D. Kundisch , A. Teetz, M. Rose, eds., Towards a Simulation-Based Approach for Evaluating Business Models for the Electric Vehicle Market, Brussels, 2014.
LibreCat
C. Weskamp , T. John , D. Kundisch , A. Teetz, M. Rose, eds., Towards a Simulation-Based Approach for Evaluating Business Models for the Electric Vehicle Market, Brussels, 2014.
2014 | Conference Paper | LibreCat-ID: 8064
Linguistic Consistency of Goal Models
F. Pittke, B. Nagel, G. Engels, J. Mendling, in: Proceedings of the 19th International EMMSAD Conference, Springer, 2014.
LibreCat
F. Pittke, B. Nagel, G. Engels, J. Mendling, in: Proceedings of the 19th International EMMSAD Conference, Springer, 2014.
2014 | Conference Paper | LibreCat-ID: 8065
Breathing Life into Situational Software Engineering Methods
M. Fazal-Baqaie, C. Gerth, G. Engels, in: In Proceedings of the 15th International Conference of Product Focused Software Development and Process Improvement (PROFES 2014), Springer, 2014, pp. 281–284.
LibreCat
M. Fazal-Baqaie, C. Gerth, G. Engels, in: In Proceedings of the 15th International Conference of Product Focused Software Development and Process Improvement (PROFES 2014), Springer, 2014, pp. 281–284.
2014 | Conference Paper | LibreCat-ID: 8066
Agile Entwicklung mit On- und Offshore-Partnern – Methodenverbesserung in der Praxis
M. Fazal-Baqaie, S. Sauer, T. Heuft, in: Proceedings of Projektmanagement Und Vorgehensmodelle 2014, GI, Köllen Druck+Verlag GmbH, Bonn, 2014, pp. 59–69.
LibreCat
M. Fazal-Baqaie, S. Sauer, T. Heuft, in: Proceedings of Projektmanagement Und Vorgehensmodelle 2014, GI, Köllen Druck+Verlag GmbH, Bonn, 2014, pp. 59–69.
2014 | Report | LibreCat-ID: 8224
Configuration of Specification Language and Matching for Services in On-The-Fly Computing
S. Arifulina, M. Christin Platenius, C. Gerth, S. Becker, G. Engels, W. Schäfer, Configuration of Specification Language and Matching for Services in On-The-Fly Computing, Heinz Nixdorf Institute, University of Paderborn, 2014.
LibreCat
S. Arifulina, M. Christin Platenius, C. Gerth, S. Becker, G. Engels, W. Schäfer, Configuration of Specification Language and Matching for Services in On-The-Fly Computing, Heinz Nixdorf Institute, University of Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 5749
Model-Based User Interface Development for Adaptive Self-Service Systems
E. Yigitbas, H.G. Fischer, S. Sauer, in: Design, User Experience, and Usability. Theories, Methods, and Tools for Designing the User Experience - Third International Conference, {DUXU} 2014, Held as Part of {HCI} International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part {I}, 2014, pp. 206–213.
LibreCat
| DOI
E. Yigitbas, H.G. Fischer, S. Sauer, in: Design, User Experience, and Usability. Theories, Methods, and Tools for Designing the User Experience - Third International Conference, {DUXU} 2014, Held as Part of {HCI} International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part {I}, 2014, pp. 206–213.
2014 | Conference Paper | LibreCat-ID: 5750
Model-Based Development of Adaptive UIs for Multi-channel Self-service Systems
E. Yigitbas, H.G. Fischer, T. Kern, V. Paelke, in: Human-Centered Software Engineering - 5th {IFIP} {WG} 13.2 International Conference, {HCSE} 2014, Paderborn, Germany, September 16-18, 2014. Proceedings, 2014, pp. 267–274.
LibreCat
| DOI
E. Yigitbas, H.G. Fischer, T. Kern, V. Paelke, in: Human-Centered Software Engineering - 5th {IFIP} {WG} 13.2 International Conference, {HCSE} 2014, Paderborn, Germany, September 16-18, 2014. Proceedings, 2014, pp. 267–274.
2014 | Conference Paper | LibreCat-ID: 5751
Flexible & Adaptive UIs for Self-Service Systems
E. Yigitbas, S. Sauer, in: Mensch & Computer 2014 - Workshopband, 14. Fachübergreifende Konferenz Für Interaktive Und Kooperative Medien - Interaktiv Unterwegs - Freiräume Gestalten, 31. August - 3. September 2014, München, Germany, 2014, pp. 167–175.
LibreCat
E. Yigitbas, S. Sauer, in: Mensch & Computer 2014 - Workshopband, 14. Fachübergreifende Konferenz Für Interaktive Und Kooperative Medien - Interaktiv Unterwegs - Freiräume Gestalten, 31. August - 3. September 2014, München, Germany, 2014, pp. 167–175.
2014 | Conference Paper | LibreCat-ID: 6273
Qualität im Usability Engineering - Stand der Arbeiten am Qualitätsstandard Usability Engineering der German UPA
H.G. Fischer, C. Riedemann, L. Daske, T. Geis, O. Kluge, R. Molich, K. Polkehn, in: Jahresband Usability Professionals, German UPA, 2014.
LibreCat
H.G. Fischer, C. Riedemann, L. Daske, T. Geis, O. Kluge, R. Molich, K. Polkehn, in: Jahresband Usability Professionals, German UPA, 2014.
2014 | Conference Paper | LibreCat-ID: 6303
IT-Unterstützung im praktischen Ausbildungsbetrieb der Feuerwehr
B. Senft, H.G. Fischer, C. Sudbrock, in: Mensch & Computer 2014 - Workshopband, De Gruyter Oldenbourg, 2014, pp. 111–116.
LibreCat
B. Senft, H.G. Fischer, C. Sudbrock, in: Mensch & Computer 2014 - Workshopband, De Gruyter Oldenbourg, 2014, pp. 111–116.
2014 | Book | LibreCat-ID: 6428
Vehicular Networking
C. Sommer, F. Dressler, Vehicular Networking, Cambridge University Press, 2014.
LibreCat
| DOI
C. Sommer, F. Dressler, Vehicular Networking, Cambridge University Press, 2014.
2014 | Preprint | LibreCat-ID: 442 | 
Constructing CCA-secure predicate encapsulation schemes from CPA-secure schemes and universal one-way hash functions
J. Blömer, G. Liske, (2014).
LibreCat
| Files available
| Download (ext.)
J. Blömer, G. Liske, (2014).
2014 | Conference Paper | LibreCat-ID: 446
Competitive MAC under adversarial SINR
A. Ogierman, A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM), 2014, pp. 2751--2759.
LibreCat
| Files available
| DOI
A. Ogierman, A.W. Richa, C. Scheideler, S. Schmid, J. Zhang, in: Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM), 2014, pp. 2751--2759.
2014 | Conference Paper | LibreCat-ID: 447
Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services
A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 10th World Congress on Services (SERVICES), 2014, pp. 346–353.
LibreCat
| Files available
| DOI
A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 10th World Congress on Services (SERVICES), 2014, pp. 346–353.
2014 | Conference Paper | LibreCat-ID: 449
Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!
M. Becker, M.C. Platenius, S. Becker, in: Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB), 2014, pp. 153–159.
LibreCat
| Files available
| DOI
M. Becker, M.C. Platenius, S. Becker, in: Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB), 2014, pp. 153–159.
2014 | Conference Paper | LibreCat-ID: 450
Certification for Configurable Program Analysis
M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), 2014, pp. 30–39.
LibreCat
| Files available
| DOI
M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), 2014, pp. 30–39.
2014 | Conference Paper | LibreCat-ID: 451
Budget-restricted utility games with ordered strategic decisions
M. Drees, S. Riechers, A. Skopalik, in: R. Lavi (Ed.), Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT), 2014, pp. 110–121.
LibreCat
| Files available
| DOI
M. Drees, S. Riechers, A. Skopalik, in: R. Lavi (Ed.), Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT), 2014, pp. 110–121.
2014 | Conference Paper | LibreCat-ID: 452
Brief Announcement: A Model for Multilevel Network Games
S. Abshoff, A. Cord-Landwehr, D. Jung, A. Skopalik, in: R. Lavi (Ed.), Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT), 2014, p. 294.
LibreCat
| Files available
S. Abshoff, A. Cord-Landwehr, D. Jung, A. Skopalik, in: R. Lavi (Ed.), Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT), 2014, p. 294.
2014 | Conference Paper | LibreCat-ID: 453
Bounding the Potential Function in Congestion Games and Approximate Pure Nash Equilibria
M. Feldotto, M. Gairing, A. Skopalik, in: Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 30–43.
LibreCat
| Files available
| DOI
M. Feldotto, M. Gairing, A. Skopalik, in: Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 30–43.
2014 | Conference Paper | LibreCat-ID: 455
Approximate pure Nash equilibria in weighted congestion games
C. Hansknecht, M. Klimm, A. Skopalik, in: Proceedings of the 17th. International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX), 2014, pp. 242–257.
LibreCat
| Files available
| DOI
C. Hansknecht, M. Klimm, A. Skopalik, in: Proceedings of the 17th. International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX), 2014, pp. 242–257.
2014 | Conference Paper | LibreCat-ID: 456
Approximate pure Nash equilibria in Social Context Congestion Games
M. Gairing, G. Kotsialou, A. Skopalik, in: Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 480–485.
LibreCat
| Files available
| DOI
M. Gairing, G. Kotsialou, A. Skopalik, in: Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 480–485.
2014 | Conference Paper | LibreCat-ID: 457
Applying Reinforcement Learning for Resolving Ambiguity in Service Composition
A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 2014, pp. 105–112.
LibreCat
| Files available
| DOI
A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 2014, pp. 105–112.
2014 | Mastersthesis | LibreCat-ID: 458
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
P. Dreimann, Anticipatory Power Cycling of Mobile Network Equipment for High-Demand Multimedia Traffic, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 459
Algorithmic Aspects of Resource Management in the Cloud
S. Kniesburges, C. Markarian, F. Meyer auf der Heide, C. Scheideler, in: Proceedings of the 21st International Colloquium on Structural Information and Communication Complexity (SIROCCO), 2014, pp. 1–13.
LibreCat
| Files available
| DOI
S. Kniesburges, C. Markarian, F. Meyer auf der Heide, C. Scheideler, in: Proceedings of the 21st International Colloquium on Structural Information and Communication Complexity (SIROCCO), 2014, pp. 1–13.
2014 | Bachelorsthesis | LibreCat-ID: 461
Adaptive Placement of Programmable Virtual Network Function Chains
S. Dräxler, Adaptive Placement of Programmable Virtual Network Function Chains, Universität Paderborn, 2014.
LibreCat
S. Dräxler, Adaptive Placement of Programmable Virtual Network Function Chains, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 462
A Simulation Framework for Analyzing Complex Infinitely Repeated Games
M. Feldotto, A. Skopalik, in: Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014), 2014, pp. 625–630.
LibreCat
| Files available
| DOI
M. Feldotto, A. Skopalik, in: Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2014), 2014, pp. 625–630.
2014 | Conference Paper | LibreCat-ID: 463
A Practical Second-Order Fault Attack against a Real-World Pairing Implementation
J. Blömer, R. Gomes da Silva, P. Günther, J. Krämer, J.-P. Seifert, in: Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC), 2014, pp. 123--136.
LibreCat
| Files available
| DOI
J. Blömer, R. Gomes da Silva, P. Günther, J. Krämer, J.-P. Seifert, in: Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC), 2014, pp. 123--136.
2014 | Journal Article | LibreCat-ID: 464
A Note on the Parallel Runtime of Self-Stabilizing Graph Linearization
D. Gall, R. Jacob, A.W. Richa, C. Scheideler, S. Schmid, H. Täubig, Theory of Computing Systems (2014) 110–135.
LibreCat
| Files available
| DOI
D. Gall, R. Jacob, A.W. Richa, C. Scheideler, S. Schmid, H. Täubig, Theory of Computing Systems (2014) 110–135.
2014 | Journal Article | LibreCat-ID: 467
A Game-Theoretic Approach to the Financial Benefits of Infrastructure-as-a-Service
J. Künsemöller, H. Karl, Future Generation Computer Systems (2014) 44--52.
LibreCat
| Files available
| DOI
J. Künsemöller, H. Karl, Future Generation Computer Systems (2014) 44--52.
2014 | Journal Article | LibreCat-ID: 7268
Forms2ADF mal anders: Wie aus einer Oracle-Vision Praxis wird
M. Klenke, M. Grieger, DOAG News (2014) 38–42.
LibreCat
M. Klenke, M. Grieger, DOAG News (2014) 38–42.
2014 | Journal Article | LibreCat-ID: 7269
A Method to Systematically Improve the Effectiveness and Efficiency of the Semi-Automatic Migration of Legacy Systems
M. Grieger, M. Fazal-Baqaie, S. Sauer, M. Klenke, Softwaretechnik-Trends, Proceedings of the 16th Workshop Software-Reengineering (WSRE) 34 (2014) 77–78.
LibreCat
M. Grieger, M. Fazal-Baqaie, S. Sauer, M. Klenke, Softwaretechnik-Trends, Proceedings of the 16th Workshop Software-Reengineering (WSRE) 34 (2014) 77–78.
2014 | Journal Article | LibreCat-ID: 7270
Architectural Restructuring by Semi-Automatic Clustering to Facilitate Migration towards a Service-oriented Architecture
M. Grieger, S. Sauer, M. Klenke, Softwaretechnik-Trends, Proceedings of the 2nd Workshop Model-Based and Model-Driven Software Modernization (MMSM) 34 (2014) 44–45.
LibreCat
M. Grieger, S. Sauer, M. Klenke, Softwaretechnik-Trends, Proceedings of the 2nd Workshop Model-Based and Model-Driven Software Modernization (MMSM) 34 (2014) 44–45.
2014 | Journal Article | LibreCat-ID: 753
Power model design for ICT systems -- A generic approach
F. Beister, M. Dräxler, J. Aelken, H. Karl, Computer Communications (2014) 77--85.
LibreCat
| DOI
F. Beister, M. Dräxler, J. Aelken, H. Karl, Computer Communications (2014) 77--85.
2014 | Journal Article | LibreCat-ID: 754
MAC Protocols for Cooperative Diversity in Wireless LANs and Wireless Sensor Networks
R. Azeem M. Khan, H. Karl, IEEE Communications Surveys and Tutorials (2014) 46--63.
LibreCat
| DOI
R. Azeem M. Khan, H. Karl, IEEE Communications Surveys and Tutorials (2014) 46--63.
2014 | Conference Paper | LibreCat-ID: 759
Anticipatory power cycling of mobile network equipment for high demand multimedia traffic
M. Dräxler, P. Dreimann, H. Karl, in: IEEE Online Conference on Green Communications, OnlineGreenComm 2014, November 12-14, 2014, 2014, pp. 1--7.
LibreCat
| DOI
M. Dräxler, P. Dreimann, H. Karl, in: IEEE Online Conference on Green Communications, OnlineGreenComm 2014, November 12-14, 2014, 2014, pp. 1--7.
2014 | Conference Paper | LibreCat-ID: 760
Flow processing-aware controller placement in wireless DenseNets
S. Auroux, H. Karl, in: 25th IEEE Annual International Symposium on Personal, Indoor, and Mobile Radio Communication, {PIMRC} 2014, Washington DC, USA, September 2-5, 2014, 2014, pp. 1294--1299.
LibreCat
| DOI
S. Auroux, H. Karl, in: 25th IEEE Annual International Symposium on Personal, Indoor, and Mobile Radio Communication, {PIMRC} 2014, Washington DC, USA, September 2-5, 2014, 2014, pp. 1294--1299.
2014 | Conference Paper | LibreCat-ID: 762
Using MAC addresses as efficient routing labels in data centers
A. Schwabe, H. Karl, in: Proceedings of the Third Workshop on Hot Topics in Software Defined Networking, HotSDN ’14, Chicago, Illinois, USA, August 22, 2014, 2014, pp. 115--120.
LibreCat
| Files available
| DOI
A. Schwabe, H. Karl, in: Proceedings of the Third Workshop on Hot Topics in Software Defined Networking, HotSDN ’14, Chicago, Illinois, USA, August 22, 2014, 2014, pp. 115--120.
2014 | Conference Paper | LibreCat-ID: 763
Energy-efficient clock synchronization using wake-up receivers
J. Blanckenstein, H. Karl, in: 22nd International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2014, Split, Croatia, September 17-19, 2014, 2014, pp. 408--413.
LibreCat
| DOI
J. Blanckenstein, H. Karl, in: 22nd International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2014, Split, Croatia, September 17-19, 2014, 2014, pp. 408--413.
2014 | Conference Paper | LibreCat-ID: 765
Predicting mobile video inter-download times with Hidden Markov Models
F. Beister, H. Karl, in: IEEE 10th International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2014, Larnaca, Cyprus, October 8-10, 2014, 2014, pp. 359--364.
LibreCat
| DOI
F. Beister, H. Karl, in: IEEE 10th International Conference on Wireless and Mobile Computing, Networking and Communications, WiMob 2014, Larnaca, Cyprus, October 8-10, 2014, 2014, pp. 359--364.
2014 | Preprint | LibreCat-ID: 766
Specifying and Placing Chains of Virtual Network Functions
S. Mehraghdam, M. Keller, H. Karl, CoRR (2014).
LibreCat
S. Mehraghdam, M. Keller, H. Karl, CoRR (2014).
2014 | Preprint | LibreCat-ID: 767
DCT²Gen: A Versatile TCP Traffic Generator for Data Centers
P. Wette, H. Karl, CoRR (2014).
LibreCat
P. Wette, H. Karl, CoRR (2014).
2014 | Preprint | LibreCat-ID: 768
Adding Geographical Embedding to AS Topology Generation
A. Schwabe, H. Karl, CoRR (2014).
LibreCat
A. Schwabe, H. Karl, CoRR (2014).
2014 | Book Chapter | LibreCat-ID: 8550
Mathematik als Werkzeug: Sicht- und Arbeitsweisen von Studierenden am Anfang ihres Mathematikstudiums
M. Liebendörfer, L. Ostsieker, in: T. Wassong, D. Frischemeier, P.R. Fischer, R. Hochmuth, P. Bender (Eds.), Mit Werkzeugen Mathematik Und Stochastik Lernen – Using Tools for Learning Mathematics and Statistics, Springer Fachmedien Wiesbaden, Wiesbaden, 2014, pp. 453–462.
LibreCat
M. Liebendörfer, L. Ostsieker, in: T. Wassong, D. Frischemeier, P.R. Fischer, R. Hochmuth, P. Bender (Eds.), Mit Werkzeugen Mathematik Und Stochastik Lernen – Using Tools for Learning Mathematics and Statistics, Springer Fachmedien Wiesbaden, Wiesbaden, 2014, pp. 453–462.
2014 | Conference Paper | LibreCat-ID: 8554
The Mathematical Beliefs and Interest Development of Pre-Service Primary Teachers
M. Liebendörfer, R. Hochmuth, J. Kolter, S. Schukajlow, in: C. Nicol, S. Oesterle, P. Liljedahl, D. Allan (Eds.), Proceedings of the 38th Conference of the International Group for the Psychology of Mathematics Education an the 36th Conference of the North American Chapter of the Psychology of Mathematics Education, PME, Vancouver, 2014, p. 153.
LibreCat
M. Liebendörfer, R. Hochmuth, J. Kolter, S. Schukajlow, in: C. Nicol, S. Oesterle, P. Liljedahl, D. Allan (Eds.), Proceedings of the 38th Conference of the International Group for the Psychology of Mathematics Education an the 36th Conference of the North American Chapter of the Psychology of Mathematics Education, PME, Vancouver, 2014, p. 153.
2014 | Journal Article | LibreCat-ID: 8557
Self-determination and interest development of first-year mathematics students
M. Liebendörfer, Oberwolfach Reports 11 (2014) 3132–3135.
LibreCat
M. Liebendörfer, Oberwolfach Reports 11 (2014) 3132–3135.
2014 | Book Chapter | LibreCat-ID: 8561
Vorstellung eines Fragebogens zur Erfassung von Lernstrategien in mathematikhaltigen Studiengängen
M. Liebendörfer, R. Hochmuth, S. Schreiber, R. Göller, J. Kolter, R. Biehler, J. Kortemeyer, L. Ostsieker, in: J. Roth, J. Ames (Eds.), Beiträge Zum Mathematikunterricht 2014, WTM-Verlag, Münster, 2014, pp. 739–742.
LibreCat
M. Liebendörfer, R. Hochmuth, S. Schreiber, R. Göller, J. Kolter, R. Biehler, J. Kortemeyer, L. Ostsieker, in: J. Roth, J. Ames (Eds.), Beiträge Zum Mathematikunterricht 2014, WTM-Verlag, Münster, 2014, pp. 739–742.
2014 | Mastersthesis | LibreCat-ID: 8842
Detection and Resolution of Data-Flow Differences in Business Process Models
I. Jovanovikj, Detection and Resolution of Data-Flow Differences in Business Process Models, 2014.
LibreCat
I. Jovanovikj, Detection and Resolution of Data-Flow Differences in Business Process Models, 2014.
2014 | Conference Paper | LibreCat-ID: 393
On Stabilizing Departures in Overlay Networks
D. Foreback, A. Koutsopoulos, M. Nesterenko, C. Scheideler, T.F. Strothmann, in: Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2014, pp. 48--62.
LibreCat
| Files available
| DOI
D. Foreback, A. Koutsopoulos, M. Nesterenko, C. Scheideler, T.F. Strothmann, in: Proceedings of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2014, pp. 48--62.
2014 | Journal Article | LibreCat-ID: 3937
General relation for group delay and the relevance of group delay for refractometric sensing
H.J.W.M. Hoekstra, M. Hammer, Journal of the Optical Society of America B 31 (2014).
LibreCat
| Files available
| DOI
H.J.W.M. Hoekstra, M. Hammer, Journal of the Optical Society of America B 31 (2014).
2014 | Conference Paper | LibreCat-ID: 394
Normalizing Heterogeneous Service Description Models with Generated QVT Transformations
S. Schwichtenberg, C. Gerth, Z. Huma, G. Engels, in: Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 2014, pp. 180–195.
LibreCat
| Files available
| DOI
S. Schwichtenberg, C. Gerth, Z. Huma, G. Engels, in: Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 2014, pp. 180–195.
2014 | Conference Paper | LibreCat-ID: 395
Multilevel Network Games
S. Abshoff, A. Cord-Landwehr, D. Jung, A. Skopalik, in: Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 435–440.
LibreCat
| Files available
| DOI
S. Abshoff, A. Cord-Landwehr, D. Jung, A. Skopalik, in: Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 435–440.
2014 | Conference Paper | LibreCat-ID: 397
Minimum Linear Arrangement of Series-Parallel Graphs
C. Scheideler, M. Eikel, A. Setzer, in: Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA), 2014, pp. 168--180.
LibreCat
| Files available
C. Scheideler, M. Eikel, A. Setzer, in: Proceedings of the 12th Workshop on Approximation and Online Algorithms (WAOA), 2014, pp. 168--180.
2014 | Conference Paper | LibreCat-ID: 399
Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring
T. Wiersema, S. Drzevitzky, M. Platzner, in: Proceedings of the International Conference on Field-Programmable Technology (FPT), 2014, pp. 167–174.
LibreCat
| Files available
| DOI
T. Wiersema, S. Drzevitzky, M. Platzner, in: Proceedings of the International Conference on Field-Programmable Technology (FPT), 2014, pp. 167–174.
2014 | Conference Paper | LibreCat-ID: 401
Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching
M.C. Platenius, S. Arifulina, R. Petrlic, W. Schäfer, in: Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 2014, pp. 6–17.
LibreCat
| Files available
| DOI
M.C. Platenius, S. Arifulina, R. Petrlic, W. Schäfer, in: Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 2014, pp. 6–17.
2014 | Conference Paper | LibreCat-ID: 402
Market-optimized Service Specification and Matching
S. Arifulina, M.C. Platenius, C. Gerth, S. Becker, G. Engels, W. Schäfer, in: X. Franch, A. Ghose, G. Lewis, S. Bhiri (Eds.), Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), 2014, pp. 543–550.
LibreCat
| Files available
| DOI
S. Arifulina, M.C. Platenius, C. Gerth, S. Becker, G. Engels, W. Schäfer, in: X. Franch, A. Ghose, G. Lewis, S. Bhiri (Eds.), Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), 2014, pp. 543–550.
2014 | Conference Paper | LibreCat-ID: 408
Integrating Software and Hardware Verification
M.-C. Jakobs, M. Platzner, T. Wiersema, H. Wehrheim, in: E. Albert, E. Sekerinski (Eds.), Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), 2014, pp. 307–322.
LibreCat
| Files available
| DOI
M.-C. Jakobs, M. Platzner, T. Wiersema, H. Wehrheim, in: E. Albert, E. Sekerinski (Eds.), Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), 2014, pp. 307–322.
2014 | Conference Paper | LibreCat-ID: 409
Integrating Service Matchers into a Service Market Architecture
M.C. Platenius, S. Becker, W. Schäfer, in: P. Avgeriou, U. Zdun (Eds.), Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), 2014, pp. 210–217.
LibreCat
| Files available
| DOI
M.C. Platenius, S. Becker, W. Schäfer, in: P. Avgeriou, U. Zdun (Eds.), Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), 2014, pp. 210–217.
2014 | Conference Paper | LibreCat-ID: 412
HSkip+: A Self-Stabilizing Overlay Network for Nodes with Heterogeneous Bandwidths
M. Feldotto, C. Scheideler, K. Graffi, in: Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P), 2014, pp. 1–10.
LibreCat
| Files available
| DOI
| arXiv
M. Feldotto, C. Scheideler, K. Graffi, in: Proceedings of the 14th IEEE International Conference on Peer-to-Peer Computing (P2P), 2014, pp. 1–10.
2014 | Mastersthesis | LibreCat-ID: 414
Hiding software components using functional encryption
J. Jochheim, Hiding Software Components Using Functional Encryption, Universität Paderborn, 2014.
LibreCat
J. Jochheim, Hiding Software Components Using Functional Encryption, Universität Paderborn, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 416
Group Signature Schemes with Strong Exculpability
P. Bemmann, Group Signature Schemes with Strong Exculpability, Universität Paderborn, 2014.
LibreCat
P. Bemmann, Group Signature Schemes with Strong Exculpability, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 417
Grammar-based model transformations
G. Besova, D. Steenke, H. Wehrheim, in: Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–1610.
LibreCat
| Files available
| DOI
G. Besova, D. Steenke, H. Wehrheim, in: Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–1610.