Mischkalla, Fabian, et al. “A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis.” Proceedings of the M-BED Workshop, 2010.
LibreCat: /record/37042

Bol, Alexander, et al. “Eine Strukturierte Methode Zur Generierung von SystemVerilog-Testumgebungen Aus Textuellen Anforderungsbeschreibungen.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2010.
LibreCat: /record/37043

Müller, Wolfgang, et al. “The SATURN Approach to SysML-Based HW/SW Codesign.”10.1007/978-94-007-1488-5_9__Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2010, doi:10.1007/978-94-007-1488-5_9.
LibreCat: /record/37050
DOI: 10.1007/978-94-007-1488-5_9

Müller, Wolfgang, et al. Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:10.1007/978-3-642-15234-4_9.
LibreCat: /record/37048
DOI: 10.1007/978-3-642-15234-4_9

Xie, Tao, et al. Mutation-Analysis Directed Constrained Random Verification. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010.
LibreCat: /record/37049

Xie, Tao, et al. An Eclipse-Based Framework for the IP-XACT-Enabled Assembly of Mixed-Level IPs. 2010.
LibreCat: /record/37051

Defo, Gilles B., et al. “Verification of a CAN Bus Model in SystemC with Functional Coverage.”10.1109/SIES.2010.5551379__Proceedings of SIES 2010, IEEE, 2010, doi:10.1109/SIES.2010.5551379.
LibreCat: /record/37057
DOI: 10.1109/SIES.2010.5551379

Klobedanz, Kay, et al. “Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks.”10.1109/SIES.2010.5551384__Proceedings of SIES 2010, 2010, doi:10.1109/SIES.2010.5551384.
LibreCat: /record/37056
DOI: 10.1109/SIES.2010.5551384

Müller, Wolfgang, et al. “Verification of Real-Time Properties for Hardware-Dependant Software.” Proceedings of HLD, IEEE, 2010.
LibreCat: /record/37053

Oliveira, Marcio F. S., et al. “Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration.” Proceedings of MoMPES 2010, 2010.
LibreCat: /record/37060

Gharibian, Sevag. “Strong NP-Hardness of the Quantum Separability Problem.” Quantum Information &; Computation, vol. 10, no. 3 &; 4, 2010, pp. 343–60.
LibreCat: /record/8179
arXiv: 0810.4507

Lübbers, Enno, et al. “Towards Adaptive Networking for Embedded Devices Based on Reconfigurable Hardware.” Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2010, pp. 225–31.
LibreCat: /record/2223

Grad, Mariusz, and Christian Plessl. “Pruning the Design Space for Just-In-Time Processor Customization.”10.1109/ReConFig.2010.19__Proc. Int. Conf. on ReConFigurable Computing and FPGAs (ReConFig), IEEE Computer Society, 2010, pp. 67–72, doi:10.1109/ReConFig.2010.19.
LibreCat: /record/2216
DOI: 10.1109/ReConFig.2010.19

Grad, Mariusz, and Christian Plessl. “An Open Source Circuit Library with Benchmarking Facilities.” Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2010, pp. 144–50.
LibreCat: /record/2224

Andrews, David, and Christian Plessl. “Configurable Processor Architectures: History and Trends.” Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2010, p. 165.
LibreCat: /record/2220

Plaks, Toomas P., et al., editors. Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press, 2010.
LibreCat: /record/2222

Beisel, Tobias, et al. “Using Shared Library Interposing for Transparent Acceleration in Systems with Heterogeneous Hardware Accelerators.”10.1109/ASAP.2010.5540798__Proc. Int. Conf. on Application-Specific Systems, Architectures, and Processors (ASAP), IEEE Computer Society, 2010, pp. 65–72, doi:10.1109/ASAP.2010.5540798.
LibreCat: /record/2226
DOI: 10.1109/ASAP.2010.5540798

Keller, Ariane, et al. “Reconfigurable Nodes for Future Networks.”10.1109/GLOCOMW.2010.5700341__Proc. IEEE Globecom Workshop on Network of the Future (FutureNet), IEEE, 2010, pp. 372–76, doi:10.1109/GLOCOMW.2010.5700341.
LibreCat: /record/2206
DOI: 10.1109/GLOCOMW.2010.5700341

