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.
9562 Publications
2012 | Conference Paper | LibreCat-ID: 26036
A SystemC Library for Advanced TLM Verification
M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, in: Proceeding of Design and Verification Conference (DVCON), 2012.
LibreCat
M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, in: Proceeding of Design and Verification Conference (DVCON), 2012.
2012 | Journal Article | LibreCat-ID: 26037
A model-driven engineering framework for embedded systems design
F.A.M. Nascimento, M.F. Oliveira, F. Wagner, Innovations in Systems and Software Engineering 8 (2012) 19–33.
LibreCat
F.A.M. Nascimento, M.F. Oliveira, F. Wagner, Innovations in Systems and Software Engineering 8 (2012) 19–33.
2012 | Conference Paper | LibreCat-ID: 26079
MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution
M. Becker, G.B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, S. Vinco, in: Design, Automation and Test in Europe (DATE 2012), Dresden, 2012.
LibreCat
M. Becker, G.B. Gnokam Defo, W. Müller, F. Fummi, G. Pravadelli, S. Vinco, in: Design, Automation and Test in Europe (DATE 2012), Dresden, 2012.
2012 | Conference Paper | LibreCat-ID: 26080
XEMU: A QEMU Based Binary Mutation Testing Framework
M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, W. Müller, in: Design, Automation and Test in Europe DATE, University Booth, Dresden, 2012.
LibreCat
M. Becker, C. Kuznik, M. tech. M. Joy, T. Xie, W. Müller, in: Design, Automation and Test in Europe DATE, University Booth, Dresden, 2012.
2012 | Conference Paper | LibreCat-ID: 26081
Real-Time Android: Deterministic Ease of use
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, S. Oberthür, in: Proceedings of Embedded World Conference, 2012.
LibreCat
W. Mauerer, G. Hillier, J. Sawallisch, S. Hönick, S. Oberthür, in: Proceedings of Embedded World Conference, 2012.
2012 | Conference Paper | LibreCat-ID: 26086
Image Segmentation For Object Detection on a Deeply Embedded Miniature Robot
A. Jungmann, T. Schierbaum, B. Kleinjohann, in: Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP), INSTICC PRESS, 2012, pp. 441–444.
LibreCat
A. Jungmann, T. Schierbaum, B. Kleinjohann, in: Proceedings of the Seventh International Conference on Computer Vision Theory and Applications (VISAPP), INSTICC PRESS, 2012, pp. 441–444.
2012 | Conference Paper | LibreCat-ID: 26089
Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints
F. Bin Tariq, in: Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, 2012.
LibreCat
F. Bin Tariq, in: Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, 2012.
2012 | Conference Paper | LibreCat-ID: 26090
A Localized Link Removal and Addition based Planarization Algorithm
E. Mathews, H. Frey, in: 13th International Conference On Distributed Computing And Networking (ICDCN), Springer, The Hong Kong Polytechnic University, Hong Kong, China, 2012.
LibreCat
E. Mathews, H. Frey, in: 13th International Conference On Distributed Computing And Networking (ICDCN), Springer, The Hong Kong Polytechnic University, Hong Kong, China, 2012.
2012 | Journal Article | LibreCat-ID: 26091
Deployment of mobile routers ensuring coverage and connectivity
E. Mathews, C. Mathew, International Journal of Computer Networks and Communications 4(1) (2012) 175–192.
LibreCat
E. Mathews, C. Mathew, International Journal of Computer Networks and Communications 4(1) (2012) 175–192.
2012 | Conference Paper | LibreCat-ID: 26092
Virtual Prototyping of Cyber-Physical Systems
W. Müller, M. Becker, H. Zabel, A. Elfeky, A. DiPasquale, in: In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012, Sydney, 2012.
LibreCat
W. Müller, M. Becker, H. Zabel, A. Elfeky, A. DiPasquale, in: In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012, Sydney, 2012.
2012 | Book Chapter | LibreCat-ID: 26093
Swarm Robotic Time Synchronization for Object Tracking
Y. Khaluf, E. Mathews, F.-J. Rammig, in: M.T. Higuera-Toledano, U. Brinkschulte, A. Rettberg (Eds.), Self-Organization in Embedded Real-Time Systems, Springer, New York, Heidelberg, Dordrecht, London, 2012, pp. 75–92.
LibreCat
Y. Khaluf, E. Mathews, F.-J. Rammig, in: M.T. Higuera-Toledano, U. Brinkschulte, A. Rettberg (Eds.), Self-Organization in Embedded Real-Time Systems, Springer, New York, Heidelberg, Dordrecht, London, 2012, pp. 75–92.
2012 | Book Chapter | LibreCat-ID: 26094
Biologically Inspired Information Technology: Towards a Cyber Biosphere
F.-J. Rammig, in: T. Conradi, G. Ecker, N.O. Eke, F. Muhle (Eds.), Schemata Und Praktiken, Wilhelm Fink Verlag, München, 2012, pp. 141–160.
LibreCat
F.-J. Rammig, in: T. Conradi, G. Ecker, N.O. Eke, F. Muhle (Eds.), Schemata Und Praktiken, Wilhelm Fink Verlag, München, 2012, pp. 141–160.
2012 | Book Chapter | LibreCat-ID: 26102
Adaptive Web Services for Modular and Reusable Software Development
F. Bin Tariq, S. Korrapati, in: Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems, IGI Global, 2012, pp. 263–276.
LibreCat
F. Bin Tariq, S. Korrapati, in: Kapitel: F-DRARE: A Framework for Deterministic Runtime Adaptation of Cyber Physical Systems, IGI Global, 2012, pp. 263–276.
2012 | Conference Paper | LibreCat-ID: 26181
Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), Xpert Publishing Services, 2012, pp. 43–47.
LibreCat
A. Jungmann, B. Kleinjohann, in: Proceedings of the Fourth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), Xpert Publishing Services, 2012, pp. 43–47.
2012 | Conference Paper | LibreCat-ID: 26190
Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the 9th IEEE International Conference on Services Computing (SCC), IEEE, 2012.
LibreCat
A. Jungmann, B. Kleinjohann, in: Proceedings of the 9th IEEE International Conference on Services Computing (SCC), IEEE, 2012.
2012 | Conference Paper | LibreCat-ID: 26212
Master Election for Time Synchronization in Swarm Robotic Systems
Y. Khaluf, F. Weiss, S. Micus, in: The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, Leganés, Madrid, 2012.
LibreCat
Y. Khaluf, F. Weiss, S. Micus, in: The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, Leganés, Madrid, 2012.
2012 | Conference Paper | LibreCat-ID: 26264
Connectivity of Autonomous Agents Using Ad-hoc Mobile Router Networks
E. Mathews, C. Mathew, in: Third International Conference on Networks & Communications, LNICST, Springer, Bangalore, India, 2012.
LibreCat
E. Mathews, C. Mathew, in: Third International Conference on Networks & Communications, LNICST, Springer, Bangalore, India, 2012.
2012 | Conference Paper | LibreCat-ID: 3812
Optimal Scheduling of Information Extraction Algorithms
H. Wachsmuth, B. Stein, in: Proceedings of COLING 2012: Posters, 2012, pp. 1281–1290.
LibreCat
| Download (ext.)
H. Wachsmuth, B. Stein, in: Proceedings of COLING 2012: Posters, 2012, pp. 1281–1290.
2012 | Book Chapter | LibreCat-ID: 2918
Certifying RSA
S. Kakvi, E. Kiltz, A. May, in: Advances in Cryptology – ASIACRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 404–414.
LibreCat
| DOI
S. Kakvi, E. Kiltz, A. May, in: Advances in Cryptology – ASIACRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 404–414.
2012 | Book Chapter | LibreCat-ID: 2919
Optimal Security Proofs for Full Domain Hash, Revisited
S. Kakvi, E. Kiltz, in: Advances in Cryptology – EUROCRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 537–553.
LibreCat
| DOI
| Download (ext.)
S. Kakvi, E. Kiltz, in: Advances in Cryptology – EUROCRYPT 2012, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 537–553.
2012 | Conference Paper | LibreCat-ID: 2982
StreamKM++: A clustering algorithm for data streams
M.R. Ackermann, M. Märtens, C. Raupach, K. Swierkot, C. Lammersen, C. Sohler, 17 (2012).
LibreCat
| DOI
M.R. Ackermann, M. Märtens, C. Raupach, K. Swierkot, C. Lammersen, C. Sohler, 17 (2012).
2012 | Journal Article | LibreCat-ID: 2984
Turing und Kryptografie
J. Blömer, Informatik-Spektrum 35 (2012).
LibreCat
| DOI
J. Blömer, Informatik-Spektrum 35 (2012).
2012 | Dissertation | LibreCat-ID: 3132
On black-box models of computation in cryptology
T. Jager, On Black-Box Models of Computation in Cryptology, Ruhr University Bochum, 2012.
LibreCat
T. Jager, On Black-Box Models of Computation in Cryptology, Ruhr University Bochum, 2012.
2012 | Conference Paper | LibreCat-ID: 3133
On the Security of TLS-DHE in the Standard Model
T. Jager, F. Kohlar, S. Schäge, J. Schwenk, in: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 273--293.
LibreCat
| DOI
T. Jager, F. Kohlar, S. Schäge, J. Schwenk, in: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 273--293.
2012 | Conference Paper | LibreCat-ID: 3134
Tightly Secure Signatures and Public-Key Encryption
D. Hofheinz, T. Jager, in: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 590--607.
LibreCat
| DOI
D. Hofheinz, T. Jager, in: Advances in Cryptology - CRYPTO 2012 - 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings, 2012, pp. 590--607.
2012 | Conference Paper | LibreCat-ID: 3135
Bleichenbacher's Attack Strikes again: Breaking PKCS#1 v1.5 in XML Encryption
T. Jager, S. Schinzel, J. Somorovsky, in: Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings, 2012, pp. 752--769.
LibreCat
| DOI
T. Jager, S. Schinzel, J. Somorovsky, in: Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings, 2012, pp. 752--769.
2012 | Conference Paper | LibreCat-ID: 3136
Waters Signatures with Optimal Security Reduction
D. Hofheinz, T. Jager, E. Knapp, in: Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings, 2012, pp. 66--83.
LibreCat
| DOI
D. Hofheinz, T. Jager, E. Knapp, in: Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings, 2012, pp. 66--83.
2012 | Journal Article | LibreCat-ID: 3180
Proving Linearizability of Multiset with Local Proof Obligations
O. Travkin, H. Wehrheim, G. Schellhorn, {ECEASST} (2012).
LibreCat
O. Travkin, H. Wehrheim, G. Schellhorn, {ECEASST} (2012).
2012 | Journal Article | LibreCat-ID: 3181
Model evolution and refinement
T. Ruhroth, H. Wehrheim, Sci. Comput. Program. (2012) 270--289.
LibreCat
| DOI
T. Ruhroth, H. Wehrheim, Sci. Comput. Program. (2012) 270--289.
2012 | Conference Paper | LibreCat-ID: 3182
How to Prove Algorithms Linearisable
G. Schellhorn, H. Wehrheim, J. Derrick, in: P. Madhusudan, S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012, pp. 243--259.
LibreCat
| DOI
G. Schellhorn, H. Wehrheim, J. Derrick, in: P. Madhusudan, S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012, pp. 243--259.
2012 | Conference Paper | LibreCat-ID: 27176
Computer science and society as a field of computer science
D. Engbring, H. Selke, 5 (2012) 111–116.
LibreCat
D. Engbring, H. Selke, 5 (2012) 111–116.
2012 | Conference Paper | LibreCat-ID: 27177
User Centered Design of an Interactive Mobile Assistance and Supervision System for Rehabilitation Purposes
F. Klompmaker, Anke Workowski, W. Thronicke, F. Ostermair, D. Willemsen, D. Hoffmann, in: 2012.
LibreCat
F. Klompmaker, Anke Workowski, W. Thronicke, F. Ostermair, D. Willemsen, D. Hoffmann, in: 2012.
2012 | Conference Paper | LibreCat-ID: 27179
Towards Multimodal 3D Tabletop Interaction using Sensor Equipped Mobile Devices
F. Klompmaker, K. Nebe, J. Eschenlohr, in: Springer, 2012.
LibreCat
F. Klompmaker, K. Nebe, J. Eschenlohr, in: Springer, 2012.
2012 | Conference Paper | LibreCat-ID: 27180
The technical potential of digital boards
H. Selke, F. Winkelnkemper, in: J.{\ "o} rg Desel, J {\" o} rg Haake, C. Spannagel (Eds.), 2012, pp. 171–182.
LibreCat
H. Selke, F. Winkelnkemper, in: J.{\ "o} rg Desel, J {\" o} rg Haake, C. Spannagel (Eds.), 2012, pp. 171–182.
2012 | Conference Paper | LibreCat-ID: 27181
Der Qualit{\"a}tsstandard f{\"u}r Usability Engineering der German UPA - Aktueller Stand der Arbeiten
H.G. Fischer, T. Geis, O. Kluge, C. Bogner, Knut Polkehn, in: German UPA, 2012.
LibreCat
H.G. Fischer, T. Geis, O. Kluge, C. Bogner, Knut Polkehn, in: German UPA, 2012.
2012 | Conference Paper | LibreCat-ID: 27182
Base Requirements for Virtual Tabletop Groupware Artifacts
M. Tobias, K. Nebe, F. Klompmaker, in: 2012.
LibreCat
M. Tobias, K. Nebe, F. Klompmaker, in: 2012.
2012 | Journal Article | LibreCat-ID: 27183
Collaborative work on interactive displays - design, operation and fields of application
H.G. Fischer, Florian Klompmaker, M & C, Humans and Computers (2012).
LibreCat
H.G. Fischer, Florian Klompmaker, M & C, Humans and Computers (2012).
2012 | Conference Paper | LibreCat-ID: 27184
Das Heinz Nixdorf Institut: {\"U}ber 25 Jahre interdisziplin{\"a}r erfolgreich
R. Keil, in: Universit{\"a}t Paderborn, Paderborn, 2012, pp. 270–277.
LibreCat
R. Keil, in: Universit{\"a}t Paderborn, Paderborn, 2012, pp. 270–277.
2012 | Conference Paper | LibreCat-ID: 27185
EVALUATION OF WHOLE-BODY NAVIGATION AND SELECTION TECHNIQUES IN IMMERSIVE 3D ENVIRONMENTS
F. Klompmaker, Alexander Dridger, K. Nebe, in: Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, ASME, 2012.
LibreCat
F. Klompmaker, Alexander Dridger, K. Nebe, in: Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, ASME, 2012.
2012 | Conference Paper | LibreCat-ID: 27187
Integrating Usability Engineering in the Software Development Lifecycle Based on International Standards
H.G. Fischer, in: Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS), Copenhagen, Denmark, 2012, pp. 321–324.
LibreCat
H.G. Fischer, in: Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS), Copenhagen, Denmark, 2012, pp. 321–324.
2012 | Conference Paper | LibreCat-ID: 27188
Summary and Outlook
R. Keil, H.-J.{\ "u} rgen Metternich, Steffan Ritzenhoff, in: R. Keil, H.-J.{\ "u} rgen Metternich, S. Ritzenhoff (Eds.), 2012, pp. 112–115.
LibreCat
R. Keil, H.-J.{\ "u} rgen Metternich, Steffan Ritzenhoff, in: R. Keil, H.-J.{\ "u} rgen Metternich, S. Ritzenhoff (Eds.), 2012, pp. 112–115.
2012 | Conference Paper | LibreCat-ID: 27189
Durchl {\ "a} ssigkeitsorientierte Bildung
R. Keil, Dominik Niehus, D. Ossenschmidt, in: R. Keil, H.-J.{\ "u} rgen Metternich, S. Ritzenhoff (Eds.), 2012, pp. 80–94.
LibreCat
R. Keil, Dominik Niehus, D. Ossenschmidt, in: R. Keil, H.-J.{\ "u} rgen Metternich, S. Ritzenhoff (Eds.), 2012, pp. 80–94.
2012 | Journal Article | LibreCat-ID: 27190
Automatic emotion recognition - technologies, interpretation and applications
M. Brand, F. Klompmaker, P. Schleining, F. Weiss, Computer Science Spectrum 35 (2012).
LibreCat
M. Brand, F. Klompmaker, P. Schleining, F. Weiss, Computer Science Spectrum 35 (2012).
2012 | Conference Paper | LibreCat-ID: 27191
Passability in education - a challenge for {\" u} r the future
Reinhard Keil, Hans-J {\ "u} rgen Metternich, S. Ritzenhoff, in: R. Keil, H.-J.{\ "u} rgen Metternich, S. Ritzenhoff (Eds.), 2012, pp. 15–17.
LibreCat
Reinhard Keil, Hans-J {\ "u} rgen Metternich, S. Ritzenhoff, in: R. Keil, H.-J.{\ "u} rgen Metternich, S. Ritzenhoff (Eds.), 2012, pp. 15–17.
2012 | Conference Paper | LibreCat-ID: 27192
Enriching Disaster Control Management based on Human-Centered Design
H.G. Fischer, F. Klompmaker, in: Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM), Vancouver, Kanada, 2012.
LibreCat
H.G. Fischer, F. Klompmaker, in: Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM), Vancouver, Kanada, 2012.
2012 | Report | LibreCat-ID: 27193
German UPA Qualit{\"a}tsstandard f{\"u}r Usability Engineering
K. Behrenbruch, C. Bogner, H.G. Fischer, T. Geis, C. Geitner, R{\"u}diger Heimg{\"a}rtner, B. Hofmann, Peter Hunkirchen, O. Kluge, B. Litzenberg, Rolf Molich, K. Polkehn, Y. Pysarenko, Dirk Zimmermann, German UPA Qualit{\"a}tsstandard F{\"u}r Usability Engineering, German UPA e.V. (Hrsg.), 2012.
LibreCat
K. Behrenbruch, C. Bogner, H.G. Fischer, T. Geis, C. Geitner, R{\"u}diger Heimg{\"a}rtner, B. Hofmann, Peter Hunkirchen, O. Kluge, B. Litzenberg, Rolf Molich, K. Polkehn, Y. Pysarenko, Dirk Zimmermann, German UPA Qualit{\"a}tsstandard F{\"u}r Usability Engineering, German UPA e.V. (Hrsg.), 2012.
2012 | Conference Paper | LibreCat-ID: 27194
Learning scenarios for school 2.0
M. Jakoblew, D. Niehus, H. Selke, in: N. Apostolopoulos, U. Mu {\ ss } mann, W. Coy, Andreas Schwill (Eds.), Waxmann Verlag, M {\ "u} nster, 2012, pp. 281–297.
LibreCat
M. Jakoblew, D. Niehus, H. Selke, in: N. Apostolopoulos, U. Mu {\ ss } mann, W. Coy, Andreas Schwill (Eds.), Waxmann Verlag, M {\ "u} nster, 2012, pp. 281–297.
2012 | Conference Paper | LibreCat-ID: 27195
E-learning strategies: best practice or careful structural renewal?
Reinhard Keil, C. Schild, F. Winkelnkemper, in: Nicolas Apostolopoulos, U. Mu {\ ss} mann, W. Coy, A. Schwill (Eds.), 2012, pp. 137–155.
LibreCat
Reinhard Keil, C. Schild, F. Winkelnkemper, in: Nicolas Apostolopoulos, U. Mu {\ ss} mann, W. Coy, A. Schwill (Eds.), 2012, pp. 137–155.
2012 | Conference Paper | LibreCat-ID: 27196
dSensingNI – A Framework for Advanced Tangible Interaction using a Depth Camera
F. Klompmaker, K. Nebe, A. Fast, in: ACM Press, 2012, pp. 217–224.
LibreCat
F. Klompmaker, K. Nebe, A. Fast, in: ACM Press, 2012, pp. 217–224.
2012 | Conference Paper | LibreCat-ID: 27197
Authenticated Tangible Interaction using RFID and Depth-Sensing Cameras - Supporting Collaboration on Interactive Tabletops
Florian Klompmaker, H.G. Fischer, H. Jung, in: Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI), Valencia, Spanien, 2012, pp. 141–144.
LibreCat
Florian Klompmaker, H.G. Fischer, H. Jung, in: Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI), Valencia, Spanien, 2012, pp. 141–144.
2012 | Conference Paper | LibreCat-ID: 27198
Designing Multi-Modal Map-Based Interfaces for Disaster Management
V. Paelke, K. Nebe, Christian Geiger, F. Klompmaker, H.G. Fischer, in: Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI), Valencia, Spanien, 2012, pp. 95–100.
LibreCat
V. Paelke, K. Nebe, Christian Geiger, F. Klompmaker, H.G. Fischer, in: Proceedings of the 5th International Conference on Advances in Computer-Human Interaction (ACHI), Valencia, Spanien, 2012, pp. 95–100.
2012 | Journal Article | LibreCat-ID: 27617
Computer science and society - a lecture in the master's degree in computer science
H. Selke, FIfF Communication (2012).
LibreCat
H. Selke, FIfF Communication (2012).
2012 | Journal Article | LibreCat-ID: 27618
Interdisciplinary {\ "a} t as a challenge for {\" u} r e-learning research
R. Keil, M. Wessner, I -Com Magazine f {\ "u} r Interactive and Cooperative Media (2012).
LibreCat
R. Keil, M. Wessner, I -Com Magazine f {\ "u} r Interactive and Cooperative Media (2012).
2012 | Journal Article | LibreCat-ID: 27619
Between innovation and suitability for everyday use - "Lernstatt Paderborn"
R. Keil, Paderborn University {\ "a} Ts-Zeitschrift (2012).
LibreCat
R. Keil, Paderborn University {\ "a} Ts-Zeitschrift (2012).
2012 | Dissertation | LibreCat-ID: 27620
A coactive support approach for {\ "u} r processes of social reality construction in product creation processes
Kai Holzwei {\ ss} ig, A Coactive Support Approach for {\ "u} r Processes of Social Reality Construction in Product Creation Processes, 2012.
LibreCat
Kai Holzwei {\ ss} ig, A Coactive Support Approach for {\ "u} r Processes of Social Reality Construction in Product Creation Processes, 2012.
2012 | Conference Paper | LibreCat-ID: 2097
FPGA-based design and implementation of an approximate polynomial matrix EVD algorithm
S. Kasap, S. Redif, in: Proc. Int. Conf. on Field Programmable Technology (ICFPT), IEEE Computer Society, 2012, pp. 135–140.
LibreCat
| DOI
S. Kasap, S. Redif, in: Proc. Int. Conf. on Field Programmable Technology (ICFPT), IEEE Computer Society, 2012, pp. 135–140.
2012 | Conference Paper | LibreCat-ID: 20974
Semi-automatic establishment and maintenance of valid traceability in automotive development processes
M. Fockel, J. Holtmann, J. Meyer, in: 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES), 2012.
LibreCat
| DOI
M. Fockel, J. Holtmann, J. Meyer, in: 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES), 2012.
2012 | Conference Paper | LibreCat-ID: 2100
FPGA implementation of a second-order convolutive blind signal separation algorithm
S. Kasap, S. Redif, in: Int. Architecture and Engineering Symp. (ARCHENG), 2012.
LibreCat
S. Kasap, S. Redif, in: Int. Architecture and Engineering Symp. (ARCHENG), 2012.
2012 | Conference Paper | LibreCat-ID: 2103
Comparison of Bayesian Move Prediction Systems for Computer Go
M. Wistuba, L. Schaefers, M. Platzner, in: Proc. IEEE Conf. on Computational Intelligence and Games (CIG), IEEE, 2012, pp. 91–99.
LibreCat
| DOI
M. Wistuba, L. Schaefers, M. Platzner, in: Proc. IEEE Conf. on Computational Intelligence and Games (CIG), IEEE, 2012, pp. 91–99.
2012 | Conference Paper | LibreCat-ID: 2107
A Data Driven Science Gateway for Computational Workflows
R. Grunzke, G. Birkenheuer, D. Blunk, S. Breuers, A. Brinkmann, S. Gesing, S. Herres-Pawlis, O. Kohlbacher, J. Krüger, M. Kruse, R. Müller-Pfefferkorn, P. Schäfer, B. Schuller, T. Steinke, A. Zink, in: Proc. UNICORE Summit, 2012.
LibreCat
R. Grunzke, G. Birkenheuer, D. Blunk, S. Breuers, A. Brinkmann, S. Gesing, S. Herres-Pawlis, O. Kohlbacher, J. Krüger, M. Kruse, R. Müller-Pfefferkorn, P. Schäfer, B. Schuller, T. Steinke, A. Zink, in: Proc. UNICORE Summit, 2012.
2012 | Conference Paper | LibreCat-ID: 17664
On the Admission of Dependent Flows in Powerful Sensor Networks
R. Cohen, I. Nudelman, G. Polevoy, in: Infocom’2012, Orlando, Florida, 2012.
LibreCat
R. Cohen, I. Nudelman, G. Polevoy, in: Infocom’2012, Orlando, Florida, 2012.
2012 | Journal Article | LibreCat-ID: 1882
Editorial for Algorithmic Aspects of Wireless Sensor Networks
S. Dolev, C. Scheideler, Theor. Comput. Sci. (2012) 1.
LibreCat
| DOI
S. Dolev, C. Scheideler, Theor. Comput. Sci. (2012) 1.
2012 | Conference Paper | LibreCat-ID: 1884
Selfish Distributed Optimization
B. Monien, C. Scheideler, in: Euro-Par 2012 Parallel Processing - 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings, Springer, 2012, pp. 1--2.
LibreCat
| DOI
B. Monien, C. Scheideler, in: Euro-Par 2012 Parallel Processing - 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings, Springer, 2012, pp. 1--2.
2012 | Book Chapter | LibreCat-ID: 20914
Application and Evaluation in the Automotive Domain
M. Fockel, P. Heidl, J. Höfflinger, H. Hönninger, J. Holtmann, W. Horn, J. Meyer, M. Meyer, J. Schäuffele, in: Model-Based Engineering of Embedded Systems, Berlin, Heidelberg, 2012.
LibreCat
| DOI
M. Fockel, P. Heidl, J. Höfflinger, H. Hönninger, J. Holtmann, W. Horn, J. Meyer, M. Meyer, J. Schäuffele, in: Model-Based Engineering of Embedded Systems, Berlin, Heidelberg, 2012.
2012 | Bachelorsthesis | LibreCat-ID: 17999
Jamming-resistente MAC-Protokolle
F.I. Meith, Jamming-Resistente MAC-Protokolle, 2012.
LibreCat
F.I. Meith, Jamming-Resistente MAC-Protokolle, 2012.
2012 | Conference Paper | LibreCat-ID: 1805
Mobile WDM Backhaul Access Networks with Physical Inter-Base-Station Links for Coordinated Multipoint Transmission/Reception Systems
T. Biermann, L. Scalia, in: 2011 IEEE Global Telecommunications Conference - GLOBECOM 2011, IEEE, 2012.
LibreCat
| DOI
T. Biermann, L. Scalia, in: 2011 IEEE Global Telecommunications Conference - GLOBECOM 2011, IEEE, 2012.
2012 | Conference Paper | LibreCat-ID: 1806
Coordinated multipoint multiuser-MIMO transmissions over backhaul-constrained mobile access networks
C. Choi, L. Scalia, T. Biermann, S. Mizuta, in: 2011 IEEE 22nd International Symposium on Personal, Indoor and Mobile Radio Communications, IEEE, 2012.
LibreCat
| DOI
C. Choi, L. Scalia, T. Biermann, S. Mizuta, in: 2011 IEEE 22nd International Symposium on Personal, Indoor and Mobile Radio Communications, IEEE, 2012.
2012 | Conference Paper | LibreCat-ID: 22936
Strategy Planning of Collaborative Humanoid Soccer Robots based on Principle Solution
C. Low, M. Aldemir, N. Aziz, R. Dumitrescu, H. Anacker, in: Proceedings of the 1st German-Malaysian Workshop, Hannover, 27. - 29. Jun. 2012, 2012.
LibreCat
C. Low, M. Aldemir, N. Aziz, R. Dumitrescu, H. Anacker, in: Proceedings of the 1st German-Malaysian Workshop, Hannover, 27. - 29. Jun. 2012, 2012.
2012 | Journal Article | LibreCat-ID: 2172
STIR: Software for Tomographic Image Reconstruction Release 2
K. Thielemans, C. Tsoumpas, S. Mustafovic, T. Beisel, P. Aguiar, N. Dikaios, M. W Jacobson, Physics in Medicine and Biology 57 (2012) 867–883.
LibreCat
| DOI
K. Thielemans, C. Tsoumpas, S. Mustafovic, T. Beisel, P. Aguiar, N. Dikaios, M. W Jacobson, Physics in Medicine and Biology 57 (2012) 867–883.
2012 | Journal Article | LibreCat-ID: 2173
Parallel algorithm for computation of second-order sequential best rotations
S. Redif, S. Kasap, Int. Journal of Electronics 100 (2012) 1646–1651.
LibreCat
| DOI
S. Redif, S. Kasap, Int. Journal of Electronics 100 (2012) 1646–1651.
2012 | Journal Article | LibreCat-ID: 2174
Parallel Processor Design and Implementation for Molecular Dynamics Simulations on a FPGA Parallel Computer
S. Kasap, K. Benkrid, Journal of Computers 7 (2012) 1312–1328.
LibreCat
S. Kasap, K. Benkrid, Journal of Computers 7 (2012) 1312–1328.
2012 | Journal Article | LibreCat-ID: 21755
Evaluierung medizinischer Volumenrendering-Algorithmen durch empirische Studien
G. Domik, S. Arens, J. Tünnermann, I.R. Scharlau, FIfF-Kommunikation 29 (2012) 45–50.
LibreCat
G. Domik, S. Arens, J. Tünnermann, I.R. Scharlau, FIfF-Kommunikation 29 (2012) 45–50.
2012 | Journal Article | LibreCat-ID: 21756
Introducing Google Chart Tools and Google Maps API in Data Visualization Courses
Y. Zhu, IEEE Computer Graphics and Applications 32 (2012) 6–9.
LibreCat
| DOI
Y. Zhu, IEEE Computer Graphics and Applications 32 (2012) 6–9.
2012 | Journal Article | LibreCat-ID: 21757
Teaching 3D Computer Animation to Illustrators: The Instructor as Translator and Technical Director
W.F. Koning, IEEE Computer Graphics and Applications 32 (2012) 81–83.
LibreCat
| DOI
W.F. Koning, IEEE Computer Graphics and Applications 32 (2012) 81–83.
2012 | Journal Article | LibreCat-ID: 21758
Large-Scale Visualization Projects for Teaching Software Engineering
C. Müller, G. Reina, M. Burch, D. Weiskopf, IEEE Computer Graphics and Applications 32 (2012) 14–19.
LibreCat
| DOI
C. Müller, G. Reina, M. Burch, D. Weiskopf, IEEE Computer Graphics and Applications 32 (2012) 14–19.
2012 | Conference Paper | LibreCat-ID: 21759
Visualization Curriculum Panel - or The Changes We Have Made to Our Visualization Courses Over the Last 10 Years
G. Domik, D. Ebert, J. Kohlhammer, H. Rushmeier, B.S. Santos, D. Weiskopf, in: G. Gallo, B. Sousa Santos (Eds.), Eurographics 2012 - Education Papers, The Eurographics Association, 2012.
LibreCat
| DOI
G. Domik, D. Ebert, J. Kohlhammer, H. Rushmeier, B.S. Santos, D. Weiskopf, in: G. Gallo, B. Sousa Santos (Eds.), Eurographics 2012 - Education Papers, The Eurographics Association, 2012.
2012 | Journal Article | LibreCat-ID: 21760
Leveraging Multidisciplinarity in a Visual Analytics Graduate Course
N. Elmqvist, D.S. Ebert, IEEE Computer Graphics and Applications 32 (2012) 84–87.
LibreCat
| DOI
N. Elmqvist, D.S. Ebert, IEEE Computer Graphics and Applications 32 (2012) 84–87.
2012 | Journal Article | LibreCat-ID: 21761
Digital Media and the Beginning Designer
G. Goldman, IEEE Computer Graphics and Applications 32 (2012) 14–21.
LibreCat
| DOI
G. Goldman, IEEE Computer Graphics and Applications 32 (2012) 14–21.
2012 | Journal Article | LibreCat-ID: 21762
Fostering Collaboration and Self-Motivated Learning: Best Practices in a One-Semester Visualization Course
G. Domik, IEEE Computer Graphics and Applications 32 (2012) 87–91.
LibreCat
| DOI
G. Domik, IEEE Computer Graphics and Applications 32 (2012) 87–91.
2012 | Conference (Editor) | LibreCat-ID: 7763
Graph Transformation - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings
H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg, eds., Graph Transformation - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings, Springer, 2012.
LibreCat
H. Ehrig, G. Engels, H.-J. Kreowski, G. Rozenberg, eds., Graph Transformation - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings, Springer, 2012.
2012 | Journal Article | LibreCat-ID: 782
CoMP clustering and backhaul limitations in cooperative cellular mobile access networks
T. Biermann, L. Scalia, C. Choi, H. Karl, W. Kellerer, Pervasive and Mobile Computing (2012) 662--681.
LibreCat
| DOI
T. Biermann, L. Scalia, C. Choi, H. Karl, W. Kellerer, Pervasive and Mobile Computing (2012) 662--681.
2012 | Journal Article | LibreCat-ID: 783
Segment-based packet combining: how to schedule a dense relayer cluster?
A. Willig, H. Karl, D. Kipnis, Wireless Networks (2012) 199--213.
LibreCat
| DOI
A. Willig, H. Karl, D. Kipnis, Wireless Networks (2012) 199--213.
2012 | Conference Paper | LibreCat-ID: 784
Average and competitive analysis of latency and power consumption of a queuing system with a sleep mode
M. Herlich, H. Karl, in: Proceedings of the 3rd International Conference on Energy-Efficient Computing and Networking, e-Energy’12, Madrid, Spain, May 9-11, 2012, 2012, p. 14.
LibreCat
| DOI
M. Herlich, H. Karl, in: Proceedings of the 3rd International Conference on Energy-Efficient Computing and Networking, e-Energy’12, Madrid, Spain, May 9-11, 2012, 2012, p. 14.
2012 | Conference Paper | LibreCat-ID: 785
Energy Efficient Clustering using a Wake-up Receiver
J. Blanckenstein, J. Klaue, H. Karl, in: European Wireless 2012 - 18th European Conference 2012, April 18-20, 2012, Poznan, Poland., 2012.
LibreCat
J. Blanckenstein, J. Klaue, H. Karl, in: European Wireless 2012 - 18th European Conference 2012, April 18-20, 2012, Poznan, Poland., 2012.
2012 | Conference Paper | LibreCat-ID: 786
On Local Separation of Processing and Storage in Infrastructure-as-a-Service
J. Künsemöller, H. Karl, in: Economics of Grids, Clouds, Systems, and Services - 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings, 2012, pp. 125--138.
LibreCat
| DOI
J. Künsemöller, H. Karl, in: Economics of Grids, Clouds, Systems, and Services - 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings, 2012, pp. 125--138.
2012 | Conference Paper | LibreCat-ID: 787
Efficiency of On-Path and Off-Path Caching Strategies in Information Centric Networks
M. Dräxler, H. Karl, in: 2012 IEEE International Conference on Green Computing and Communications, Conference on Internet of Things, and Conference on Cyber, Physical and Social Computing, GreenCom/IThings/CPSCom 2012, Besancon, France, November 20-23, 2012, 2012, pp. 581--587.
LibreCat
| DOI
M. Dräxler, H. Karl, in: 2012 IEEE International Conference on Green Computing and Communications, Conference on Internet of Things, and Conference on Cyber, Physical and Social Computing, GreenCom/IThings/CPSCom 2012, Besancon, France, November 20-23, 2012, 2012, pp. 581--587.
2012 | Conference Paper | LibreCat-ID: 788
OpenNetInf - prototyping an information-centric Network Architecture
C. Dannewitz, M. Herlich, H. Karl, in: 37th Annual IEEE Conference on Local Computer Networks, Workshop Proceedings, Clearwater Beach, FL, USA, October 22-25, 2012, 2012, pp. 1061--1069.
LibreCat
| DOI
C. Dannewitz, M. Herlich, H. Karl, in: 37th Annual IEEE Conference on Local Computer Networks, Workshop Proceedings, Clearwater Beach, FL, USA, October 22-25, 2012, 2012, pp. 1061--1069.
2012 | Conference Paper | LibreCat-ID: 789
Cooperating base station set selection and network reconfiguration in limited backhaul networks
M. Dräxler, T. Biermann, H. Karl, W. Kellerer, in: 23rd IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2012, Sydney, Australia, September 9-12, 2012, 2012, pp. 1383--1389.
LibreCat
| DOI
M. Dräxler, T. Biermann, H. Karl, W. Kellerer, in: 23rd IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2012, Sydney, Australia, September 9-12, 2012, 2012, pp. 1383--1389.
2012 | Conference Paper | LibreCat-ID: 790
Using OMNeT++ for energy optimization simulations in mobile core networks
M. Dräxler, F. Beister, S. Kruska, J. Aelken, H. Karl, in: International ICST Conference on Simulation Tools and Techniques, SIMUTOOLS ’12, Sirmione-Desenzano, Italy, March 19-23, 2012, 2012, pp. 157--165.
LibreCat
| DOI
M. Dräxler, F. Beister, S. Kruska, J. Aelken, H. Karl, in: International ICST Conference on Simulation Tools and Techniques, SIMUTOOLS ’12, Sirmione-Desenzano, Italy, March 19-23, 2012, 2012, pp. 157--165.
2012 | Conference Paper | LibreCat-ID: 791
Quantization techniques for accurate soft message combining
T. Volkhausen, K. Schinköthe, H. Karl, in: 2012 IEEE Wireless Communications and Networking Conference, WCNC 2012, Paris, France, April 1-4, 2012, 2012, pp. 575--580.
LibreCat
| DOI
T. Volkhausen, K. Schinköthe, H. Karl, in: 2012 IEEE Wireless Communications and Networking Conference, WCNC 2012, Paris, France, April 1-4, 2012, 2012, pp. 575--580.
2012 | Conference Paper | LibreCat-ID: 792
Efficient cooperative relaying in wireless multi-hop networks with commodity WiFi hardware
T. Volkhausen, K. Dridger, H. S. Lichte, H. Karl, in: 10th International Symposium on Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks (WiOpt), Paderborn, Germany, May 14-18, 2012, 2012, pp. 299--304.
LibreCat
T. Volkhausen, K. Dridger, H. S. Lichte, H. Karl, in: 10th International Symposium on Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks (WiOpt), Paderborn, Germany, May 14-18, 2012, 2012, pp. 299--304.
2012 | Conference Paper | LibreCat-ID: 8055
Model-driven Performance Engineering of Self-Adaptive Systems: A Survey
M. Becker, M. Luckey, S. Becker, in: Proceedings of the International Conference on Quality of Software Architecture, ACM, New York, NY, USA, 2012.
LibreCat
M. Becker, M. Luckey, S. Becker, in: Proceedings of the International Conference on Quality of Software Architecture, ACM, New York, NY, USA, 2012.
2012 | Conference Paper | LibreCat-ID: 8056
Towards an Automatic Service Discovery for UML-based Rich Service Descriptions
Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MODELS’12), Springer-Verlag, Berlin/Heidelberg, 2012, pp. 709–725.
LibreCat
| DOI
Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MODELS’12), Springer-Verlag, Berlin/Heidelberg, 2012, pp. 709–725.
2012 | Book | LibreCat-ID: 8226
Quasar 3.0 - A Situational Approach to Software Engineering
M. Kremer, G. Engels, A. Hofmann, J. Hohwiller, O. E. Nandico, T. Nötzold, K. Prott, D. Schlegel, A. Seidl, T. Wolf, Quasar 3.0 - A Situational Approach to Software Engineering, Capgemini CSD Research, Offenbach 2012, 2012.
LibreCat
M. Kremer, G. Engels, A. Hofmann, J. Hohwiller, O. E. Nandico, T. Nötzold, K. Prott, D. Schlegel, A. Seidl, T. Wolf, Quasar 3.0 - A Situational Approach to Software Engineering, Capgemini CSD Research, Offenbach 2012, 2012.
2012 | Journal Article | LibreCat-ID: 570
Towards higher-dimensional topological self-stabilization: A distributed algorithm for Delaunay graphs
R. Jacob, S. Ritscher, C. Scheideler, S. Schmid, Theoretical Computer Science (2012) 137–148.
LibreCat
| Files available
| DOI
R. Jacob, S. Ritscher, C. Scheideler, S. Schmid, Theoretical Computer Science (2012) 137–148.
2012 | Conference Paper | LibreCat-ID: 572
Towards an Automatic Service Discovery for UML-based Rich Service Descriptions
Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS), 2012, pp. 709--725.
LibreCat
| Files available
| DOI
Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS), 2012, pp. 709--725.
2012 | Conference Paper | LibreCat-ID: 573
Towards a Framework for the Integration of Modeling Languages
S. Arifulina, in: U. W. Eisenecker, C. Bucholdt (Eds.), Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)), 2012, pp. 23--26.
LibreCat
| Files available
S. Arifulina, in: U. W. Eisenecker, C. Bucholdt (Eds.), Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)), 2012, pp. 23--26.
2012 | Journal Article | LibreCat-ID: 574
Tiara: A self-stabilizing deterministic skip list and skip graph
T. Clouser, M. Nesterenko, C. Scheideler, Theoretical Computer Science (2012) 18–35.
LibreCat
| Files available
| DOI
T. Clouser, M. Nesterenko, C. Scheideler, Theoretical Computer Science (2012) 18–35.
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
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.
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
E. Yigitbas, Entwicklung Eines Monitoring- Und Adaptionskonzeptes Für Geschäftsprozesse in Service-Orientierten Systemen, 2012.