@phdthesis{2909, author = {{Kuntze, Daniel}}, publisher = {{Universität Paderborn}}, title = {{{Practical algorithms for clustering and modeling large data sets - Analysis and improvements}}}, year = {{2013}}, } @techreport{2917, author = {{Juhnke, Jakob and Lefmann, Hanno and Strehl, Volker}}, publisher = {{Fortschritt-Berichte VDI}}, title = {{{An Approach for Determining Optimal Contrast in Visual Cryptography}}}, year = {{2013}}, } @inbook{2979, author = {{Blömer, Johannes and Günther, Peter and Liske, Gennadij}}, booktitle = {{Constructive Side-Channel Analysis and Secure Design}}, isbn = {{9783642400254}}, issn = {{0302-9743}}, pages = {{154--168}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Improved Side Channel Attacks on Pairing Based Cryptography}}}, doi = {{10.1007/978-3-642-40026-1_10}}, year = {{2013}}, } @article{3129, author = {{Jager, Tibor and Schwenk, Jörg}}, journal = {{J. Cryptology}}, number = {{2}}, pages = {{225----245}}, title = {{{On the Analysis of Cryptographic Assumptions in the Generic Ring Model}}}, doi = {{10.1007/s00145-012-9120-y}}, year = {{2013}}, } @inproceedings{3130, author = {{Böhl, Florian and Hofheinz, Dennis and Jager, Tibor and Koch, Jessica and Hong Seo, Jae and Striecks, Christoph}}, booktitle = {{Advances in Cryptology - EUROCRYPT 2013, 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings}}, pages = {{461----485}}, title = {{{Practical Signatures from Standard Assumptions}}}, doi = {{10.1007/978-3-642-38348-9_28}}, year = {{2013}}, } @inproceedings{3131, author = {{Jager, Tibor and Paterson, Kenneth G. and Somorovsky, Juraj}}, booktitle = {{20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013}}, title = {{{One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography}}}, year = {{2013}}, } @inproceedings{3176, author = {{Isenberg, Tobias and Steenken, Dominik and Wehrheim, Heike}}, booktitle = {{Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings}}, editor = {{Beyer, Dirk and Boreale, Michele}}, pages = {{178----192}}, title = {{{Bounded Model Checking of Graph Transformation Systems via {SMT} Solving}}}, doi = {{10.1007/978-3-642-38592-6_13}}, year = {{2013}}, } @inproceedings{3177, author = {{Travkin, Oleg and Mütze, Annika and Wehrheim, Heike}}, booktitle = {{Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings}}, editor = {{Bertacco, Valeria and Legay, Axel}}, pages = {{311----326}}, title = {{{{SPIN} as a Linearizability Checker under Weak Memory Models}}}, doi = {{10.1007/978-3-319-03077-7_21}}, year = {{2013}}, } @inproceedings{3178, author = {{Dongol, Brijesh and Travkin, Oleg and Derrick, John and Wehrheim, Heike}}, booktitle = {{Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings}}, editor = {{Liu, Zhiming and Woodcock, Jim and Zhu, Huibiao}}, pages = {{177----194}}, title = {{{A High-Level Semantics for Program Execution under Total Store Order Memory}}}, doi = {{10.1007/978-3-642-39718-9_11}}, year = {{2013}}, } @inproceedings{3179, author = {{Ziegert, Steffen and Wehrheim, Heike}}, booktitle = {{Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen}}, editor = {{Kowalewski, Stefan and Rumpe, Bernhard}}, pages = {{271----284}}, title = {{{Temporal Reconfiguration Plans for Self-Adaptive Systems}}}, year = {{2013}}, } @inproceedings{27054, author = {{Gausemeier, Jürgen and Grafe, Michael and Meyer auf der Heide, Friedhelm}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 311 }}, title = {{{11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung}}}, volume = {{311}}, year = {{2013}}, } @inproceedings{27168, author = {{Keil, Reinhard and Winkelnkemper, Felix}}, pages = {{131--142}}, publisher = {{Society for Informatics}}, title = {{{Approaches for an informational separation of powers in learning platforms}}}, year = {{2013}}, } @inproceedings{27169, author = {{Fischer, Holger Gerhard and Geis, Thomas and Molich, Rolf and Kluge, Oliver and Heimg{\"a}rtner, R{\"u}diger and Hunkirchen, Peter and Polkehn, Knut}}, pages = {{28--34}}, publisher = {{German UPA}}, title = {{{„Do You Speak Usability?“ – Aktueller Stand des Glossars und des Curriculums f{\"u}r den „Certified Professional for Usability and User Experience (CPUX)“ der German UPA}}}, year = {{2013}}, } @phdthesis{27171, author = {{K {\ "u} hnel, Birger}}, publisher = {{Heinz Nixdorf Institute, Universit {\ "a} t Paderborn}}, title = {{{Contextual tagging in the coactive knowledge organization}}}, year = {{2013}}, } @inproceedings{27172, author = {{Fischer, Holger Gerhard and Strenge, Benjamin and Nebe, Karsten}}, pages = {{252--261}}, publisher = {{Springer Verlag}}, title = {{{Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design}}}, year = {{2013}}, } @article{27173, author = {{Keil, Reinhard and Selke, Harald and Winkelnkemper, Felix}}, journal = {{FIfF-Kommunikation}}, pages = {{61--65}}, title = {{{Computer science and education - A struggle for creative sovereignty in society?}}}, year = {{2013}}, } @inproceedings{27174, author = {{Keil, Reinhard}}, pages = {{217--226}}, publisher = {{Verbrecher Verlag}}, title = {{{Media contexts - context media}}}, year = {{2013}}, } @inproceedings{27175, author = {{Klompmaker, Florian and Paelke, Volker and Fischer, Holger Gerhard}}, pages = {{32--41}}, publisher = {{Springer Verlag}}, title = {{{A Taxonomy-Based Approach Towards NUI Interaction Design}}}, year = {{2013}}, } @phdthesis{11619, abstract = {{Reconfigurable circuit devices have opened up a fundamentally new way of creating adaptable systems. Combined with artificial evolution, reconfigurable circuits allow an elegant adaptation approach to compensating for changes in the distribution of input data, computational resource errors, and variations in resource requirements. Referred to as ``Evolvable Hardware'' (EHW), this paradigm has yielded astonishing results for traditional engineering challenges and has discovered intriguing design principles, which have not yet been seen in conventional engineering. In this thesis, we present new and fundamental work on Evolvable Hardware motivated by the insight that Evolvable Hardware needs to compensate for events with different change rates. To solve the challenge of different adaptation speeds, we propose a unified adaptation approach based on multi-objective evolution, evolving and propagating candidate solutions that are diverse in objectives that may experience radical changes. Focusing on algorithmic aspects, we enable Cartesian Genetic Programming (CGP) model, which we are using to encode Boolean circuits, for multi-objective optimization by introducing a meaningful recombination operator. We improve the scalability of CGP by objectives scaling, periodization of local- and global-search algorithms, and the automatic acquisition and reuse of subfunctions using age- and cone-based techniques. We validate our methods on the applications of adaptation of hardware classifiers to resource changes, recognition of muscular signals for prosthesis control and optimization of processor caches.}}, author = {{Kaufmann, Paul}}, isbn = {{978-3-8325-3530-8}}, pages = {{249}}, publisher = {{Logos Verlag Berlin GmbH}}, title = {{{Adapting Hardware Systems by Means of Multi-Objective Evolution}}}, year = {{2013}}, } @misc{20978, author = {{Hüwe, Marcus}}, publisher = {{Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik}}, title = {{{Das Verteilungsproblem für mechatronische Systeme}}}, year = {{2013}}, }