Woehrle, Matthias, et al. “Rupeas: Ruby Powered Event Analysis DSL.”10.1109/INSS.2010.5572211__Proc. Int. Conf. Networked Sensing Systems (INSS), IEEE, 2010, pp. 245–48, doi:10.1109/INSS.2010.5572211.
LibreCat: /record/2227
DOI: 10.1109/INSS.2010.5572211

Kenter, Tobias, et al. “Performance Estimation for the Exploration of CPU-Accelerator Architectures.” Proc. Workshop on Architectural Research Prototyping (WARP), International Symposium on Computer Architecture (ISCA), edited by Omar Hammami and Sandra Larrabee, 2010.
LibreCat: /record/2228

Postler, Tim. Smart Card basierte Berechnung einer Gruppensignatur als Teil einer biometrischen Authentisierung. 2010.
LibreCat: /record/47684

Mostaghim, Sanaz, et al. “Preference-Based Multi-Objective Particle Swarm Optimization Using Desirabilities.”https://doi.org/10.1007/978-3-642-15871-1_11__Parallel Problem Solving from Nature, PPSN XI, edited by Robert Schaefer et al., Springer Berlin Heidelberg, 2010, pp. 101–110, doi:https://doi.org/10.1007/978-3-642-15871-1_11.
LibreCat: /record/46408
DOI: https://doi.org/10.1007/978-3-642-15871-1_11

Mersmann, Olaf, et al. “Benchmarking Evolutionary Algorithms: Towards Exploratory Landscape Analysis.” Proceedings of the 11th International Conference on Parallel Problem Solving from Nature: Part I, Springer-Verlag, 2010, pp. 73–82.
LibreCat: /record/46405

Mersmann, O., et al. “On the Distribution of EMOA Hypervolumes.” Learning and Intelligent Optimization, 4$^th$ International Conference, LION 4, Venice, Italy, edited by C Blum and R Battiti, vol. 6073, Springer, 2010, pp. 333–337.
LibreCat: /record/46406

Mersmann, Olaf, et al. “Benchmarking Evolutionary Multiobjective Optimization Algorithms.”10.1109/CEC.2010.5586241__IEEE Congress on Evolutionary Computation, 2010, pp. 1–8, doi:10.1109/CEC.2010.5586241.
LibreCat: /record/46407
DOI: 10.1109/CEC.2010.5586241

Ding, J., et al. “Sequential Parameter Optimisation for Multi-Objective Evolutionary Optimisation of Additive Layer Manufacturing.” Proceedings of the 7$^th$ CIRP International Seminar on Intelligent Computation in Manufacturing Engineering (CIRP ICME ’10), edited by R Teti, Copyright C.O.C. Com. org. Conv., 2010.
LibreCat: /record/46404

Voß, Thomas, et al. “New Uncertainty Handling Strategies in Multi-Objective Evolutionary Optimization.”https://doi.org/10.1007/978-3-642-15871-1_27__Parallel Problem Solving from Nature, PPSN XI, edited by Robert Schaefer et al., Springer Berlin Heidelberg, 2010, pp. 260–269, doi:https://doi.org/10.1007/978-3-642-15871-1_27.
LibreCat: /record/46409
DOI: https://doi.org/10.1007/978-3-642-15871-1_27

Wagner, Tobias, and Heike Trautmann. “Integration of Preferences in Hypervolume-Based Multiobjective Evolutionary Algorithms by Means of Desirability Functions.”10.1109/TEVC.2010.2058119__IEEE Transactions on Evolutionary Computation, vol. 14, no. 5, 2010, pp. 688–701, doi:10.1109/TEVC.2010.2058119.
LibreCat: /record/46412
DOI: 10.1109/TEVC.2010.2058119

Azene, Y. T., et al. “Work Roll Cooling System Design Optimisation in Presence of Uncertainty and Constrains.”https://doi.org/10.1016/j.cirpj.2010.06.001__CIRP Journal of Manufacturing Science and Technology, vol. 2, no. 4, 2010, pp. 290–98, doi:https://doi.org/10.1016/j.cirpj.2010.06.001.
LibreCat: /record/46411
DOI: https://doi.org/10.1016/j.cirpj.2010.06.001

Wagner, Tobias, and Heike Trautmann. “Online Convergence Detection for Evolutionary Multi-Objective Algorithms Revisited.”10.1109/CEC.2010.5586474__IEEE Congress on Evolutionary Computation, 2010, pp. 1–8, doi:10.1109/CEC.2010.5586474.
LibreCat: /record/46410
DOI: 10.1109/CEC.2010.5586474

