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.
5710 Publications
2009 | Journal Article | LibreCat-ID: 46417
Trautmann H, Mehnen J. Preference-based Pareto optimization in certain and noisy environments. Engineering Optimization. 2009;41(1):23-38. doi:10.1080/03052150802347926
LibreCat
| DOI
2008 | Report | LibreCat-ID: 2513
Biermann T, Dannewitz C, Karl H. Extended Results on an Adaptive Resource/Performance Trade-Off for Resolving Complex Queries in P2P Networks.; 2008.
LibreCat
| Files available
2008 | Dissertation | LibreCat-ID: 19615
Schomaker G. Distributed Resource Allocation and Management in Heterogeneous Networks. Vol 259. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2008.
LibreCat
| Files available
2008 | Conference Paper | LibreCat-ID: 19686
Briest P. Uniform Budgets and the Envy-Free Pricing Problem. In: Proceedings of the 35th InternationalColloquium on Automata, Languages and Programming (ICALP). ; 2008. doi:10.1007/978-3-540-70575-8_66
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19687
Briest P, Krysta P, Babaioff M. On the Approximability of Combinatorial Exchange Problems. In: Proceedings of the 1st International Symposium on Algorithmic Game Theory (SAGT). Cham; 2008. doi:https://doi.org/10.1007/978-3-540-79309-0_9
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19812
Schindelhauer C, Mahlmann P. Random Graphs for Peer-to-Peer Overlays. In: The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS), Proceedings of the Final Workshop. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2008:1-22.
LibreCat
2008 | Conference Paper | LibreCat-ID: 19813
Ooi CC, Schindelhauer C. Detours Save Energy in Mobile Wireless Networks. In: MWCN’08: Proc. of IFIP Joint Conference on Mobile Wireless Communications Networks (MWCN 2008) and Personal Wireless Communications (PWC 2008). Springer; 2008. doi:10.1007/978-0-387-84839-6_6
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19832
Ooi CC, Schindelhauer C. Energy-Efficient Distributed Target Tracking Using Wireless Relay Robots. In: ARS’08: Proc. of the 9th International Symposium on Distributed Autonomous Robotic Systems (DARS 2008). ; 2008. doi:10.1007/978-3-642-00644-9_4
LibreCat
| DOI
2008 | Mastersthesis | LibreCat-ID: 19950
Pietrzyk P. Lokale Strategien Zur Optimierung von Kommunikationsketten.; 2008.
LibreCat
| Files available
2008 | Dissertation | LibreCat-ID: 20262
Hamann H. Space-Time Continuous Models of Swarm Robotic Systems.; 2008. doi:10.1007/978-3-642-13377-0
LibreCat
| DOI
2008 | Preprint | LibreCat-ID: 26235
Ziegler M, Koolen WM. Kolmogorov Complexity Theory over the Reals. arXiv:08022027. Published online 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 26243
Köhler S, Ziegler M. On the Stability of Fast Polynomial Arithmetic. In: Proc. 8th Conference on Real Numbers and Computers. ; 2008:147-156.
LibreCat
2008 | Book Chapter | LibreCat-ID: 26262
Ziegler M. A Meta-Theory of Physics and Computation. In: Verhandlungen Der Deutschen Physikalischen Gesellschaft. Deutsche Physikalische Gesellschaft (DPG); 2008:145.
LibreCat
2008 | Journal Article | LibreCat-ID: 26280
Meer K, Ziegler M. An explicit solution to Post’s Problem over the reals. Journal of Complexity. Published online 2008:3-15. doi:10.1016/j.jco.2006.09.004
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3203
Wehrheim H. Refinement in the Presence of Unknowns. Electr Notes Theor Comput Sci. 2008:255--264. doi:10.1016/j.entcs.2008.02.023
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3204
Estler H.-}Christian, Wehrheim H. Alloy as a Refactoring Checker? Electr Notes Theor Comput Sci. 2008:331--357. doi:10.1016/j.entcs.2008.06.015
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3205
Möller M, Olderog E-R, Rasch H, Wehrheim H. Integrating a formal method into a software engineering process with {UML} and Java. Formal Asp Comput. 2008;(2):161--204. doi:10.1007/s00165-007-0042-7
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3206
Brückner I, Dräger K, Finkbeiner B, Wehrheim H. Slicing Abstractions. Fundam Inform. 2008;(4):369--392.
LibreCat
2008 | Conference Paper | LibreCat-ID: 3207
Engels G, Kleppe A, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In: Schieferdecker I, Hartman A, eds. Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:94--109. doi:10.1007/978-3-540-69100-6_7
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3208
Derrick J, Schellhorn G, Wehrheim H. Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In: Barthe G, S. de Boer F, eds. Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings. Lecture Notes in Computer Science. ; 2008:78--95. doi:10.1007/978-3-540-68863-1_6
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3209
Metzler B, Wehrheim H, Wonisch D. Decomposition for Compositional Verification. In: Liu S, S. E. Maibaum T, Araki K, eds. Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:105--125. doi:10.1007/978-3-540-88194-0_9
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3210
Wehrheim H. Bounded Model Checking for Partial Kripke Structures. In: S. Fitzgerald J, Elisabeth Haxthausen A, Yenig{\"{u}}n H, eds. Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:380--394. doi:10.1007/978-3-540-85762-4_26
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3001
Stern C, Adelt P, Krummel V, Ackermann MR. Reliable Evidence of Data Integrity from an Untrusted Storage Service. In: Fourth International Conference on Networking and Services (Icns 2008). IEEE; 2008. doi:10.1109/icns.2008.28
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3143
Gajek S, Jager T, Manulis M, Schwenk J. A Browser-Based Kerberos Authentication Scheme. In: Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings. ; 2008:115--129. doi:10.1007/978-3-540-88313-5_8
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3144
Altmann K, Jager T, Rupp A. On Black-Box Ring Extraction and Integer Factorization. In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations. ; 2008:437--448. doi:10.1007/978-3-540-70583-3_36
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3145
Jager T, Schwenk J. On the Equivalence of Generic Group Models. In: Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings. ; 2008:200--209. doi:10.1007/978-3-540-88733-1_14
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3146
Jager T, Jäkel H, Schwenk J. Nutzung von selbstsignierten Client-Zertifikaten zur Authentifikation bei SSL/TLS. In: Sicherheit 2008: Sicherheit, Schutz Und Zuverlässigkeit. Konferenzband Der 4. Jahrestagung Des Fachbereichs Sicherheit Der Gesellschaft Für Informatik e.V. (GI), 2.-4. April 2008 Im Saarbrücker Schloss. ; 2008:127--136.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20938
Tichy M, Henkler S, Meyer M, von Detten M. Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse. In: Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany. ; 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20957
Kindler E, Schmelter D. Aspect-oriented modelling from a different angle. In: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08. ; 2008. doi:10.1145/1404920.1404922
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 20964
Holtmann J, Tichy M. Component Story Diagrams in Fujaba4Eclipse. In: Proc. of the 6th International Fujaba Days 2008, Dresden, Germany. ; 2008:44-47.
LibreCat
2008 | Mastersthesis | LibreCat-ID: 20965
Holtmann J. Graphtransformationen Für Komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn; 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20966
Tichy M, Henkler S, Holtmann J, Oberthür S. Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems. In: Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany. Vol 236. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut; 2008:27-38.
LibreCat
2008 | Mastersthesis | LibreCat-ID: 20968
Holtmann J. Graphtransformationen Für Komponentenbasierte Softwarearchitekturen. Software Engineering Group, University of Paderborn; 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 17416
Suess T, Huber D, Fischer M, Laroque C, Dangelmaier W. A System for Aggregated Visualization of Multiple Parallel Discrete Event Simulations. In: IEEE International Symposium on Parallel and Distributed Processing with Applications. ; 2008. doi:10.1109/ispa.2008.30
LibreCat
| DOI
2008 | Book | LibreCat-ID: 17566
Meyer auf der Heide F. The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS). Vol 222. Paderborn: Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn; 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 17868
Dangelmaier W, Fischer M, Huber D, Laroque C, Suess T. Aggregated 3D-visualization of a distributed simulation experiment of a queuing system. In: 2008 Winter Simulation Conference. ; 2008:2012-2020. doi:10.1109/wsc.2008.4736296
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19003
Degener B, Gehweiler J, Lammersen C. The Kinetic Facility Location Problem. In: Proceedings of the 11th Scandinavian Workshop on Algorithm Theory (SWAT). ; 2008:378-389. doi:10.1007/978-3-540-69903-3_34
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 19004
Gehweiler J, Lammersen C, Degener B. The Kinetic Facility Location Problem. In: Proceedings of the 24th European Workshop on Computational Geometry. ; 2008:251-254.
LibreCat
2008 | Conference Paper | LibreCat-ID: 1926
Scheideler C, W. Richa A, Santi P. An O(log n) dominating set protocol for wireless ad-hoc networks under the physical interference model. In: Proceedings of the 9th {ACM} Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2008, Hong Kong, China, May 26-30, 2008. ACM; 2008:91--100. doi:10.1145/1374618.1374632
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 1937
Scheideler C. Algorithms for Overlay Networks. Bulletin of the EATCS. 2008:130--152.
LibreCat
2008 | Conference Paper | LibreCat-ID: 1938
Awerbuch B, W. Richa A, Scheideler C. A jamming-resistant MAC protocol for single-hop wireless networks. In: Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, PODC 2008, Toronto, Canada, August 18-21, 2008. ACM; 2008:45--54. doi:10.1145/1400751.1400759
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 1940 | 
Mense M, Scheideler C. SPREAD: an adaptive scheme for redundant and fair storage in dynamic heterogeneous storage systems. In: Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2008, San Francisco, California, USA, January 20-22, 2008. SIAM; 2008:1135--1144.
LibreCat
| Files available
2008 | Conference Paper | LibreCat-ID: 1941
Clouser T, Nesterenko M, Scheideler C. Tiara: A Self-stabilizing Deterministic Skip List. In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings. Vol 5340. Lecture Notes in Computer Science. Springer; 2008:124--140. doi:10.1007/978-3-540-89335-6_12
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 1942
Scheideler C. Broadcasting: Wie verbreite ich schnell Informationen? In: Taschenbuch Der Algorithmen. eXamen.press. Springer; 2008:229--236. doi:10.1007/978-3-540-76394-9_22
LibreCat
| DOI
2008 | Conference (Editor) | LibreCat-ID: 1943
Hegering H-G, Lehmann A, Jürgen Ohlbach H, Scheideler C, eds. INFORMATIK 2008, Beherrschbare Systeme - Dank Informatik, Band 1, Beiträge Der 38. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), 8. - 13. September, in München, Deutschland. Vol 133.; 2008.
LibreCat
2008 | Book | LibreCat-ID: 1945
Vöcking B, Alt H, Dietzfelbinger M, et al. Taschenbuch Der Algorithmen.; 2008.
LibreCat
| Download (ext.)
2008 | Conference Paper | LibreCat-ID: 2356
Brinkmann A, Gudenkauf S, Hasselbring W, et al. Employing WS-BPEL Design Patterns for Grid Service Orchestration using a Standard WS-BPEL Engine and a Grid Middleware. In: Proc. Cracow Grid Workshop (CGW). ; 2008:103-110.
LibreCat
2008 | Conference Paper | LibreCat-ID: 2358
Beisel T, Lietsch S, Thielemans K. A method for OSEM PET reconstruction on parallel architectures using STIR. In: IEEE Nuclear Science Symposium Conference Record (NSS). IEEE; 2008:4161-4168. doi:10.1109/NSSMIC.2008.4774198
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 2365
Platzner M, Döhre S, Happe M, et al. The GOmputer: Accelerating GO with FPGAs. In: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press; 2008:245-251.
LibreCat
2008 | Conference (Editor) | LibreCat-ID: 2376
Brinkmann A, Karl H, eds. Proceedings of the 1. GI/ITG KuVS Fachgespräch Virtualisierung. Paderborn Center for Parallel Computing, Paderborn University; 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 20367
Hamann H, Wörn H. Aggregating Robots Compute: An Adaptive Heuristic for the Euclidean Steiner Tree Problem. In: The Tenth International Conference on Simulation of Adaptive Behavior (SAB’08). Vol 5040. ; 2008:447--456. doi:10.1007/978-3-540-69134-1_44
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 20368
Hamann H, Schmickl T, Wörn H, Crailsheim K. Spatial Macroscopic Models of a Bio-Inspired Robotic Swarm Algorithm. In: IEEE/RSJ 2008 International Conference on Intelligent Robots and Systems (IROS’08). IEEE Press; 2008:1415--1420. doi:10.1109/IROS.2008.4651038
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 20369
Hamann H, Wörn H. A framework of space–time continuous models for algorithm design in swarm robotics. Swarm Intelligence. 2008;2(2-4):209-239. doi:10.1007/s11721-008-0015-3
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 20711
Monien B, Lorenz U, Warner D. Der Alphabeta-Algorithmus für Spielbäume: Wie bringe ich meinen Computer zum Schachspielen? In: Taschenbuch Der Algorithmen. Berlin, Heidelberg; 2008. doi:10.1007/978-3-540-76394-9_28
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 17978
Lürwer-Brüggemeier K, Ziegler M. On Faster Integer Calculations Using Non-arithmetic Primitives. In: Unconventional Computing. Berlin, Heidelberg; 2008. doi:10.1007/978-3-540-85194-3_11
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 18139
Laroque C, Fischer M, Dangelmaier W, Eikel B. Dynamic Control of Animation Schemes for the Efficient 3D-Visualization of Material Flow Simulations. In: Industrial Simulation Conference (ISC 2008). EUROSIS-ETI; 2008:306-310.
LibreCat
2008 | Conference Paper | LibreCat-ID: 18141
Laroque C, Fischer M, Eikel B. Regelung von Animationen in Simulationen von hochdynamischen Fabrikszenen . In: Augmented & Virtual Reality in Der Produktentstehung. Vol 232. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2008:193--206.
LibreCat
2008 | Journal Article | LibreCat-ID: 18143
Le Roux S, Ziegler M. Singular Coverings and Non-Uniform Notions of Closed Set Computability. Electronic Notes in Theoretical Computer Science. Published online 2008:73-88. doi:10.1016/j.entcs.2008.03.009
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 1834
Valentin S, Lichte HS, Warneke D, Biermann T, Funke R, Karl H. Mobile Cooperative WLANs - MAC and Transceiver Design, Prototyping, and Field Measurements. In: 2008 IEEE 68th Vehicular Technology Conference. IEEE; 2008. doi:10.1109/vetecf.2008.350
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 1839
Valentin S, Freitag T, Karl H. Integrating Multiuser Dynamic OFDMA into IEEE 802.11 WLANs - LLC/MAC Extensions and System Performance. In: 2008 IEEE International Conference on Communications. IEEE; 2008. doi:10.1109/icc.2008.626
LibreCat
| DOI
2008 | Book Chapter | LibreCat-ID: 1841
Woldegebreal DH, Karl H. Network-Coding-Based Cooperative Transmission in Wireless Sensor Networks: Diversity-Multiplexing Tradeoff and Coverage Area Extension. In: Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg; 2008:141-155. doi:10.1007/978-3-540-77690-1_9
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 18570
Ackermann H, Briest P, Fanghänel A, Vöcking B. Who Should Pay for Forwarding Packets? Internet Mathematics. 2008;5(4):459-475. doi:10.1007/978-3-540-77105-0_21
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 21775
Domik G, Chalmers A, W. Fellner D, E. Rushmeier H. What Can We Gain from Transdisciplinary Visualization Courses? In: Cunningham S, Kjelldahl L, eds. Eurographics 2008 - Education Papers, Crete, Greece, April 14-18, 2008. Eurographics Association; 2008:21–24. doi:10.2312/eged.20081003
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 7994
Assmann M, Engels G. Service-Oriented Enterprise Architectures: Evolution of Concepts and Methods. In: Proc. of the 12th IEEE International Enterprise Distributed Object Computing Conference 2008 (EDOC 08), Munich (Germany). Washington, DC, USA: IEEE Computer Society; 2008:xxxiv-xliii. doi:https://groups.uni-paderborn.de/fg-engels/Publications/10.1109/EDOC.2008.48
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 7995
Assmann M, Engels G. Transition to Service-Oriented Enterprise Architecture. In: Proceedings of the Second European Conference on Software Architecture (ECSA 2008), Paphos (Cyprus). Vol 5292. LNCS. Berlin/Heidelberg: Springer; 2008:346-349. doi:http://dx.doi.org/10.1007/978-3-540-88030-1_34
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 7996
Salger F, Bennicke M, Engels G, Lewerentz C. Comprehensive Architecture Evaluation and Management in Large Software-Systems. In: Quality of Software Architectures. Models and Architectures. Vol 5281. LNCS. Berlin/Heidelberg: Springer; 2008:205-219. doi:http://dx.doi.org/10.1007/978-3-540-87879-7_13
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 7997
Engels G, Voß M. Quasar Enterprise - Anwendungslandschaften serviceorientiert gestalten. In: Software Engineering 2008. Fachtagung Des GI-Fachbereichs Softwaretechnik. Vol 121. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2008:24-27.
LibreCat
2008 | Conference Paper | LibreCat-ID: 7998
Küster J, Gerth C, Förster A, Engels G. Detecting and Resolving Process Model Differences in the Absence of a Change Log. In: Proceedings of the 6th International Conference on Business Process Management (BPM’08). Vol 5240. LNCS. Berlin/Heidelberg: Springer; 2008:244-260. doi:http://dx.doi.org/10.1007/978-3-540-85758-7_19
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 7999
Engels G, Hess A, Humm B, et al. A Method for Engineering a true Service-Oriented Architecture. In: Proceedings of the Tenth International Conference on Enterprise Information Systems (ICEIS 2008), Barcelona (Spain). Vol ISAS-2. Berlin/Heidelberg: Springer; 2008:272-281.
LibreCat
2008 | Conference Paper | LibreCat-ID: 8000
Frohnhoff S, Engels G. Revised Use Case Point Method - Effort Estimation in Development Projects for Business Applications. In: Setting Quality Standards, Proceedings of the 11th International Conference on Quality Engineering in Software Technology (CONQUEST 2008), Potsdam (Germany). dpunkt Verlag; 2008:15-32.
LibreCat
2008 | Conference Paper | LibreCat-ID: 8001
Mlynarski M. Qualitätssicherung im Business Process Modeling durch automatische Ableitung visueller Kontrakte aus heterogenen UML-Modellen. In: Informatiktage 2008. Fachwissenschaftlicher Informatik-Kongress, 14. Und 15. März 2008, B-IT Bonn-Aachen International Center for Information Technology in Bonn. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2008:87-90.
LibreCat
2008 | Conference Paper | LibreCat-ID: 8002
Koehler J, Gschwind T, Küster J, et al. Combining Quality Assurance and Model Transformations in Business-Driven Development. In: Proceedings of the 3rd International Symposium on Applications of Graph Transformations with Industrial Relevance 2007 (AGTIVE ’07), Kassel (Germany). Vol 5088. LNCS. Berlin/Heidelberg: Springer; 2008:1-16. doi:http://dx.doi.org/10.1007/978-3-540-89020-1_1
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 8003
Voigt H, Engels G. Kontextsensitive Qualitätsplanung für Software-Modelle. In: Proceedings of Modellierung (2008), Berlin (Germany). Vol 127. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2008:165-180.
LibreCat
2008 | Conference Paper | LibreCat-ID: 8004
Voigt H, Engels G. Ein verfeinerter GQM-Ansatz zur Qualitätsbewertung von Software-Modellen. In: Proceedings of Software-Qualitätsmodellierung Und -Bewertung (SQMB ’08), München, Germany. Technische Universität München; 2008:39-46.
LibreCat
2008 | Conference Paper | LibreCat-ID: 8005
Voigt H, Güldali B, Engels G. Quality Plans for Measuring the Testability of Models. In: Proceedings of the 11th International Conference on Quality Engineering in Software Technology (CONQUEST 2008), Potsdam (Germany). dpunkt.verlag; 2008:353-370.
LibreCat
2008 | Conference Paper | LibreCat-ID: 8006
Voigt H, Ruhroth T. A Quality Circle Tool for Software Models. In: Proceedings of the 27th International Conference on Conceptual Modeling (ER 2008), Barcelona, Spain. Vol 5231. LNCS. Berlin/Heidelberg: Springer; 2008:526-527. doi:http://dx.doi.org/10.1007/978-3-540-87877-3_44
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 8007
Wahler M, Küster J. Predicting Coupling of Object-Centric Business Process Implementations. In: Proceedings of the 6th International Conference on Business Process Management. Vol 5240. LNCS. Berlin/Heidelberg: Springer; 2008:148-163. doi:http://dx.doi.org/10.1007/978-3-540-85758-7
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 8008
Wübbeke A. Towards an Efficient Reuse of Test Cases for Software Product Lines. In: Proceedings of the 12th International Software Product Line Conference (SPLC 2008), Limerick (Ireland). Vol 2. Limerick: Lero; 2008:361-368.
LibreCat
2008 | Conference Paper | LibreCat-ID: 822
H. Woldegebreal D, Karl H. Network-Coding-Based Cooperative Transmission in Wireless Sensor Networks: Diversity-Multiplexing Tradeoff and Coverage Area Extension. In: Wireless Sensor Networks, 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008, Proceedings. ; 2008:141--155. doi:10.1007/978-3-540-77690-1_9
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 823
Valentin S, Freitag T, Karl H. Integrating Multiuser Dynamic OFDMA into IEEE 802.11 WLANs - LLC/MAC Extensions and System Performance. In: Proceedings of IEEE International Conference on Communications, ICC 2008, Beijing, China, 19-23 May 2008. ; 2008:3328--3334. doi:10.1109/ICC.2008.626
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 824
S. Lichte H, Valentin S, Karl H, Aad I, Loyola L, Widmer J. Design and Evaluation of a Routing-Informed Cooperative MAC Protocol for Ad Hoc Networks. In: INFOCOM 2008. 27th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, 13-18 April 2008, Phoenix, AZ, {USA}. ; 2008:1858--1866. doi:10.1109/INFOCOM.2008.249
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 825
Valentin S, S. Lichte H, Karl H, Aad I, Loyola L, Widmer J. Opportunistic relaying vs. selective cooperation: analyzing the occurrence-conditioned outage capacity. In: Proceedings of the 11th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2008, Vancouver, British Columbia, Canada, October 27-31, 2008. ; 2008:193--202. doi:10.1145/1454503.1454539
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 826
Valentin S, Volkhausen T, Atay Onat F, Yanikomeroglu H, Karl H. Decoding-based channel estimation for selective cooperation diversity protocols. In: Proceedings of the IEEE 19th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2008, 15-18 September 2008, Cannes, French Riviera, France. ; 2008:1--6. doi:10.1109/PIMRC.2008.4699545
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 827
Valentin S, S. Lichte H, Warneke D, Biermann T, Funke R, Karl H. Mobile Cooperative WLANs - MAC and Transceiver Design, Prototyping, and Field Measurements. In: Proceedings of the 68th IEEE Vehicular Technology Conference, VTC Fall 2008, 21-24 September 2008, Calgary, Alberta, Canada. ; 2008:1--5. doi:10.1109/VETECF.2008.350
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 828
H. Woldegebreal D, Valentin S, Karl H. Incremental Network Coding in Cooperative Transmission Wireless Networks. In: Proceedings of the 68th IEEE Vehicular Technology Conference, VTC Fall 2008, 21-24 September 2008, Calgary, Alberta, Canada. ; 2008:1--5. doi:10.1109/VETECF.2008.346
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 6062
Sommer C, Yao Z, German R, Dressler F. Simulating the Influence of IVC on Road Traffic using Bidirectionally Coupled Simulators. In: 27th IEEE Conference on Computer Communications (INFOCOM 2008): IEEE Workshop on Mobile Networking for Vehicular Environments (MOVE 2008). Phoenix, AZ: IEEE; 2008:1-6. doi:10.1109/INFOCOM.2008.4544655
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 7369
Hauser R, Friess M, Kuster J, Vanhatalo J. An Incremental Approach to the Analysis and Transformation of Workflows Using Region Trees. IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews). 2008;38(3):347-359. doi:10.1109/tsmcc.2008.919178
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 7370
Ehrig K, Küster J, Taentzer G. Generating Instance Models from Meta Models. Software and Systems Modeling. 2008;8(4):479-500.
LibreCat
2008 | Journal Article | LibreCat-ID: 7371
Engels G, Sauer S, Soltenborn C. Unternehmensweit verstehen – unternehmensweit entwickeln: Von der Modellierungssprache zur Softwareentwicklungsmethode. Informatik-Spektrum. 2008;31(5):451-459.
LibreCat
2008 | Journal Article | LibreCat-ID: 7372
Güldali B, Sauer S, Engels G. Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten und deren Einsatz für modellbasiertes Testen. Softwaretechnik-Trends. 2008;28(3):12-16.
LibreCat
2008 | Journal Article | LibreCat-ID: 7373
Engels G, Voß M. Quasar Enterprise. Informatik-Spektrum. 2008;31(6):548-555. doi:10.1007/s00287-008-0287-4
LibreCat
| DOI
2008 | Book | LibreCat-ID: 7508
Engels G, Hess A, Humm B, et al. Quasar Enterprise: Anwendungslandschaften Serviceorientiert Gestalten. München: dpunkt-Verlag; 2008.
LibreCat
2008 | Book Chapter | LibreCat-ID: 7553
Christ F, Sauer S. Open Source Stacks. In: Asche, W. Bauhus, B. Kaddatz and B. Seel M, ed. Open Source: Kommerzialisierungsmöglichkeiten Und Chancen Für Die Zusammenarbeit von Hochschulen Und Unternehmen. Vol 3. POWeR. Waxmann Verlag; 2008:133-154.
LibreCat
2008 | Book Chapter | LibreCat-ID: 7554
Engels G. Eintrag “Modellierungssprache.” In: Kurbel, J. Becker, N. Gronau, E. Sinz, L. Suhl K, ed. Enzyklopädie Der Wirtschaftsinformatik. Oldenbourg Wissenschaftsverlag; 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 8427
Ellerweg J, Engels G, Güldali B. Modellbasierter Komponententest mit visuellen Kontrakten. In: INFORMATIK 2008, Beherrschbare Systeme - Dank Informatik, Band 1, Beiträge Der 38. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI). Vol 133. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2008:211-214.
LibreCat
2008 | Conference Paper | LibreCat-ID: 8428
von der Maßen T, Wübbeke A. Modellierung von Variabilität in der Geschäftsanalyse – eine industrielle Fallstudie. In: Produktlinien Im Kontext: Technologie, Prozesse, Business Und Organisation (PiK 2008). Vol 122. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2008:285-296.
LibreCat
2008 | Conference Paper | LibreCat-ID: 8429
Küster J, Gerth C, Förster A, Engels G. A Tool for Process Merging in Business-Driven Development. In: Proceedings of the Forum at the CAiSE’08 Conference on Advanced Information Systems Engineering. Vol 344. CEUR Workshop Proceedings. CEUR-WS.org; 2008:89-92. doi:http://ceur-ws.org/Vol-344/paper23.pdf
LibreCat
| DOI
| Download (ext.)
2008 | Conference Paper | LibreCat-ID: 8430
Schattkowsky T, Xie T. UML and IP-XACT for Integrated SPRINT IP Management. In: Proceedings of the 5th International UML for SoC Design Workshop (UML-SoC 2008), Anaheim, CA (USA). ; 2008.
LibreCat