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.
1566 Publications
2012 | Conference Paper | LibreCat-ID: 25767
A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms
D. He, W. Müller, in: 15th Euromicro Conference on Digital System Design (DSD), IEEE Xplore, 2012.
LibreCat
D. He, W. Müller, in: 15th Euromicro Conference on Digital System Design (DSD), IEEE Xplore, 2012.
2012 | Conference Paper | LibreCat-ID: 25776
Towards Hierarchical Self-Optimization in Autonomous Groups of Mobile Robots
C. Rasche, A. Jungmann, T. Schierbaum, B. Werdehausen, B. Kleinjohann, in: IEEE 10th International Conference on Industrial Informatics, IEEE Xplore, 2012.
LibreCat
C. Rasche, A. Jungmann, T. Schierbaum, B. Werdehausen, B. Kleinjohann, in: IEEE 10th International Conference on Industrial Informatics, IEEE Xplore, 2012.
2012 | Conference Paper | LibreCat-ID: 25777
Hierarchical Hybrid Planning for a Self-Optimizing Active Suspension System
N. Esau, M. Krüger, C. Rasche, S. Beringer, L. Kleinjohann, B. Kleinjohann, in: 7th IEEE Conference in Industrial Electronics and Applications, IEEE, Singapore, 2012.
LibreCat
N. Esau, M. Krüger, C. Rasche, S. Beringer, L. Kleinjohann, B. Kleinjohann, in: 7th IEEE Conference in Industrial Electronics and Applications, IEEE, Singapore, 2012.
2012 | Conference Paper | LibreCat-ID: 25781
Evaluating Quality of Online Image Registration of Aerial Images Using Virtual Forces
C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition, Las Vegas, Nevada, USA, 2012.
LibreCat
C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: Proceedings of The 16th International Conference on Image Processing, Computer Vision, & Pattern Recognition, Las Vegas, Nevada, USA, 2012.
2012 | Conference Paper | LibreCat-ID: 25783
A First Step Towards Real-time Virtual Machine Migration in Heterogeneous Multi-Processor Systems
S. Grösbrink, in: Symposium on System-Integrated Intelligence, 2012.
LibreCat
S. Grösbrink, in: Symposium on System-Integrated Intelligence, 2012.
2012 | Conference Paper | LibreCat-ID: 26022
Binary Mutation Testing Through Dynamic Translation
M. Becker, C. Kuznik, M. tech. M.M. Joy, T. Xie, W. Müller, in: 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2012.
LibreCat
| Download (ext.)
M. Becker, C. Kuznik, M. tech. M.M. Joy, T. Xie, W. Müller, in: 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2012.
2012 | Conference Paper | LibreCat-ID: 26023
Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms
D. He, W. Müller, in: Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012), IEEE Xplore, 2012.
LibreCat
D. He, W. Müller, in: Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012), IEEE Xplore, 2012.
2012 | Conference Paper | LibreCat-ID: 26024
Compilation of Methodologies to Speed up the Verification Process at System Level
S. Radke, S. Rülke, M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, S. Hufnagel, N. Bannow, J.-H. Oetjens, H. Brazdrum, P. Janssen, H.M. Le, D. Große, F. Haedicke, R. Drechsler, G. Koch, A. Burger, O. Bringmann, W. Rosenstiel, R. Görgen, in: EdaWorkshop 12, 2012.
LibreCat
| Download (ext.)
S. Radke, S. Rülke, M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, S. Hufnagel, N. Bannow, J.-H. Oetjens, H. Brazdrum, P. Janssen, H.M. Le, D. Große, F. Haedicke, R. Drechsler, G. Koch, A. Burger, O. Bringmann, W. Rosenstiel, R. Görgen, in: EdaWorkshop 12, 2012.
2012 | Book Chapter | LibreCat-ID: 26025
Process integrated wire-bond quality control by means of cytokine-Formal Immune Networks
N. Montealegre, S. Hagenkötter, in: Journal of Intelligent Manufacturing 23(3), Published online on June 2010, 2012, pp. 699–715.
LibreCat
N. Montealegre, S. Hagenkötter, in: Journal of Intelligent Manufacturing 23(3), Published online on June 2010, 2012, pp. 699–715.
2012 | Conference Paper | LibreCat-ID: 26026
Towards Adaptive Resource Management for Virtualized Real-Time Systems
S. Grösbrink, S. Oberthür, D. Baldin, in: 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012), 2012.
LibreCat
S. Grösbrink, S. Oberthür, D. Baldin, in: 4th Workshop on Adaptive and Reconfigurable Embedded Systems (CPSWeek 2012), 2012.
2012 | Conference Paper | LibreCat-ID: 26027
Online Model Checking for Dependable Real-time Systems
Y. Zhao, F.-J. Rammig, in: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, IEEE Computer Society, 2012, pp. 154–161.
LibreCat
Y. Zhao, F.-J. Rammig, in: 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing-Shenzhen, China, IEEE Computer Society, 2012, pp. 154–161.
2012 | Conference Paper | LibreCat-ID: 26028
Agent-Based Modeling and Simulation of Artificial Immune Systems
N. Montealegre, F.-J. Rammig, in: Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012), Shenzhen, China, 2012.
LibreCat
N. Montealegre, F.-J. Rammig, in: Third IEEE Workshop on Self-Organizing Real-Time Systems (SORT 2012), Shenzhen, China, 2012.
2012 | Conference Paper | LibreCat-ID: 26029
Self-Coordination as Fundamental Concept for Cyber Physical Systems
F.-J. Rammig, in: 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, SBC, Ouro Preto, Brazil, 2012, pp. 45–48.
LibreCat
F.-J. Rammig, in: 2nd SBC Workshop on Autonomic Distributed Systems - WoSiDA 2012, SBC, Ouro Preto, Brazil, 2012, pp. 45–48.
2012 | Conference Paper | LibreCat-ID: 26030
Planarization of Geographic Cluster-based Overlay Graphs in Realistic Wireless Networks
E. Mathews, in: Ninth International Conference On Information Technology : New Generations (ITNG), IEEE Computer Society, 2012.
LibreCat
E. Mathews, in: Ninth International Conference On Information Technology : New Generations (ITNG), IEEE Computer Society, 2012.
2012 | Conference Paper | LibreCat-ID: 26031
Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems
D. He, W. Müller, in: 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, 2012.
LibreCat
D. He, W. Müller, in: 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, 2012.
2012 | Conference Paper | LibreCat-ID: 26032
Efficient Alignment of Aerial Images Based on Virtual Forces
C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS), IEEE Xplore, St. Maarten, Netherlands Antilles, 2012.
LibreCat
C. Stern, C. Rasche, L. Kleinjohann, B. Kleinjohann, in: Proceedings of The Eighth International Conference on Autonomic and Autonomous Systems (ICAS), IEEE Xplore, St. Maarten, Netherlands Antilles, 2012.
2012 | Conference Paper | LibreCat-ID: 26034
Efficient Color-Based Image Segmentation and Feature Classification for Image Processing in Embedded Systems
A. Jungmann, B. Kleinjohann, L. Kleinjohann, M. Bieshaar, in: Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE), Xpert Publishing Services, 2012.
LibreCat
A. Jungmann, B. Kleinjohann, L. Kleinjohann, M. Bieshaar, in: Proceedings of the 4th International Conference on Resource Intensive Applications and Services (INTENSIVE), Xpert Publishing Services, 2012.
2012 | Conference Paper | LibreCat-ID: 26035
Dynamic Resource Management for Virtualized Mixed-Criticality Systems
S. Grösbrink, S. Oberthür, D. Baldin, in: Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012), 2012.
LibreCat
S. Grösbrink, S. Oberthür, D. Baldin, in: Quo Vadis, Virtual Platforms? (In Conjunction with Design, Automation and Test in Europe DATE 2012), 2012.
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 | Journal Article | LibreCat-ID: 26046
Balanced homodyne detection of optical quantum states at audio-band frequencies and below
M. Stefszky, C.M. Mow-Lowry, S.S.Y. Chua, D.A. Shaddock, B.C. Buchler, H. Vahlbruch, A. Khalaidovski, R. Schnabel, P.K. Lam, D.E. McClelland, Classical and Quantum Gravity (2012).
LibreCat
| DOI
M. Stefszky, C.M. Mow-Lowry, S.S.Y. Chua, D.A. Shaddock, B.C. Buchler, H. Vahlbruch, A. Khalaidovski, R. Schnabel, P.K. Lam, D.E. McClelland, Classical and Quantum Gravity (2012).
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 | Book Chapter | LibreCat-ID: 2608
Entscheidungsorientierte Planung unscharfer Erfolge von KMU in Supply Chains
S. Betz, in: S. Betz (Ed.), Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, 2nd ed., Hamburg, 2012, pp. 49–72.
LibreCat
S. Betz, in: S. Betz (Ed.), Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, 2nd ed., Hamburg, 2012, pp. 49–72.
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 | Book Chapter | LibreCat-ID: 2609
Analyse des Bullwhip-Effekts in einer Supply Chain von KMU
S. Betz, in: S. Betz (Ed.), Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, 2nd ed., Hamburg, 2012, pp. 105–132.
LibreCat
S. Betz, in: S. Betz (Ed.), Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand, 2nd ed., Hamburg, 2012, pp. 105–132.
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 | Journal Article | LibreCat-ID: 26132
Wood-Plastic-Composites: Rheologische Charakterisierung und Füllverhalten im Spritzgießprozess
N. Kirchhoff, C. Schröder, D. Stute, E. Moritzer, H.-J. Schmid, Chemie Ingenieur Technik (2012) 1584–1589.
LibreCat
| DOI
N. Kirchhoff, C. Schröder, D. Stute, E. Moritzer, H.-J. Schmid, Chemie Ingenieur Technik (2012) 1584–1589.
2012 | Journal Article | LibreCat-ID: 26133
Sintering kinetics and mechanism of vitreous nanoparticles
M.J. Kirchhof, H. Förster, H.-J. Schmid, W. Peukert, Journal of Aerosol Science 45 (2012) 26–39.
LibreCat
| DOI
M.J. Kirchhof, H. Förster, H.-J. Schmid, W. Peukert, Journal of Aerosol Science 45 (2012) 26–39.
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 | Dissertation | LibreCat-ID: 26199
Systematik zur Konzipierung von Produktionssystemen auf Basis der Prinziplösung mechatronischer Systeme
D. Nordsiek, Systematik zur Konzipierung von Produktionssystemen auf Basis der Prinziplösung mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2012.
LibreCat
D. Nordsiek, Systematik zur Konzipierung von Produktionssystemen auf Basis der Prinziplösung mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2012.
2012 | Dissertation | LibreCat-ID: 26200
Systematik zur effizienten Bildung geospezifischer Umgebungsmodelle für Fahrsimulationen
S. Kreft, Systematik zur effizienten Bildung geospezifischer Umgebungsmodelle für Fahrsimulationen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2012.
LibreCat
S. Kreft, Systematik zur effizienten Bildung geospezifischer Umgebungsmodelle für Fahrsimulationen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2012.
2012 | Conference (Editor) | LibreCat-ID: 26201
Vorausschau und Technologieplanung. 8. Symposium für Vorausschau und Technologieplanung
J. Gausemeier, ed., Vorausschau und Technologieplanung. 8. Symposium für Vorausschau und Technologieplanung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2012.
LibreCat
J. Gausemeier, ed., Vorausschau und Technologieplanung. 8. Symposium für Vorausschau und Technologieplanung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 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 | Journal Article | LibreCat-ID: 26351
Quantification of nonclassicality
C. Gehrke, J. Sperling, W. Vogel, Physical Review A (2012).
LibreCat
| DOI
C. Gehrke, J. Sperling, W. Vogel, Physical Review A (2012).
2012 | Journal Article | LibreCat-ID: 26352
Strongly entangled light from planar microcavities
D. Pagel, H. Fehske, J. Sperling, W. Vogel, Physical Review A (2012).
LibreCat
| DOI
D. Pagel, H. Fehske, J. Sperling, W. Vogel, Physical Review A (2012).
2012 | Journal Article | LibreCat-ID: 26353
Analytical progress on symmetric geometric discord: Measurement-based upper bounds
A. Miranowicz, P. Horodecki, R.W. Chhajlany, J. Tuziemski, J. Sperling, Physical Review A (2012).
LibreCat
| DOI
A. Miranowicz, P. Horodecki, R.W. Chhajlany, J. Tuziemski, J. Sperling, Physical Review A (2012).
2012 | Journal Article | LibreCat-ID: 26354
Sub-Binomial Light
J. Sperling, W. Vogel, G.S. Agarwal, Physical Review Letters (2012).
LibreCat
| DOI
J. Sperling, W. Vogel, G.S. Agarwal, Physical Review Letters (2012).
2012 | Journal Article | LibreCat-ID: 26355
Entanglement quasiprobabilities of squeezed light
J. Sperling, W. Vogel, New Journal of Physics (2012).
LibreCat
| DOI
J. Sperling, W. Vogel, New Journal of Physics (2012).
2012 | Journal Article | LibreCat-ID: 26356
True photocounting statistics of multiple on-off detectors
J. Sperling, W. Vogel, G.S. Agarwal, Physical Review A (2012).
LibreCat
| DOI
J. Sperling, W. Vogel, G.S. Agarwal, Physical Review A (2012).
2012 | Journal Article | LibreCat-ID: 2640
Trading Venue Decision of Private Online Investors
D. Kundisch, International Journal of Electronic Finance 6 (2012) 103–120.
LibreCat
D. Kundisch, International Journal of Electronic Finance 6 (2012) 103–120.
2012 | Journal Article | LibreCat-ID: 2641
IT Sourcing Portfolio Management for IT Services Providers - An Approach for using Modern Portfolio Theory to allocate Software Development Projects to available Sites
S. Zimmermann, A. Katzmarzik, D. Kundisch, The DATA BASE for Advances in Information Systems 43 (2012) 24–45.
LibreCat
S. Zimmermann, A. Katzmarzik, D. Kundisch, The DATA BASE for Advances in Information Systems 43 (2012) 24–45.
2012 | Journal Article | LibreCat-ID: 2642
Enhancing the Quality of Financial Advice with Web 2.0 - An Approach Considering Social Capital in Private Asset Allocation
D. Kundisch, R. Zorzi, Information Systems and E-Business Management 10 (2012) 85–99.
LibreCat
D. Kundisch, R. Zorzi, Information Systems and E-Business Management 10 (2012) 85–99.
2012 | Journal Article | LibreCat-ID: 2643
Investitionsbewertung mit Realoptionen
D. Kundisch, T. John, WISU - Das Wirtschaftsstudium 3 (2012) 345–347.
LibreCat
D. Kundisch, T. John, WISU - Das Wirtschaftsstudium 3 (2012) 345–347.
2012 | Journal Article | LibreCat-ID: 26514
Weyl asymptotics: From closed to open systems
A. Potzuweit, T. Weich, S. Barkhofen, U. Kuhl, H.-J. Stöckmann, M. Zworski, Physical Review E (2012).
LibreCat
| DOI
A. Potzuweit, T. Weich, S. Barkhofen, U. Kuhl, H.-J. Stöckmann, M. Zworski, Physical Review E (2012).
2012 | Journal Article | LibreCat-ID: 2655
PINGO - Umsetzung von E-Learning in der Hoschule in Adaption und Weiterentwicklung des Peer Instruction Ansatzes - Didaktische und organisatorische Reflexion Studierendenaktivierung in Lehrveranstaltungen
M. Beutner, A. Zoyke, D. Kundisch, P. Herrmann, M. Whittaker, J. Magenheim, W. Reinhardt, Kölner Zeitschrift für Wirtschaft und Pädagogik (KWP) 27 (2012) 3–52.
LibreCat
M. Beutner, A. Zoyke, D. Kundisch, P. Herrmann, M. Whittaker, J. Magenheim, W. Reinhardt, Kölner Zeitschrift für Wirtschaft und Pädagogik (KWP) 27 (2012) 3–52.
2012 | Book (Editor) | LibreCat-ID: 2668
Entscheidungsprobleme im Supply Chain Management - Quantitative Lösungsansätze für den Mittelstand
S. Betz, ed., Entscheidungsprobleme Im Supply Chain Management - Quantitative Lösungsansätze Für Den Mittelstand, 2nd ed., Hamburg, 2012.
LibreCat
S. Betz, ed., Entscheidungsprobleme Im Supply Chain Management - Quantitative Lösungsansätze Für Den Mittelstand, 2nd ed., Hamburg, 2012.
2012 | Journal Article | LibreCat-ID: 26693
Lesetexte besser verstehen - Lesestrategien erlernen und den Wortschatz erweitern
F. Hellmich, F.K. Hoya, S. Förster , Deutsch Differenziert 4 (2012) 28–31.
LibreCat
F. Hellmich, F.K. Hoya, S. Förster , Deutsch Differenziert 4 (2012) 28–31.
2012 | Book Chapter | LibreCat-ID: 26694
Erfassung diagnostischer Fähigkeiten bei Lehramtsstudentinnen und -studenten
F.K. Hoya, F. Hellmich, in: F. Hellmich, S. Förster (Eds.), Bedingungen des Lehrens und Lernens in der Grundschule. Bilanz und Perspektiven, Springer VS, Wiesbaden, 2012, pp. 199–202.
LibreCat
F.K. Hoya, F. Hellmich, in: F. Hellmich, S. Förster (Eds.), Bedingungen des Lehrens und Lernens in der Grundschule. Bilanz und Perspektiven, Springer VS, Wiesbaden, 2012, pp. 199–202.
2012 | Journal Article | LibreCat-ID: 26743
Rezension: Handbuch Grundschulpädagogik und Grundschuldidaktik
F. Hellmich, Zeitschrift für Grundschulforschung 5 (2012) 101–103.
LibreCat
F. Hellmich, Zeitschrift für Grundschulforschung 5 (2012) 101–103.
2012 | Book Chapter | LibreCat-ID: 26744
Förderung der Lesekompetenz durch ein wortschatzbasiertes Lesestrategietraining bei Kindern mit Deutsch als Zweitsprache
S. Förster, S. Niebuhr-Siebert, F. Hellmich, in: F. Hellmich, S. Förster, F.K. Hoya (Eds.), Bedingungen des Lehrens und Lernens in der Grundschule. Bilanz und Perspektiven, Springer VS, Wiesbaden, 2012, pp. 199–202.
LibreCat
S. Förster, S. Niebuhr-Siebert, F. Hellmich, in: F. Hellmich, S. Förster, F.K. Hoya (Eds.), Bedingungen des Lehrens und Lernens in der Grundschule. Bilanz und Perspektiven, Springer VS, Wiesbaden, 2012, pp. 199–202.
2012 | Journal Article | LibreCat-ID: 26907
Long-Term Dietary Potential Renal Acid Load During Adolescence Is Prospectively Associated with Indices of Nonalcoholic Fatty Liver Disease in Young Women
D. Krupp, S.A. Johner, H. Kalhoff, A. Buyken, T. Remer, The Journal of Nutrition (2012) 313–319.
LibreCat
| DOI
D. Krupp, S.A. Johner, H. Kalhoff, A. Buyken, T. Remer, The Journal of Nutrition (2012) 313–319.
2012 | Journal Article | LibreCat-ID: 26909
The link between dietary glycemic index and nutrient adequacy
J.C.Y. Louie, A. Buyken, J.C. Brand-Miller, V.M. Flood, The American Journal of Clinical Nutrition (2012) 694–702.
LibreCat
| DOI
J.C.Y. Louie, A. Buyken, J.C. Brand-Miller, V.M. Flood, The American Journal of Clinical Nutrition (2012) 694–702.
2012 | Conference Paper | LibreCat-ID: 3449
Softwaregestützte Konstruktion von Produktivitätsmodellen im Facility Management
J. Becker, T. Bernhold, D. Beverungen, N. Kaling, R. Knackstedt, L. Vanesa, H. Peter Rauer, in: Dienstleistungsmodellierung 2012, Wiesbaden, 2012, pp. 208--226.
LibreCat
| DOI
J. Becker, T. Bernhold, D. Beverungen, N. Kaling, R. Knackstedt, L. Vanesa, H. Peter Rauer, in: Dienstleistungsmodellierung 2012, Wiesbaden, 2012, pp. 208--226.
2012 | Conference Paper | LibreCat-ID: 3450
Resolving trade-offs in Service Performance Benchmarking using Data Envelopment Analysis
J. Becker, D. Beverungen, D. Breuker, H. Peter Rauer, in: Proceedings of the 16th Pacific Asian Conference on Information Systems (PACIS) 2012, Ho Chi Minh City, Vietnam, 2012, p. Paper 56.
LibreCat
J. Becker, D. Beverungen, D. Breuker, H. Peter Rauer, in: Proceedings of the 16th Pacific Asian Conference on Information Systems (PACIS) 2012, Ho Chi Minh City, Vietnam, 2012, p. Paper 56.
2012 | Conference Paper | LibreCat-ID: 3451
Service Productivity Management --- Status Quo and Directions for the Design of Conceptual Modeling Grammars.
J. Becker, D. Beverungen, R. Knackstedt, H. Peter Rauer, D. Sigge, in: Proceedings of the 45th Hawaii International Conference on System Sciences (HICSS) 2012, Kauai, USA, 2012, pp. 1522--1531.
LibreCat
| DOI
J. Becker, D. Beverungen, R. Knackstedt, H. Peter Rauer, D. Sigge, in: Proceedings of the 45th Hawaii International Conference on System Sciences (HICSS) 2012, Kauai, USA, 2012, pp. 1522--1531.
2012 | Conference Paper | LibreCat-ID: 3452
Global versus Local Properties of Service Science: Insights from a Comparative International Study on Research Results
T. Heide, S. Tumbas, D. Beverungen, R. Knackstedt, J. Becker, in: Services and Economic Development: Local and Global Challenges, Bucharest, Romania, 2012, pp. 1--21.
LibreCat
T. Heide, S. Tumbas, D. Beverungen, R. Knackstedt, J. Becker, in: Services and Economic Development: Local and Global Challenges, Bucharest, Romania, 2012, pp. 1--21.
2012 | Conference Paper | LibreCat-ID: 3453
Leveraging Social Network Data for Analytical CRM Strategies --- The Introduction of Social BI
M. Rosemann, M. Eggert, M. Voigt, D. Beverungen, in: Proceedings of the 20$^{th}$ European Conference on Information Systems, Barcelona, Spain, 2012, pp. 1--12.
LibreCat
M. Rosemann, M. Eggert, M. Voigt, D. Beverungen, in: Proceedings of the 20$^{th}$ European Conference on Information Systems, Barcelona, Spain, 2012, pp. 1--12.
2012 | Journal Article | LibreCat-ID: 3500
Construction of Productivity Models: A Tool Supported Approach in the Area of Facility Management
J. Becker, T. Bernhold, D. Beverungen, N. Kaling, R. Knackstedt, L. Vanessa, H. Peter Rauer, Enterprise Modelling and Information Systems Architectures (2012) 26--40.
LibreCat
J. Becker, T. Bernhold, D. Beverungen, N. Kaling, R. Knackstedt, L. Vanessa, H. Peter Rauer, Enterprise Modelling and Information Systems Architectures (2012) 26--40.
2012 | Journal Article | LibreCat-ID: 3501
Identifying e-Service Potential from Business Process Models --- A Theory Nexus Approach
D. Beverungen, R. Knackstedt, A. Winkelmann, E-Service Journal (2012) 45--74.
LibreCat
D. Beverungen, R. Knackstedt, A. Winkelmann, E-Service Journal (2012) 45--74.
2012 | Journal Article | LibreCat-ID: 3633
Professional competence and intuitive decision making: A simulation study in the domain of emergency medicine
C. Harteis, B. Morgenthaler, C. Kugler, K.-P. Ittner, G. Roth, B. Graf, Vocations and Learning 5 (2012) 119--136.
LibreCat
C. Harteis, B. Morgenthaler, C. Kugler, K.-P. Ittner, G. Roth, B. Graf, Vocations and Learning 5 (2012) 119--136.
2012 | Journal Article | LibreCat-ID: 3634
When workplace learning fails: Individual and organisational limitations--Exemplarily demonstrated by the issue of responsibility in work life
C. Harteis, International Journal of Human Resources Development and Management 12 (2012) 92--107.
LibreCat
C. Harteis, International Journal of Human Resources Development and Management 12 (2012) 92--107.
2012 | Book Chapter | LibreCat-ID: 3637
Human fallibility and learning from errors at work
J. Bauer, M. Gartmeier, C. Harteis, in: J. Bauer, C. Harteis (Eds.), Human Fallibility, Springer, Dordrecht, 2012, pp. 155--169.
LibreCat
J. Bauer, M. Gartmeier, C. Harteis, in: J. Bauer, C. Harteis (Eds.), Human Fallibility, Springer, Dordrecht, 2012, pp. 155--169.
2012 | Book Chapter | LibreCat-ID: 3638
The ambiguity of errors for work and learning: Introduction to the volume
J. Bauer, C. Harteis, in: J. Bauer, C. Harteis (Eds.), Human Fallibility, Springer, Dordrecht, 2012, pp. 1--14.
LibreCat
J. Bauer, C. Harteis, in: J. Bauer, C. Harteis (Eds.), Human Fallibility, Springer, Dordrecht, 2012, pp. 1--14.
2012 | Book Chapter | LibreCat-ID: 3639
Research on human fallibility and learning from errors at work: Challenges for theory, research, and practice
C. Harteis, J. Bauer, H. Heid, in: J. Bauer, C. Harteis (Eds.), Human Fallibility, Springer, Dordrecht, 2012, pp. 255--265.
LibreCat
C. Harteis, J. Bauer, H. Heid, in: J. Bauer, C. Harteis (Eds.), Human Fallibility, Springer, Dordrecht, 2012, pp. 255--265.
2012 | Book Chapter | LibreCat-ID: 3640
Error Orientation in the Context of Intuitive and Competent Behaviour: Results of an Exploratory Study in the Domain of Emergency Medicine
C. Harteis, F. Frost, in: J. Bauer, C. Harteis (Eds.), Human Fallibility, Springer, Dordrecht, 2012, pp. 141--153.
LibreCat
C. Harteis, F. Frost, in: J. Bauer, C. Harteis (Eds.), Human Fallibility, Springer, Dordrecht, 2012, pp. 141--153.
2012 | Book Chapter | LibreCat-ID: 3641
LehreProfi--Entwicklung und Einsatz eines Instruments zur Erfassung hochschuldidaktischer Kompetenz
J. Fiehn, S. Spie{\ss}, F. Ceylan, C. Harteis, S. Schworm, in: R. Egger, M. Merkt (Eds.), Lernwelt Universität, Springer VS, Wiesbaden, 2012, pp. 45--62.
LibreCat
J. Fiehn, S. Spie{\ss}, F. Ceylan, C. Harteis, S. Schworm, in: R. Egger, M. Merkt (Eds.), Lernwelt Universität, Springer VS, Wiesbaden, 2012, pp. 45--62.
2012 | Book (Editor) | LibreCat-ID: 3646
Human fallibility: The ambiguity of errors for work and learning
J. Bauer, C. Harteis, eds., Human Fallibility: The Ambiguity of Errors for Work and Learning, Springer, Dordrecht, 2012.
LibreCat
J. Bauer, C. Harteis, eds., Human Fallibility: The Ambiguity of Errors for Work and Learning, Springer, Dordrecht, 2012.
2012 | Book Chapter | LibreCat-ID: 3659
Entwicklungsaufgaben im Erwachsenenalter
H. Gruber, C. Harteis, in: M. Dick, W. Marotzki, H. Mieg (Eds.), Handbuch Professionsentwicklung, Klinkhardt, Bad Heilbrunn, 2012, pp. 231–239.
LibreCat
H. Gruber, C. Harteis, in: M. Dick, W. Marotzki, H. Mieg (Eds.), Handbuch Professionsentwicklung, Klinkhardt, Bad Heilbrunn, 2012, pp. 231–239.
2012 | Book Chapter | LibreCat-ID: 3714
Learning from errors in the professions
J. Bauer, M. Gartmeier, C. Harteis, in: J. Bauer, C. Harteis (Eds.), Human Fallibility. The Ambiguity of Errors for Work and Learning, Springer, Dordrecht, 2012, pp. 1–14.
LibreCat
J. Bauer, M. Gartmeier, C. Harteis, in: J. Bauer, C. Harteis (Eds.), Human Fallibility. The Ambiguity of Errors for Work and Learning, Springer, Dordrecht, 2012, pp. 1–14.
2012 | Book Review | LibreCat-ID: 3715
Wuttke & Seifried (Eds.). (2012). Learning from errors at school and at work
K. Buschmeyer, C. Harteis, Vocations and Learning. Studies in Vocational and Professional Education 5 (2012) 313–316.
LibreCat
K. Buschmeyer, C. Harteis, Vocations and Learning. Studies in Vocational and Professional Education 5 (2012) 313–316.
2012 | Book Chapter | LibreCat-ID: 3716
Learning from mistakes - still a challenge for research and business practice
C. Harteis, K. Buschmeyer, in: E. Wuttke, J. Seifried (Eds.), Learning from Errors at School and at Work, Barbara Budrich, Opladen, 2012, pp. 31–47.
LibreCat
C. Harteis, K. Buschmeyer, in: E. Wuttke, J. Seifried (Eds.), Learning from Errors at School and at Work, Barbara Budrich, Opladen, 2012, pp. 31–47.
2012 | Book Chapter | LibreCat-ID: 3717
Error orientation and intuitive decision making
C. Harteis, F. Frost, in: J. Bauer, C. Harteis (Eds.), Human Fallibility. The Ambiguity of Errors for Work and Learning, 2012, pp. 141–153.
LibreCat
C. Harteis, F. Frost, in: J. Bauer, C. Harteis (Eds.), Human Fallibility. The Ambiguity of Errors for Work and Learning, 2012, pp. 141–153.
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 (Editor) | LibreCat-ID: 28935
Jahrbuch Medienpädagogik 9. Qualitätsentwicklung in der Schule und medienpädagogische Professionalisierung
R. Schulz-Zander, B. Eickelmann, H. Moser, H. Niesyto, P. Grell, eds., Jahrbuch Medienpädagogik 9. Qualitätsentwicklung in der Schule und medienpädagogische Professionalisierung, VS Verlag für Sozialwissenschaften, Wiesbaden, 2012.
LibreCat
R. Schulz-Zander, B. Eickelmann, H. Moser, H. Niesyto, P. Grell, eds., Jahrbuch Medienpädagogik 9. Qualitätsentwicklung in der Schule und medienpädagogische Professionalisierung, VS Verlag für Sozialwissenschaften, Wiesbaden, 2012.
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 | Journal Article | LibreCat-ID: 2949
Stay in school or start working?- The human capital investment decision under uncertainty and irreversibility
T. Gries, N. Bilkic, M. Pilichowski, Labour Economics 19 (2012) 706–717.
LibreCat
| DOI
T. Gries, N. Bilkic, M. Pilichowski, Labour Economics 19 (2012) 706–717.
2012 | Book Chapter | LibreCat-ID: 2950
Poverty in Shenzhen
T. Gries, J. Xue, in: L. Wang (Ed.), Rising China in the Changing World Economy, 2012, pp. 396–412.
LibreCat
T. Gries, J. Xue, in: L. Wang (Ed.), Rising China in the Changing World Economy, 2012, pp. 396–412.
2012 | Journal Article | LibreCat-ID: 2951
Economic performance and terrorist activity in Latin America
T. Gries, D. Meierrieks, Defence and Peace Economics 23 (2012) 447–470.
LibreCat
| DOI
T. Gries, D. Meierrieks, Defence and Peace Economics 23 (2012) 447–470.
2012 | Journal Article | LibreCat-ID: 2952
A Tax Paradox for Investment Decisions under Uncertainty
T. Gries, U. Prior, C. Sureth, Journal of Public Economics Theory 14 (2012) 521–545.
LibreCat
| DOI
T. Gries, U. Prior, C. Sureth, Journal of Public Economics Theory 14 (2012) 521–545.
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.