Lürwer-Brüggemeier, Katharina. Mächtigkeit Und Komplexität von Berechnungen Mit Der Ganzzahligen Division. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
LibreCat: /record/19605

Mense, Mario. On Fault-Tolerant Data Placement in Storage Networks. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
LibreCat: /record/19614

Kortenjan, Michael. Size Equivalent Cluster Trees - Rendering CAD Models in Industrial Scenes. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
LibreCat: /record/19617

Bonorden, Olaf. Versatility of Bulk Synchronous Parallel Computing: From the Heterogeneous Cluster to the System on Chip. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009.
LibreCat: /record/19618

Bonorden, Olaf, et al. Complexity and Approximation of a Geometric Local Robot Assignment Problem. 2009.
LibreCat: /record/19722

Bonorden, Olaf, et al. “Complexity and Approximation of a Geometric Local Robot Assignment Problem.”10.1007/978-3-642-05434-1_25__Algorithmic Aspects of Wireless Sensor Networks, Springer, 2009, pp. 252–62, doi:10.1007/978-3-642-05434-1_25.
LibreCat: /record/19724
DOI: 10.1007/978-3-642-05434-1_25

Schindelhauer, Christian, et al. 3nuts: A Locality-Aware Peer-to-Peer Network Combining Random Networks, Search Trees, and DHTs. Paderborn, Germany, 2009.
LibreCat: /record/19825

Ooi, Chia Ching, and Christian Schindelhauer. “Minimal Energy Path Planning for Wireless Robots.”10.1007/s11036-008-0150-5__Mobile Networks and Applications (MONET), 2009, pp. 309–21, doi:10.1007/s11036-008-0150-5.
LibreCat: /record/19830
DOI: 10.1007/s11036-008-0150-5

Ooi, Chia Ching, and Christian Schindelhauer. “Utilizing Detours for Energy Conservation in Mobile Wireless Networks.”10.1007/s11235-009-9188-3__Telecommunication Systems, vol. 43, 2009, pp. 25–37, doi:10.1007/s11235-009-9188-3.
LibreCat: /record/19831
DOI: 10.1007/s11235-009-9188-3

Raptopoulos, Christoforos L., et al. “Colouring Non-Sparse Random Intersection Graphs.”10.1007/978-1-4939-2864-4_597__34st International Symposium on Mathematical Foundations of Computer Science, 2009, pp. 600--611, doi:10.1007/978-1-4939-2864-4_597.
LibreCat: /record/19901
DOI: 10.1007/978-1-4939-2864-4_597

Nikoletseas, Sotiris E., et al. “Combinatorial Properties for Efficient Communication in Distributed Networks with Local Interactions.”10.1109/IPDPS.2009.5161002__10.1109/IPDPS.2009.5161002__Proceedings of IPDPS - IEEE International Parallel &; Distributed Processing Symposium, 2009, pp. 1--11, doi:10.1109/IPDPS.2009.5161002.
LibreCat: /record/19904
DOI: 10.1109/IPDPS.2009.5161002

Deveci, Deniz, et al. “Distributed Heterogeneous Hashing and Deterministic Dynamical Decompositions.”  Parallel and Distributed Computing and Systems, Nr. 21, 2009.
LibreCat: /record/19934

Stradner, Jürgen, et al. “Analysis and Implementation of an Artificial Homeostatic Hormone System: A First Case Study in Robotic Hardware.”10.1109/iros.2009.5354056__2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009, doi:10.1109/iros.2009.5354056.
LibreCat: /record/20254
DOI: 10.1109/iros.2009.5354056

Schmickl, Thomas, et al. “Two Different Approaches to a Macroscopic Model of a Bio-Inspired Robotic Swarm.”10.1016/j.robot.2009.06.002__Robotics and Autonomous Systems, vol. 6, no. 9, 2009, pp. 913–21, doi:10.1016/j.robot.2009.06.002.
LibreCat: /record/20255
DOI: 10.1016/j.robot.2009.06.002

Hamann, Heiko, et al. “Pattern Formation as a Transient Phenomenon in the Nonlinear Dynamics of a Multi-Agent System.” MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling, 2009.
LibreCat: /record/20259

Wehrheim, Heike, and Daniel Wonisch. “Compositional CSP Traces Refinement Checking.”10.1016/j.entcs.2009.08.022__Electr. Notes Theor. Comput. Sci., no. 2, 2009, pp. 135--151, doi:10.1016/j.entcs.2009.08.022.
LibreCat: /record/3199
DOI: 10.1016/j.entcs.2009.08.022

