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.
5692 Publications
2010 | Conference Paper | LibreCat-ID: 3195
Schneider, Steve, et al. “A {CSP} Approach to Control in Event-B.” Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M{\’{e}}ry and Stephan Merz, 2010, pp. 260--274, doi:10.1007/978-3-642-16265-7_19.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3196
Dräger, Klaus, et al. “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems.” Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, edited by Javier Esparza and Rupak Majumdar, 2010, pp. 271--274, doi:10.1007/978-3-642-12002-2_22.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3198
Steenken, Dominik, et al. “Towards {A} Shape Analysis for Graph Transformation Systems.” CoRR, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 3810
Wachsmuth, Henning, et al. “Efficient Statement Identification for Automatic Market Forecasting.” Proceedings of the 23rd International Conference on Computational Linguistics (Coling 2010), 2010, pp. 1128–36.
LibreCat
| Download (ext.)
2010 | Book Chapter | LibreCat-ID: 2988
Ackermann, Marcel R., and Johannes Blömer. “Bregman Clustering for Separable Instances.” SWAT 2010, Springer Berlin Heidelberg, 2010, pp. 212–23, doi:10.1007/978-3-642-13731-0_21.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 2990
Ackermann, Marcel R., et al. “Clustering for Metric and Nonmetric Distance Measures.” ACM Trans. Algorithms, no. 4, 2010, pp. 59:1--59:26, doi:10.1145/1824777.1824779.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 2991
Krueger, Alexander, et al. “On the Initialization of Dynamic Models for Speech Features.” Proc. of ITG Fachtagung Sprachkommunikation. ITG, Bochum, Germany, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2993
Schrieb, Jonas. Efficient and Compact CCA Security from Partitioned IBKEM. 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 2994
Schäfer, Wilhelm, et al. “Engineering Self-Coordinating Software Intensive Systems.” Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research - FoSER ’10, ACM Press, 2010, doi:10.1145/1882362.1882428.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3139
Jager, Tibor, et al. “Generic Compilers for Authenticated Key Exchange.” Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings, 2010, pp. 232--249, doi:10.1007/978-3-642-17373-8_14.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3140
Jager, Tibor, and Andy Rupp. “The Semi-Generic Group Model and Applications to Pairing-Based Cryptography.” Advances in Cryptology - ASIACRYPT 2010 - 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings, 2010, pp. 539--556, doi:10.1007/978-3-642-17373-8_31.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3141
Haralambiev, Kristiyan, et al. “Simple and Efficient Public-Key Encryption from Computational Diffie-Hellman in the Standard Model.” Public Key Cryptography - PKC 2010, 13th International Conference on Practice and Theory in Public Key Cryptography, Paris, France, May 26-28, 2010. Proceedings, 2010, pp. 1--18, doi:10.1007/978-3-642-13013-7_1.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3189
Derrick, John, and Heike Wehrheim. “Model Transformations across Views.” Sci. Comput. Program., no. 3, 2010, pp. 192--210, doi:10.1016/j.scico.2009.11.004.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3191
Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic {UML}.” Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, edited by Gregor Engels et al., 2010, pp. 533--554, doi:10.1007/978-3-642-17322-6_23.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3193
Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.” Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, edited by Jin Song Dong and Huibiao Zhu, 2010, pp. 534--548, doi:10.1007/978-3-642-16901-4_35.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3194
Hülsbusch, Mathias, et al. “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques.” Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M{\’{e}}ry and Stephan Merz, 2010, pp. 183--198, doi:10.1007/978-3-642-16265-7_14.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 27159
Samara, Sufyan, and Gunnar Schomaker. “Real-Time Adaptation and Load Balancing Aware OS Services for Distributed Reconfigurable System on Chip.” 2010 10th IEEE International Conference on Computer and Information Technology, 2010, doi:10.1109/cit.2010.304.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 20934
von Detten, Markus, et al. “Reverse Engineering with the Reclipse Tool Suite.” Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, vol. 2, ACM Press, 2010, pp. 299–300.
LibreCat
2010 | Report | LibreCat-ID: 20935
von Detten, Markus, et al. Reclipse - A Reverse Engineering Tool Suite. 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20936
Löffler, Renate, et al. “Formal Scenario-Based Requirements Specification and Test Case Generation in Healthcare Applications.” Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, ACM, 2010, pp. 57–67.
LibreCat
2010 | Book Chapter | LibreCat-ID: 20961
Seebach, Hella, et al. “Designing Self-Healing in Automotive Systems.” Lecture Notes in Computer Science, 2010, doi:10.1007/978-3-642-16576-4_4.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 20962
Holtmann, Jörg. “Mit Satzmustern von Textuellen Anforderungen Zu Modellen.” OBJEKTspektrum, no. RE/2010, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 20963
Meyer, Jan, et al. “Eine Erweiterte Systemmodellierung Zur Entwicklung von Softwareintensiven Anwendungen in Der Automobilindustrie.” Software Engineering 2010 – Workshopband (Inkl. Doktorandensymposium), vol. P-160, Bonner Koellen Verlag, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 17422
Fischer, Matthias, et al. “Automated 3D-Motion Planning for Ramps and Stairs in Intra-Logistics Material Flow Simulations.” Proceedings of the 2010 Winter Simulation Conference, 2010, doi:10.1109/wsc.2010.5678906.
LibreCat
| DOI
2010 | Report | LibreCat-ID: 17462
Gehweiler, Joachim, et al. A Large-Scale Distributed Environment for Peer-to-Peer Services. Heinz Nixdorf Institut, 2010.
LibreCat
| Files available
2010 | Report | LibreCat-ID: 17464
Blesa, Maria J., et al. Adapting a Sensor Net to the Dynamic Environment in a Wildlife Scenario - a Case Study. 2010.
LibreCat
| Files available
2010 | Preprint | LibreCat-ID: 17586
Brandes, Philipp, et al. Building Short Chains of Mobile Robots Locally with a Bounded Stepwidth. 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 17665
Bar-Yehuda, Reuven, et al. “Bandwidth Allocation in Cellular Networks with Multiple Interferences.” DIALM-PODC, 2010, pp. 33–42.
LibreCat
2010 | Book Chapter | LibreCat-ID: 18761
Hamann, Heiko, et al. “Hormone-Based Control for Multi-Modular Robotics.” Symbiotic Multi-Robot Organisms: Reliability, Adaptability, Evolution, Springer, 2010, pp. 240--263.
LibreCat
2010 | Dissertation | LibreCat-ID: 18910
Bienkowski, Marcin. Page Migration in Dynamic Networks. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Dissertation | LibreCat-ID: 18927
Dynia, Miroslaw. Collective Graph Exploration. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Journal Article | LibreCat-ID: 19011
Degener, Bastian, et al. “Kinetic Facility Location.” Algorithmica, vol. 57, no. 3, 2010, pp. 562–84, doi:10.1007/s00453-008-9250-7.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19013
Gehweiler, Joachim, and Henning Meyerhenke. “A Distributed Diffusive Heuristic for Clustering a Virtual P2P Supercomputer.” Proceeedings of 24th International Parallel and Distributed Processing Symposium (IPDPS, HPGC), 2010, doi:10.1109/ipdpsw.2010.5470922.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19016
Gehweiler, Joachim, and Henning Meyerhenke. “On Dynamic Graph Partitioning and Graph Clustering Using Diffusion.” Dagstuhl Seminar Proceedings 10261: Algorithm Engineering, 2010.
LibreCat
| Files available
2010 | Report | LibreCat-ID: 19018
Thies, Michael, and Joachim Gehweiler. Thread Migration and Checkpointing in Java. 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 19023
Kernbach, Serge, et al. “Adaptive Action Selection Mechanisms for Evolutionary Multimodular Robotics.” Artificial Life XII (ALife XII), MIT Press, 2010, pp. 781–88.
LibreCat
2010 | Conference Paper | LibreCat-ID: 19029
Briest, Patrick, et al. “Improved Hardness of Approximation for Stackelberg Shortest-Path Pricing.” Workshop on Internet and Network Economics (WINE), 2010, doi:10.1007/978-3-642-17572-5_37.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 1903
Meyer auf der Heide, Friedhelm, and Christian Scheideler. “Algorithmische Grundlagen Verteilter Speichersysteme.” Informatik Spektrum, no. 5, 2010, pp. 468--474, doi:10.1007/s00287-010-0470-2.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 19033
Briest, Patrick, et al. “Pricing Randomized Allocations.” Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, 2010, doi:10.1137/1.9781611973075.49.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 1904
Gavoille, Cyril, et al. “Foreword.” Theory of Computing Systems, no. 4, 2010, pp. 809--810, doi:10.1007/s00224-010-9284-5.
LibreCat
| DOI
2010 | Dissertation | LibreCat-ID: 19041
Mahlmann, Peter. Peer-to-Peer Networks Based on Random Graphs. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Dissertation | LibreCat-ID: 19042
Degener, Bastian. Local, Distributed Approximation Algorithms for Geometric Assignment Problems. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 1905
Gall, Dominik, et al. “Time Complexity of Distributed Topological Self-Stabilization: The Case of Graph Linearization.” LATIN 2010: Theoretical Informatics, 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings, vol. 6034, Springer, 2010, pp. 294--305, doi:10.1007/978-3-642-12200-2_27.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1906
Richa, Andrea W., et al. “Brief Announcement: Towards Robust Medium Access in Multi-Hop Networks.” Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, ACM, 2010, pp. 114--115, doi:10.1145/1835698.1835726.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1907
Richa, Andrea W., et al. “A Jamming-Resistant MAC Protocol for Multi-Hop Wireless Networks.” Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings, vol. 6343, Springer, 2010, pp. 179--193, doi:10.1007/978-3-642-15763-9_17.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1908
Doerr, Benjamin, et al. “Brief Announcement: Stabilizing Consensus with the Power of Two Choices.” Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings, vol. 6343, Springer, 2010, pp. 528--530, doi:10.1007/978-3-642-15763-9_50.
LibreCat
| DOI
2010 | Conference (Editor) | LibreCat-ID: 1909
Scheideler, Christian, editor. Algorithms for Sensor Systems - 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers. 2010, doi:10.1007/978-3-642-16988-5.
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 1915
Savorić, Michael, et al. “Selected Properties of a Joint Congestion Controller for TCP Connections.” Providing Quality of Service in Heterogeneous Environments, Proceedings of the 18th International Teletraffic Congress - ITC-18, Elsevier, 2010, pp. 861–70, doi:10.1016/s1388-3437(03)80235-4.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1916
Karl, Holger, and S. MENGESHA. “ANALYSING CAPACITY IMPROVEMENTS IN WIRELESS NETWORKS BY RELAYING.” Wireless LANs and Home Networks, WORLD SCIENTIFIC, 2010, doi:10.1142/9789812799562_0031.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1810
Oberthür, Simon, et al. “Flexible Resource Management for Self-X Systems: An Evaluation.” 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, IEEE, 2010, doi:10.1109/isorcw.2010.30.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 1811
Dannewitz, Christian, et al. “Secure Naming for a Network of Information.” 2010 INFOCOM IEEE Conference on Computer Communications Workshops, IEEE, 2010, doi:10.1109/infcomw.2010.5466661.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 18136
Fischer, Matthias, et al. “Asynchronous Parallel Reliefboard Computation for Scene Object Approximation.” Eurographics Symposium on Parallel Graphics and Visualization (EGPGV), The Eurographics Association, 2010, pp. 43–51, doi:10.2312/EGPGV/EGPGV10/043-051.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 18289
Suess, Tim, et al. “Evaluation of a C-Load-Collision-Protocol for Load-Balancing in Interactive Environments.” 2010 IEEE Fifth International Conference on Networking, Architecture, and Storage, 2010, pp. 448–56, doi:10.1109/nas.2010.52.
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 18290
Suess, Tim, et al. “Gewichtetes C-Collision-Protokoll Zur Balancierung Eines Parallelen Out-of-Core-Renderingsystems.” Augmented & Virtual Reality in Der Produktentstehung, 2010, pp. 39–52.
LibreCat
2010 | Journal Article | LibreCat-ID: 1831
Valentin, Stefan, and Holger Karl. “Cooperative Feedback to Improve Capacity and Error Rate in Multiuser Diversity Systems - an OFDM Case Study.” European Transactions on Telecommunications, vol. 21, no. 8, Wiley-Blackwell, 2010, pp. 714–24, doi:10.1002/ett.1454.
LibreCat
| DOI
2010 | Book Chapter | LibreCat-ID: 22940
Gausemeier, Jürgen, et al. “Integrative Konzipierung von MID-Produkt und MID-Produktionssystem.” Frühzeitige Zuverlässigkeitsanalyse mechatronischer Systeme, edited by Jürgen Gausemeier, Carl Hanser Verlag, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 21771
Domik, Gitta, and Gerhard Fischer. “Coping with Complex Real-World Problems: Strategies for Developing the Competency of Transdisciplinary Collaboration.” Key Competencies in the Knowledge Society, edited by Nicholas Reynolds and Màrta Turcsànyi-Szabò, Springer Berlin Heidelberg, 2010, pp. 90–101, doi:10.1007/978-3-642-15378-5_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 21772
Arens, Stephan, and Gitta Domik. “A Survey of Transfer Functions Suitable for Volume Rendering.” IEEE/ EG Symposium on Volume Graphics, edited by Ruediger Westermann and Gordon Kindlmann, The Eurographics Association, 2010, pp. 77–83, doi:10.2312/VG/VG10/077-083.
LibreCat
| DOI
2010 | Conference (Editor) | LibreCat-ID: 7770
Engels, Gregor, et al., editors. Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday. Vol. 5765, Springer, 2010, doi:http://dx.doi.org/10.1007/978-3-642-17322-6.
LibreCat
| DOI
2010 | Conference (Editor) | LibreCat-ID: 7771
Engels, Gregor, et al., editors. Software Engineering 2010 - Workshop Proceedings (Inkl. Doktoranden Symposium), Paderborn (Germany). Vol. P-160, Gesellschaft für Informatik (GI), 2010.
LibreCat
2010 | Conference (Editor) | LibreCat-ID: 7772
Engels, Gregor, et al., editors. Software Engineering 2010 - Proceedings, Paderborn (Germany). Vol. P-159, Gesellschaft für Informatik (GI), 2010.
LibreCat
2010 | Conference (Editor) | LibreCat-ID: 7773
Engels, Gregor, et al., editors. Modellierung 2010, Klagenfurt (Österreich). Vol. P-161, Gesellschaft für Informatik (GI), 2010.
LibreCat
2010 | Conference (Editor) | LibreCat-ID: 7774
Van den Bergh, Jan, et al., editors. Proceedings of the 5th International Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010): Bridging between User Experience and UI Engineering. Vol. 617, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8023
Mlynarski, Michael. “Holistic Model-Based Testing for Business Information Systems.” Proceedings of 3rd International Conference on Software Testing, Verification and Validation, IEEE Computer Society, 2010, pp. 327–30.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8024
Christ, Fabian, et al. “A Generic Meta-Model-Based Approach for Specifying Framework Functionality and Usage.” Proceedings of the 48th International Conference on Objects, Models, Components and Patterns (TOOLS’10), Málaga (Spain), vol. 6141, Springer, 2010, pp. 21–40, doi:http://dx.doi.org/10.1007/978-3-642-13953-6_2.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 8025
Engels, Gregor, et al. “Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl.” Graph Transformations and Model-Driven Engineering, vol. 5765, Springer, 2010, pp. 1–5.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8026
Engels, Gregor, and Frank Salger. “Knowledge Transfer in Global Software Development - Leveraging Acceptance Test Case Specifications.” In Proceedings of the ACM/IEEE 32nd International Conference on Software Engineering (ICSE), New Ideas and Emergent Results Program, May 2010, Cape Town (South Africa), ACM New York, NY, USA, 2010, pp. 211–14.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8027
Gimnich, Rainer, et al. Proceedings 12. Workshop Software-Reengineering (WSR) & 2. Workshop Design for Future 2010 (DFF). Edited by Ernst-Erich Doberkat and Uwe Kelter, vol. 30, no. 2, 2010, pp. 28–85.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8028
Gerth, Christian, et al. “Precise Detection of Conflicting Change Operations Using Process Model Terms.” Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS’10), vol. 6395, no. Part II, Springer, 2010, pp. 93–107, doi:http://dx.doi.org/10.1007/978-3-642-16129-2_8.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 8029
Gerth, Christian, et al. “Detection of Semantically Equivalent Fragments for Business Process Model Change Management.” Proceedings of the IEEE 7th International Conference on Services Computing (SCC’10), IEEE Computer Society, 2010, pp. 57–64, doi:http://dx.doi.org/10.1109/SCC.2010.38.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 8030
Heinemann, Marianne, et al. “Enriching RUP with Key Success Factors for Large-Scale Custom Software Development Projects.” Software & Systems Engineering Essentials (SEE) 2010, Technische Universität München, 2010, pp. 37–56.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8031
Heinemann, Marianne, and Gregor Engels. “Auswahl Projektspezifischer Vorgehensstrategien.” Integration von Vorgehensmodellen Und Projektmanagement, Shaker Verlag, 2010, pp. 132–42.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8032
Huck, Wilfried, et al. “Computergestützte Traumatherapeutische Behandlungsmöglichkeiten Bei Verkehrsunfallopfern von Kinder Und Jugendlichen.” 12. Jahrestagung Der Deutschsprachigen Gesellschaft Für Psychotraumatologie (DeGPT), 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8033
Küster, Jochen, et al. “Dynamic Computation of Change Operations in Version Management of Business Process Models.” Proceedings of the 6th European Conference on Modelling Foundations and Applications (ECMFA’10), vol. 6138, Springer, 2010, pp. 201–16, doi:http://dx.doi.org/10.1007/978-3-642-13595-8_17.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 8034
Engels, Gregor, and Stefan Sauer. “A Meta-Method for Defining Software Engineering Methods.” Graph Transformations and Model-Driven Engineering, edited by Gregor Engels et al., vol. 5765, Springer, 2010, pp. 411–40, doi:https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-642-17322-6_18.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 8035
Sancar, Yavuz, and Claudia Schumacher. “Erweiterung Des TPI-Modells Zur Reifegradbewertung Unter Berücksichtigung von Projekteigenen Anforderungen.” Proceedings of the Conference on Software & Systems Engineering Essentials 2010 (SEE 2010), Köln (Germany), Technische Universität München, 2010, pp. 299–314.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8037
Salger, Frank, et al. “Assessments in Global Software Development: A Tailorable Framework for Industrial Projects.” Proceedings ACM/IEEE 32nd International Conference on Software Engineering, Software Engineering in Practice Track, Cape Town, South Africa (ICSE’10), vol. 2, ACM New York, NY, USA, 2010, pp. 29–38, doi:http://doi.acm.org/10.1145/1810295.1810301.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 8038
Chambers, Chris, et al. “SheetDiff: A Tool for Identifying Changes in Spreadsheets.” Proceedings of the 26th IEEE Symposium on Visual Languages and Human-Centric Computing 2010 (VL/HCC 2010), IEEE Computer Society, 2010, pp. 85–92.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8039
Van den Bergh, Jan, et al. “Model-Driven Development of Advanced User Interfaces.” Proc. 28th International Conference on Human Factors in Computing Systems (CHI 2010), ACM, 2010, pp. 4429–32.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8040
Güldali, Baris, and Stefan Sauer. “Transfer of Testing Research from University to Industry: An Experience Report.” Online Proc. of International TestIstanbul Conference 2010 (URL: Www.Testistanbul.Org/Presentations.Html), Turkish Testing Board, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8041
von der Maßen, Thomas, and Andreas Wübbeke. “Verteiltes Testen Heterogener Systemlandschaften.” Proceedings of Software Engineering 2010 (SE2010), vol. P-159, Gesellschaft für Informatik (GI), 2010, pp. 17–18.
LibreCat
2010 | Journal Article | LibreCat-ID: 805
Valentin, Stefan, and Holger Karl. “Cooperative Feedback to Improve Capacity and Error Rate in Multiuser Diversity Systems - an OFDM Case Study.” European Transactions on Telecommunications, no. 8, 2010, pp. 714--724, doi:10.1002/ett.1454.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 806
S. Lichte, Hermann, et al. “Expected Interference in Wireless Networks with Geometric Path Loss: A Closed-Form Approximation.” IEEE Communications Letters, no. 2, 2010, pp. 130--132, doi:10.1109/LCOMM.2010.02.091863.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 807
Simon Lichte, Hermann, et al. “Automated Development of Cooperative MAC Protocols - A Compiler-Assisted Approach.” Mobile Networks and Applications, no. 6, 2010, pp. 769--785, doi:10.1007/s11036-009-0210-5.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 808
Andree, Matthias, et al. “Concept and Prototype for a Real-Time Enabled Publish/Subscribe System.” 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010, 2010, pp. 737--742, doi:10.1109/CIT.2010.142.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 809
Birkenheuer, Georg, et al. “Risk Aware Overbooking for Commercial Grids.” Job Scheduling Strategies for Parallel Processing - 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers, 2010, pp. 51–76, doi:10.1007/978-3-642-16505-4_4.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 810
S. Lichte, Hermann, et al. “Fading-Resistant Low-Latency Broadcasts in Wireless Multihop Networks: The Probabilistic Cooperation Diversity Approach.” Proceedings of the 11th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2010, Chicago, IL, USA, September 20-24, 2010, 2010, pp. 101--110, doi:10.1145/1860093.1860108.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 811
Biermann, Thorsten, et al. “FIT: Future Internet Toolbox.” Testbeds and Research Infrastructures. Development of Networks and Communities - 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers, 2010, pp. 442--453, doi:10.1007/978-3-642-17851-1_34.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 812
Dannewitz, Christian, et al. “Prototyping with the Future Internet Toolbox.” Testbeds and Research Infrastructures. Development of Networks and Communities - 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers, 2010, pp. 609--611, doi:10.1007/978-3-642-17851-1_56.
LibreCat
| DOI
2010 | Report | LibreCat-ID: 8219
Gerth, Christian, et al. Detection of Semantically Equivalent Fragments for Business Process Model Change Management. IBM Research, 2010.
LibreCat
2010 | Report | LibreCat-ID: 8220
Hülsbusch, Mathias, et al. Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques. Centre for Telematics and Information Technology of the University of Twente, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 5756
Brüseke, Frank, et al. “Erfolgsfaktoren von Testprozessbewertungsmodellen.” Proceedings of the Conference on Software & Systems Engineering Essentials 2010 (SEE 2010), Köln (Germany), Technische Universität München, 2010, pp. 277–98.
LibreCat
2010 | Journal Article | LibreCat-ID: 7356
Löffler, Renate, et al. “Towards Model-Based Acceptance Testing for Scrum.” Softwaretechnik-Trends, vol. 30, no. 3, 2010, pp. 9–12.
LibreCat
2010 | Journal Article | LibreCat-ID: 7357
Güldali, Baris, et al. “Starthilfe Für Modellbasiertes Testen.” OBJEKTspektrum, no. 3, 2010, pp. 63–69.
LibreCat
2010 | Journal Article | LibreCat-ID: 7358
Beulen, Dominik, et al. “Tabellarischer Vergleich Der Prozessmodelle Für Modellbasiertes Testen Aus Managementsicht.” Softwaretechnik-Trends, vol. 30, no. 2, 2010, pp. 6–9.
LibreCat
2010 | Journal Article | LibreCat-ID: 7359
Späth, Melanie, and Michael Mlynarski. “Agiles Testen in Großprojekten Mit TDD Und Testaspekten: Beobachtungen Und Erste Erfahrungen.” Softwaretechnik-Trends, vol. 30, 2010.
LibreCat
| Download (ext.)
2010 | Journal Article | LibreCat-ID: 7364
Jureczko, Marian, and Michael Mlynarski. “Automated Acceptance Testing Tools for Web Applications Using Test-Driven Development.” Electrical Review, vol. 86, 2010, pp. 198–202.
LibreCat
2010 | Book Chapter | LibreCat-ID: 7556
Oster, Sebastian, et al. “Model-Based Software Product Lines Testing Survey.” Model-Based Testing For Embedded Systems, edited by P. Mosterman, I. Schieferdecker, J. Zander , CRC Press, 2010, pp. 339–81.
LibreCat
2010 | Dissertation | LibreCat-ID: 7573
Wübbeke, Andreas. Variabilitätsmanagement in Anforderungs- Und Testfallspezifikation Für Software-Produktlinien. 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 8437
Engels, Gregor, and Christian Soltenborn. “Test-Driven Language Derivation with Graph Transformation-Based Dynamic Meta Modeling.” Proceedings of the International Colloquium on Graph and Model Transformation (GraMoT 2010), Berlin (Germany), vol. 30, European Association of Software Science and Technology, 2010, pp. 240–57.
LibreCat