Ruhroth, Thomas, and Heike Wehrheim. “Static Class Elements for Object-Z.”10.1016/j.entcs.2009.12.025__Electr. Notes Theor. Comput. Sci., 2009, pp. 193--205, doi:10.1016/j.entcs.2009.12.025.
LibreCat: /record/3200
DOI: 10.1016/j.entcs.2009.12.025

Ruhroth, Thomas, et al. “Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models.”10.1109/SEAA.2009.39__35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings, 2009, pp. 360--367, doi:10.1109/SEAA.2009.39.
LibreCat: /record/3201
DOI: 10.1109/SEAA.2009.39

Leuschel, Michael, and Heike Wehrheim, editors. Integrated Formal Methods, 7th International Conference, IFM 2009, D\'22usseldorf, Germany, February 16-19, 2009. Proceedings. 2009, doi:10.1007/978-3-642-00255-7.
LibreCat: /record/3202
DOI: 10.1007/978-3-642-00255-7

Schröer, Carsten. Hierarchisches Clustering Mit Minimalen Cluster-Durchmessern. 2009.
LibreCat: /record/2880

Liske, Gennadij. Analyse Und Evaluation Eines Identitätsbasierten Signcryption-Verfahrens. 2009.
LibreCat: /record/2896

Scholz, Christoph. Die Schwierigkeit Des K-Median Clusterings Für Bregman-Divergenzen. 2009.
LibreCat: /record/2904

Ackermann, Marcel Rudolf. Algorithms for the Bregman K-Median Problem. Universität Paderborn, 2009.
LibreCat: /record/2911

Kakvi, Saqib. “Reinforcement Learning for Blackjack.”10.1007/978-3-642-04052-8_43__Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2009, pp. 300–01, doi:10.1007/978-3-642-04052-8_43.
LibreCat: /record/2920
DOI: 10.1007/978-3-642-04052-8_43

Ackermann, Marcel R., and Johannes Blömer. “Coresets and Approximate Clustering for Bregman Divergences.”10.1137/1.9781611973068.118__Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2009, pp. 1088–97, doi:10.1137/1.9781611973068.118.
LibreCat: /record/2995
DOI: 10.1137/1.9781611973068.118

Blömer, Johannes, and Stefanie Naewe. “Sampling Methods for Shortest Vectors, Closest Vectors and Successive Minima.”10.1016/j.tcs.2008.12.045__Theoretical Computer Science, no. 18, 2009, pp. 1648–65, doi:10.1016/j.tcs.2008.12.045.
LibreCat: /record/2999
DOI: 10.1016/j.tcs.2008.12.045

Schrieb, Jonas, et al. “Three-Valued Spotlight Abstractions.”10.1007/978-3-642-05089-3_8__FM 2009: Formal Methods, Springer Berlin Heidelberg, 2009, pp. 106–22, doi:10.1007/978-3-642-05089-3_8.
LibreCat: /record/3000
DOI: 10.1007/978-3-642-05089-3_8

Jager, Tibor, and Jörg Schwenk. “On the Analysis of Cryptographic Assumptions in the Generic Ring Model.”10.1007/978-3-642-10366-7_24__Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings, 2009, pp. 399--416, doi:10.1007/978-3-642-10366-7_24.
LibreCat: /record/3142
DOI: 10.1007/978-3-642-10366-7_24

Meyer, Matthias. Musterbasiertes Re-Engineering von Softwaresystemen. Universitaetsbibliothek Paderborn, 2009.
LibreCat: /record/20937

Meyer auf der Heide, Friedhelm, and Franz-Josef Rammig. “Self-Organisation and Self-Optimization.” Public Service Review: Science and Technology, vol. 04, 2009.
LibreCat: /record/17453

Briest, Patrick. “Algorithmische Und Komplexitätstheoretische Aspekte Kombinatorischer Preisoptimierung (Computational Aspects of Combinatorial Pricing Problems).”10.1524/itit.2009.0524__It - Information Technology, vol. 51, no. 1, 2009, pp. 62–65, doi:10.1524/itit.2009.0524.
LibreCat: /record/19031
DOI: 10.1524/itit.2009.0524

D. Kleinberg, Robert, and Christian Scheideler. “Foreword.”10.1007/s00224-009-9202-x__Theory Comput. Syst., no. 2, 2009, p. 187, doi:10.1007/s00224-009-9202-x.
LibreCat: /record/1925
DOI: 10.1007/s00224-009-9202-x

Awerbuch, Baruch, and Christian Scheideler. “Towards a Scalable and Robust DHT.”10.1007/s00224-008-9099-9__Theory Comput. Syst., no. 2, 2009, pp. 234--260, doi:10.1007/s00224-008-9099-9.
LibreCat: /record/1927
DOI: 10.1007/s00224-008-9099-9

Awerbuch, Baruch, and Christian Scheideler. “Robust Random Number Generation for Peer-to-Peer Systems.”10.1016/j.tcs.2008.10.003__Theor. Comput. Sci., no. 6–7, 2009, pp. 453--466, doi:10.1016/j.tcs.2008.10.003.
LibreCat: /record/1928
DOI: 10.1016/j.tcs.2008.10.003

Scheideler, Christian, and Stefan Schmid. “A Distributed and Oblivious Heap.”10.1007/978-3-642-02930-1_47__Automata, Languages and Programming, 36th Internatilonal Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II, vol. 5556, Springer, 2009, pp. 571--582, doi:10.1007/978-3-642-02930-1_47.
LibreCat: /record/1929
DOI: 10.1007/978-3-642-02930-1_47

Jacob, Riko, et al. “A Self-Stabilizing and Local Delaunay Graph Construction.”10.1007/978-3-642-10631-6_78__Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings, vol. 5878, Springer, 2009, pp. 771--780, doi:10.1007/978-3-642-10631-6_78.
LibreCat: /record/1930
DOI: 10.1007/978-3-642-10631-6_78

Jacob, Riko, et al. “A Distributed Polylogarithmic Time Algorithm for Self-Stabilizing Skip Graphs.”10.1145/1582716.1582741__Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, PODC 2009, Calgary, Alberta, Canada, August 10-12, 2009, 2009, pp. 131--140, doi:10.1145/1582716.1582741.
LibreCat: /record/1932
DOI: 10.1145/1582716.1582741

Baumgart, Matthias, et al. “A DoS-Resilient Information System for Dynamic Data Management.”10.1145/1583991.1584064__SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, Calgary, Alberta, Canada, August 11-13, 2009, 2009, pp. 300--309, doi:10.1145/1583991.1584064.
LibreCat: /record/1933
DOI: 10.1145/1583991.1584064

Gall, Dominik, et al. “Brief Announcement: On the Time Complexity of Distributed Topological Self-Stabilization.”10.1007/978-3-642-05118-0_58__Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, vol. 5873, Springer, 2009, pp. 781--782, doi:10.1007/978-3-642-05118-0_58.
LibreCat: /record/1934
DOI: 10.1007/978-3-642-05118-0_58

Doerr, Benjamin, et al. “Stabilizing Consensus with the Power of Two Choices.”10.1145/1989493.1989516__Algorithmic Methods for Distributed Cooperative Systems, 06.09. - 11.09.2009, vol. 09371, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2009, doi:10.1145/1989493.1989516.
LibreCat: /record/1935
DOI: 10.1145/1989493.1989516

Woehrle, Matthias, et al. Rupeas: Ruby Powered Event Analysis DSL. 2009.
LibreCat: /record/2353

Briest, Patrick, et al. “On Stackelberg Pricing with Computationally Bounded Consumers.”10.1007/978-3-642-10841-9_6__Lecture Notes in Computer Science, 2009, doi:10.1007/978-3-642-10841-9_6.
LibreCat: /record/23744
DOI: 10.1007/978-3-642-10841-9_6

Laroque, Christoph, et al. “Concepts for Model Verification and Validation during Simulation Runtime.” European Simulation and Modelling Conference (ESM 2009), EUROSIS-ETI, 2009.
LibreCat: /record/18138

Volkhausen, Tobias, et al. “Improving Network Coded Cooperation by Soft Information.”10.1109/sahcnw.2009.5172938__2009 6th IEEE Annual Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks Workshops, IEEE, 2009, doi:10.1109/sahcnw.2009.5172938.
LibreCat: /record/1828
DOI: 10.1109/sahcnw.2009.5172938

Valentin, S., et al. “Combining for Cooperative WLANs - A Reality Check Based on Prototype Measurements.”10.1109/iccw.2009.5208050__2009 IEEE International Conference on Communications Workshops, IEEE, 2009, doi:10.1109/iccw.2009.5208050.
LibreCat: /record/1829
DOI: 10.1109/iccw.2009.5208050

Suess, Tim, et al. “Ein System Zur Aggregierten Visualisierung Verteilter Materialflusssimulationen.” Augmented &; Virtual Reality in Der Produktentstehung, vol. 252, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2009, pp. 111--126.
LibreCat: /record/18291

Biermann, Thorsten, et al. “Creating Butterflies in the Core – A Network Coding Extension for MPLS/RSVP-TE.”10.1007/978-3-642-01399-7_69__NETWORKING 2009, Springer Berlin Heidelberg, 2009, pp. 883–94, doi:10.1007/978-3-642-01399-7_69.
LibreCat: /record/1830
DOI: 10.1007/978-3-642-01399-7_69

Lichte, Hermann S., and Jannis Weide. “Modeling Obstacles in INET/Mobility Framework: Motivation, Integration, and Performance.”10.4108/icst.simutools2009.5680__Proceedings of the Second International ICST Conference on Simulation Tools and Techniques, ICST, 2009, doi:10.4108/icst.simutools2009.5680.
LibreCat: /record/1832
DOI: 10.4108/icst.simutools2009.5680

Ahlgren, Bengt, et al. “Design Considerations for a Network of Information.”10.1145/1544012.1544078__Proceedings of the 2008 ACM CoNEXT Conference on - CONEXT ’08, ACM Press, 2009, doi:10.1145/1544012.1544078.
LibreCat: /record/1833
DOI: 10.1145/1544012.1544078

Fischer, Matthias, et al. “Planar Visibility Counting.” Proc. 25th European Workshop on Computational Geometry, 2009, pp. 203–06.
LibreCat: /record/18346

Dumitrescu, Roman, et al. “Solution Patterns for the Development of Self-Optimizing Systems.” Self-x in Engineering, edited by Benjamin Klöpper and Wilhelm Dangelmaier, MV Verlag, 2009.
LibreCat: /record/22941

Domik, Gitta, and Riccardo Scateni. “Education Programme at Eurographics 2009.”10.1111/j.1467-8659.2009.01433.x__Computer Graphics Forum, vol. 28, 2009, pp. 1723–1724, doi:10.1111/j.1467-8659.2009.01433.x.
LibreCat: /record/21773
DOI: 10.1111/j.1467-8659.2009.01433.x

Fricke, Harald, et al. “Quantitative Myocardial Perfusion PET Combined with Coronary Anatomy Derived from CT Angiography: Validation of a New Fusion and Visualisation Software.”10.1016/j.zemedi.2009.05.005__Zeitschrift Für Medizinische Physik, vol. 19, no. 3, 2009, pp. 182–88, doi:10.1016/j.zemedi.2009.05.005.
LibreCat: /record/21774
DOI: 10.1016/j.zemedi.2009.05.005

Meixner, Gerrit, et al., editors. Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI’09), Sanibel Island (FL, USA). Vol. 439, 2009.
LibreCat: /record/7775

Engels, Gregor, et al., editors. Proceedings of Design for Future - 1. Workshop Des GI-Arbeitskreises “Langlebige Softwaresysteme (L2).” Vol. 537, Karlsruhe, 2009.
LibreCat: /record/7777

Gerth, Christian, et al. “Language-Independent Change Management of Process Models.”http://dx.doi.org/10.1007/978-3-642-04425-0_12__Proceedings of the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS’09). Denver (CO, USA), vol. 5795, Springer, 2009, pp. 152–66, doi:http://dx.doi.org/10.1007/978-3-642-04425-0_12.
LibreCat: /record/8009
DOI: http://dx.doi.org/10.1007/978-3-642-04425-0_12

Assmann, Martin, et al. “SOA-Business Case.” Transform IT: Optimale Geschäftsprozesse Durch Eine Transformierende IT, Gabler, 2009, pp. 97–126.
LibreCat: /record/8010

Baumann, Andrea, et al. “A Holistic Software Engineering Method for Service-Oriented Application Landscape Development.”http://dx.doi.org/10.1007/978-3-642-01859-6__Proceedings of the First NAF Academy Working Conference on Practice-Driven Research on Enterprise Transformation (PRET 2009), Amsterdam (The Netherlands), vol. 28, Springer, 2009, pp. 1–17, doi:http://dx.doi.org/10.1007/978-3-642-01859-6.
LibreCat: /record/8011
DOI: http://dx.doi.org/10.1007/978-3-642-01859-6

Meixner, Gerrit, et al. “Model Driven Development of Advanced User Interfaces 2009.”http://doi.acm.org/10.1145/1502650.1502737__Proceedings of the 2009 International Conference on Intelligent User Interfaces, ACM Press, 2009, pp. 503–04, doi:http://doi.acm.org/10.1145/1502650.1502737.
LibreCat: /record/8012
DOI: http://doi.acm.org/10.1145/1502650.1502737

Küster, Jochen, et al. “Dependent and Conflicting Change Operations of Process Models.”http://dx.doi.org/10.1007/978-3-642-02674-4_12__Proceedings of the 5th European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA’09), vol. 5562, Springer, 2009, pp. 158–73, doi:http://dx.doi.org/10.1007/978-3-642-02674-4_12.
LibreCat: /record/8013
DOI: http://dx.doi.org/10.1007/978-3-642-02674-4_12

Engels, Gregor, et al. “Sicherstellen Der Betrachtung von Nicht-Funktionalen Anforderungen in SCRUM-Prozessen Durch Etablierung von Feedback.” Informatik 2009 - Im Focus Das Leben, vol. 154, Gesellschaft für Informatik (GI), 2009, p. 458.
LibreCat: /record/8014

Salger, Frank, et al. “Integrated Specification and Quality Assurance for Large Business Information Systems.” Proceedings of the 2nd India Software Engineering Conference (ISEC’09), ACM Press, 2009, pp. 129–30.
LibreCat: /record/8015

Güldali, Baris, et al. “Model-Based System Testing Using Visual Contracts.” Proceedings of Euromicro SEAA Conference 2009, Special Session on “Model Driven Engineering,” IEEE Computer Society, 2009, pp. 121–24.
LibreCat: /record/8016

Mlynarski, Michael, and Marian Jureczko. “Zautomatyzowane Testy Akceptacyjne Dla Aplikacji Internetowych w Programowaniu Sterowanym Testami.” Proceedings of Krajowa Konferencja In?Ynierii Oprogramowania 2009, vol. 3, no. 11, Wydawnictwo Komunikacji if??czno?ci, 2009, pp. 294–305.
LibreCat: /record/8017

Schattkowsky, Tim, and Tao Xie. “A UML Framework for IP-XACT-Based IP Management.” Proceedings of the Conference on Design Automation and Test in Europe (DATE 2009), Nice (France), IEEE Computer Society, 2009, pp. 238–43.
LibreCat: /record/8018

Soltenborn, Christian, and Gregor Engels. “Towards Test-Driven Semantics Specification.”http://dx.doi.org/10.1007/978-3-642-04425-0_30__Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), Denver, Colorado (USA), vol. 5795, Springer, 2009, pp. 378–92, doi:http://dx.doi.org/10.1007/978-3-642-04425-0_30.
LibreCat: /record/8019
DOI: http://dx.doi.org/10.1007/978-3-642-04425-0_30

Engels, Gregor, et al. “Improving Reusability of Dynamic Meta Modeling Specifications with Rule Overriding.”http://dx.doi.org/10.1109/VLHCC.2009.5295302__Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon (USA), IEEE Computer Society, 2009, pp. 39–46, doi:http://dx.doi.org/10.1109/VLHCC.2009.5295302.
LibreCat: /record/8020
DOI: http://dx.doi.org/10.1109/VLHCC.2009.5295302

Güldali, Baris, et al. “Semi-Automated Test Planning for e-ID Systems by Using Requirements Clustering.”http://dx.doi.org/10.1109/ASE.2009.86__24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), 16-20 November 2009, Auckland, New Zeland, 2009, pp. 29–39, doi:http://dx.doi.org/10.1109/ASE.2009.86.
LibreCat: /record/8021
DOI: http://dx.doi.org/10.1109/ASE.2009.86

Assmann, Martin, et al. “Identifying Software Product Line Component Services.” Proceedings of International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 09), 2009, pp. 45–56.
LibreCat: /record/8022

Biermann, Thorsten, et al. “Flow Synchronization for Network Coding.”10.4304/jcm.4.11.873-884__Journal of Communications, no. 11, 2009, pp. 873--884, doi:10.4304/jcm.4.11.873-884.
LibreCat: /record/814
DOI: 10.4304/jcm.4.11.873-884