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.

5711 Publications


2009 | Book Chapter | LibreCat-ID: 33813
Accurate RTOS Modelling and Analysis with SystemC
H. Zabel, W. Müller, A. Gerstlauer, in: W. Ecker, W. Müller, R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice, Springer Verlag, Dordrecht, 2009, pp. 233–260.
LibreCat | DOI
 

2009 | Book Chapter | LibreCat-ID: 33814
Hardware-dependent Software - Introduction and Overview
W. Ecker, W. Müller, R. Dömer, in: W. Ecker, W. Müller, R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice, Springer Verlag, Dordrecht, 2009, pp. 1–14.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 37067
A UML Frontend for IP-XACT-based IP Management
T. Schattkowsky, T. Xie, W. Müller, in: Proceedings of DATE’09, IEEE, Nice, France, 2009.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 37066
Increased Accuracy through Noise Injection in Abstract RTOS Simulation
H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 37063
Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study
K. Klobedanz, C. Kuznik, A. Elfeky, W. Müller, in: Proceedings of IESS09, Springer Verlag, 2009.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 37064 LibreCat
 

2009 | Conference Paper | LibreCat-ID: 37061
Systematic Model-in-the-Loop Test of Embedded Control Systems
A. Krupp, W. Müller, in: Proceedings of IESS09, Friedrichshafen, 2009.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 37068
Hardware-dependent Software for Multi- and Many-Core Embedded Systems
R. Doemer, A. Gerstlauer, W. Müller, in: Proceedings of ASP-DAC’09, Yokohama, Japan, 2009.
LibreCat
 

2009 | Journal Article | LibreCat-ID: 8180 | OA
On global effects caused by locally noneffective unitary operations
S. Gharibian, H. Kampermann, D. Bru{\ss}, Quantum Information & Computation 9 (2009) 1013–1029.
LibreCat | Download (ext.) | arXiv
 

2009 | Journal Article | LibreCat-ID: 8181 | OA
Signatures of nonclassicality in mixed-state quantum computation
A. Datta, S. Gharibian, Physical Review A 79 (2009).
LibreCat | DOI | Download (ext.) | arXiv
 

2009 | Conference Paper | LibreCat-ID: 2350
IMORC: Application Mapping, Monitoring and Optimization for High-Performance Reconfigurable Computing
T. Schumacher, C. Plessl, M. Platzner, in: Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM), IEEE Computer Society, 2009, pp. 275–278.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 2262
EvoCaches: Application-specific Adaptation of Cache Mapping
P. Kaufmann, C. Plessl, M. Platzner, in: Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS), IEEE Computer Society, Los Alamitos, CA, USA, 2009, pp. 11–18.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 2352
PermaDAQ: A Scientific Instrument for Precision Sensing and Data Recovery in Environmental Extremes
J. Beutel, S. Gruber, A. Hasler, R. Lim, A. Meier, C. Plessl, I. Talzi, L. Thiele, C. Tschudin, M. Woehrle, M. Yuecel, in: Proc. Int. Conf. on Information Processing in Sensor Networks (IPSN), IEEE Computer Society, Washington, DC, USA, 2009, pp. 265–276.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 2238
Communication Performance Characterization for Reconfigurable Accelerator Design on the XD1000
T. Schumacher, T. Süß, C. Plessl, M. Platzner, in: Proc. Int. Conf. on ReConFigurable Computing and FPGAs (ReConFig), IEEE Computer Society, Los Alamitos, CA, USA, 2009, pp. 119–124.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 2261
An Accelerator for k-th Nearest Neighbor Thinning Based on the IMORC Infrastructure
T. Schumacher, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), IEEE, 2009, pp. 338–344.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 2263
Woolcano: An Architecture and Tool Flow for Dynamic Instruction Set Extension on Xilinx Virtex-4 FX
M. Grad, C. Plessl, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, USA, 2009, pp. 319–322.
LibreCat
 

2009 | Conference Paper | LibreCat-ID: 46414
OCD: Online Convergence Detection for Evolutionary Multi-Objective Algorithms Based on Statistical Testing
T. Wagner, H. Trautmann, B. Naujoks, in: M. Ehrgott, C.M. Fonseca, X. Gandibleux, J.-K. Hao, M. Sevaux (Eds.), Evolutionary Multi-Criterion Optimization, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 198–215.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 46415
Pareto-dominance in noisy environments
H. Trautmann, J. Mehnen, B. Naujoks, in: 2009 IEEE Congress on Evolutionary Computation, 2009, pp. 3119–3126.
LibreCat | DOI
 

2009 | Conference Paper | LibreCat-ID: 46413
Online convergence detection for multiobjective aerodynamic applications
B. Naujoks, H. Trautmann, in: 2009 IEEE Congress on Evolutionary Computation, 2009, pp. 332–339.
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 46416
Statistical Methods for Improving Multi-objective Evolutionary Optimisation
H. Trautmann, J. Mehnen, International Journal of Computational Intelligence Research 5 (2009) 72–78.
LibreCat
 

2009 | Journal Article | LibreCat-ID: 46418
Statistical Methods for Convergence Detection of Multi-Objective Evolutionary Algorithms
H. Trautmann, T. Wagner, B. Naujoks, M. Preuss, J. Mehnen, Evolutionary Computation 17 (2009) 493–509.
LibreCat | DOI
 

2009 | Journal Article | LibreCat-ID: 46417
Preference-based Pareto optimization in certain and noisy environments
H. Trautmann, J. Mehnen, Engineering Optimization 41 (2009) 23–38.
LibreCat | DOI
 

2008 | Report | LibreCat-ID: 2513
Extended Results on an Adaptive Resource/Performance Trade-Off for Resolving Complex Queries in P2P Networks
T. Biermann, C. Dannewitz, H. Karl, 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
Distributed Resource Allocation and Management in Heterogeneous Networks
G. Schomaker, Distributed Resource Allocation and Management in Heterogeneous Networks, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008.
LibreCat | Files available
 

2008 | Conference Paper | LibreCat-ID: 19686
Uniform Budgets and the Envy-Free Pricing Problem
P. Briest, in: Proceedings of the 35th InternationalColloquium on Automata, Languages and Programming (ICALP), 2008.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 19687
On the Approximability of Combinatorial Exchange Problems
P. Briest, P. Krysta, M. Babaioff, in: Proceedings of the 1st International Symposium on Algorithmic Game Theory (SAGT), Cham, 2008.
LibreCat | DOI
 

2008 | Report | LibreCat-ID: 19688
Approximate Equilibria in Games with Few Players
P. Briest, P.W. Goldberg, H. Roeglin, Approximate Equilibria in Games with Few Players, 2008.
LibreCat | arXiv
 

2008 | Conference Paper | LibreCat-ID: 19812
Random Graphs for Peer-to-Peer Overlays
C. Schindelhauer, P. Mahlmann, in: The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS), Proceedings of the Final Workshop, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008, pp. 1–22.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 19813
Detours Save Energy in Mobile Wireless Networks
C.C. Ooi, C. Schindelhauer, in: MWCN’08: Proc. of IFIP Joint Conference on Mobile Wireless Communications Networks (MWCN 2008) and Personal Wireless Communications (PWC 2008), Springer, 2008.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 19832
Energy-Efficient Distributed Target Tracking Using Wireless Relay Robots
C.C. Ooi, C. Schindelhauer, in: ARS’08: Proc. of the 9th International Symposium on Distributed Autonomous Robotic Systems (DARS 2008), 2008.
LibreCat | DOI
 

2008 | Mastersthesis | LibreCat-ID: 19950
Lokale Strategien zur Optimierung von Kommunikationsketten
P. Pietrzyk, Lokale Strategien Zur Optimierung von Kommunikationsketten, 2008.
LibreCat | Files available
 

2008 | Dissertation | LibreCat-ID: 20262
Space-Time Continuous Models of Swarm Robotic Systems
H. Hamann, Space-Time Continuous Models of Swarm Robotic Systems, 2008.
LibreCat | DOI
 

2008 | Preprint | LibreCat-ID: 26235
Kolmogorov Complexity Theory over the Reals
M. Ziegler, W.M. Koolen, ArXiv:0802.2027 (2008).
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 26243
On the Stability of Fast Polynomial Arithmetic
S. Köhler, M. Ziegler, in: Proc. 8th Conference on Real Numbers and Computers, 2008, pp. 147–156.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26255
Physically-Relativized Church-Turing Hypotheses
M. Ziegler, Applied Mathematics and Computation (2008).
LibreCat | arXiv
 

2008 | Book Chapter | LibreCat-ID: 26262
A Meta-Theory of Physics and Computation
M. Ziegler, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Deutsche Physikalische Gesellschaft (DPG), 2008, p. 145.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 26280
An explicit solution to Post's Problem over the reals
K. Meer, M. Ziegler, Journal of Complexity (2008) 3–15.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3203
Refinement in the Presence of Unknowns
H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 255--264.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3204
Alloy as a Refactoring Checker?
H..-}Christian Estler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 331--357.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3205
Integrating a formal method into a software engineering process with {UML} and Java
M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, Formal Asp. Comput. (2008) 161--204.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 3206
Slicing Abstractions
I. Brückner, K. Dräger, B. Finkbeiner, H. Wehrheim, Fundam. Inform. (2008) 369--392.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 3207
From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations
G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3208
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack
J. Derrick, G. Schellhorn, H. Wehrheim, in: G. Barthe, F. S. de Boer (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, 2008, pp. 78--95.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3209
Decomposition for Compositional Verification
B. Metzler, H. Wehrheim, D. Wonisch, in: S. Liu, T. S. E. Maibaum, K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008, pp. 105--125.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3210
Bounded Model Checking for Partial Kripke Structures
H. Wehrheim, in: J. S. Fitzgerald, A. Elisabeth Haxthausen, H. Yenig{\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3001
Reliable Evidence of Data Integrity from an Untrusted Storage Service
C. Stern, P. Adelt, V. Krummel, M.R. Ackermann, in: Fourth International Conference on Networking and Services (Icns 2008), IEEE, 2008.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3143
A Browser-Based Kerberos Authentication Scheme
S. Gajek, T. Jager, M. Manulis, J. Schwenk, in: Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings, 2008, pp. 115--129.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3144
On Black-Box Ring Extraction and Integer Factorization
K. Altmann, T. Jager, A. Rupp, 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, pp. 437--448.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3145
On the Equivalence of Generic Group Models
T. Jager, J. Schwenk, in: Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings, 2008, pp. 200--209.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 3146
Nutzung von selbstsignierten Client-Zertifikaten zur Authentifikation bei SSL/TLS
T. Jager, H. Jäkel, J. Schwenk, 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, pp. 127--136.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 20938
Safety of Component-Based Systems: Analysis and Improvement using Fujaba4Eclipse
M. Tichy, S. Henkler, M. Meyer, M. von Detten, in: Companion Proceedings of the 30th International Conference on Software Engineering (ICSE), Leipzig, Germany, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 20957
Aspect-oriented modelling from a different angle
E. Kindler, D. Schmelter, in: Proceedings of the 2008 AOSD Workshop on Aspect-Oriented Modeling - AOM ’08, 2008.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 20964
Component Story Diagrams in Fujaba4Eclipse
J. Holtmann, M. Tichy, in: Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, 2008, pp. 44–47.
LibreCat
 

2008 | Mastersthesis | LibreCat-ID: 20965
Graphtransformationen für komponentenbasierte Softwarearchitekturen
J. Holtmann, Graphtransformationen Für Komponentenbasierte Softwarearchitekturen, Software Engineering Group, University of Paderborn, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 20966
Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems
M. Tichy, S. Henkler, J. Holtmann, S. Oberthür, in: Proceedings of the 4th Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, Heinz Nixdorf Institut, 2008, pp. 27–38.
LibreCat
 

2008 | Mastersthesis | LibreCat-ID: 20968
Graphtransformationen für komponentenbasierte Softwarearchitekturen
J. Holtmann, Graphtransformationen Für Komponentenbasierte Softwarearchitekturen, Software Engineering Group, University of Paderborn, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 17416
A System for Aggregated Visualization of Multiple Parallel Discrete Event Simulations
T. Suess, D. Huber, M. Fischer, C. Laroque, W. Dangelmaier, in: IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008.
LibreCat | DOI
 

2008 | Book | LibreCat-ID: 17566
The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS)
F. Meyer auf der Heide, The European Integrated Project "Dynamically Evolving, Large Scale Information Systems (DELIS), Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, Paderborn, 2008.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 17868
Aggregated 3D-visualization of a distributed simulation experiment of a queuing system
W. Dangelmaier, M. Fischer, D. Huber, C. Laroque, T. Suess, in: 2008 Winter Simulation Conference, Miami, FL., USA, 2008, pp. 2012–2020.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 19003
The Kinetic Facility Location Problem
B. Degener, J. Gehweiler, C. Lammersen, in: Proceedings of the 11th Scandinavian Workshop on Algorithm Theory (SWAT), 2008, pp. 378–389.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 19004
The Kinetic Facility Location Problem
J. Gehweiler, C. Lammersen, B. Degener, in: Proceedings of the 24th European Workshop on Computational Geometry, 2008, pp. 251–254.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 1926
An O(log n) dominating set protocol for wireless ad-hoc networks under the physical interference model
C. Scheideler, A. W. Richa, P. Santi, 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, pp. 91--100.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 1937
Algorithms for Overlay Networks
C. Scheideler, Bulletin of the EATCS (2008) 130--152.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 1938
A jamming-resistant MAC protocol for single-hop wireless networks
B. Awerbuch, A. W. Richa, C. Scheideler, in: Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, PODC 2008, Toronto, Canada, August 18-21, 2008, ACM, 2008, pp. 45--54.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 1940 | OA
SPREAD: an adaptive scheme for redundant and fair storage in dynamic heterogeneous storage systems
M. Mense, C. Scheideler, in: Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2008, San Francisco, California, USA, January 20-22, 2008, SIAM, 2008, pp. 1135--1144.
LibreCat | Files available
 

2008 | Conference Paper | LibreCat-ID: 1941
Tiara: A Self-stabilizing Deterministic Skip List
T. Clouser, M. Nesterenko, C. Scheideler, in: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, Springer, 2008, pp. 124--140.
LibreCat | DOI
 

2008 | Book Chapter | LibreCat-ID: 1942
Broadcasting: Wie verbreite ich schnell Informationen?
C. Scheideler, in: Taschenbuch Der Algorithmen, Springer, 2008, pp. 229--236.
LibreCat | DOI
 

2008 | Conference (Editor) | LibreCat-ID: 1943
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
H.-G. Hegering, A. Lehmann, H. Jürgen Ohlbach, C. Scheideler, 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, 2008.
LibreCat
 

2008 | Book | LibreCat-ID: 1945
Taschenbuch der Algorithmen
B. Vöcking, H. Alt, M. Dietzfelbinger, R. Reischuk, C. Scheideler, H. Vollmer, D. Wagner, Taschenbuch Der Algorithmen, 2008.
LibreCat | Download (ext.)
 

2008 | Conference Paper | LibreCat-ID: 2356
Employing WS-BPEL Design Patterns for Grid Service Orchestration using a Standard WS-BPEL Engine and a Grid Middleware
A. Brinkmann, S. Gudenkauf, W. Hasselbring, A. Höing, H. Karl, O. Kao, H. Nitsche, G. Scherp, in: Proc. Cracow Grid Workshop (CGW), 2008, pp. 103–110.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 2358
A method for OSEM PET reconstruction on parallel architectures using STIR
T. Beisel, S. Lietsch, K. Thielemans, in: IEEE Nuclear Science Symposium Conference Record (NSS), IEEE, 2008, pp. 4161–4168.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 2365
The GOmputer: Accelerating GO with FPGAs
M. Platzner, S. Döhre, M. Happe, T. Kenter, U. Lorenz, T. Schumacher, A. Send, A. Warkentin, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2008, pp. 245–251.
LibreCat
 

2008 | Conference (Editor) | LibreCat-ID: 2376
Proceedings of the 1. GI/ITG KuVS Fachgespräch Virtualisierung
A. Brinkmann, H. Karl, 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
Aggregating Robots Compute: An Adaptive Heuristic for the Euclidean Steiner Tree Problem
H. Hamann, H. Wörn, in: The Tenth International Conference on Simulation of Adaptive Behavior (SAB’08), 2008, pp. 447--456.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 20368
Spatial Macroscopic Models of a Bio-Inspired Robotic Swarm Algorithm
H. Hamann, T. Schmickl, H. Wörn, K. Crailsheim, in: IEEE/RSJ 2008 International Conference on Intelligent Robots and Systems (IROS’08), IEEE Press, 2008, pp. 1415--1420.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 20369
A framework of space–time continuous models for algorithm design in swarm robotics
H. Hamann, H. Wörn, Swarm Intelligence 2 (2008) 209–239.
LibreCat | DOI
 

2008 | Book Chapter | LibreCat-ID: 20711
Der Alphabeta-Algorithmus für Spielbäume: Wie bringe ich meinen Computer zum Schachspielen?
B. Monien, U. Lorenz, D. Warner, in: Taschenbuch Der Algorithmen, Berlin, Heidelberg, 2008.
LibreCat | DOI
 

2008 | Book Chapter | LibreCat-ID: 17978
On Faster Integer Calculations Using Non-arithmetic Primitives
K. Lürwer-Brüggemeier, M. Ziegler, in: Unconventional Computing, Berlin, Heidelberg, 2008.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 18139
Dynamic Control of Animation Schemes for the Efficient 3D-Visualization of Material Flow Simulations
C. Laroque, M. Fischer, W. Dangelmaier, B. Eikel, in: Industrial Simulation Conference (ISC 2008), EUROSIS-ETI, 2008, pp. 306–310.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 18141
Regelung von Animationen in Simulationen von hochdynamischen Fabrikszenen
C. Laroque, M. Fischer, B. Eikel, in: Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2008, pp. 193--206.
LibreCat
 

2008 | Journal Article | LibreCat-ID: 18143
Singular Coverings and Non-Uniform Notions of Closed Set Computability
S. Le Roux, M. Ziegler, Electronic Notes in Theoretical Computer Science (2008) 73–88.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 1834
Mobile Cooperative WLANs - MAC and Transceiver Design, Prototyping, and Field Measurements
S. Valentin, H.S. Lichte, D. Warneke, T. Biermann, R. Funke, H. Karl, in: 2008 IEEE 68th Vehicular Technology Conference, IEEE, 2008.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 1839
Integrating Multiuser Dynamic OFDMA into IEEE 802.11 WLANs - LLC/MAC Extensions and System Performance
S. Valentin, T. Freitag, H. Karl, in: 2008 IEEE International Conference on Communications, IEEE, 2008.
LibreCat | DOI
 

2008 | Book Chapter | LibreCat-ID: 1841
Network-Coding-Based Cooperative Transmission in Wireless Sensor Networks: Diversity-Multiplexing Tradeoff and Coverage Area Extension
D.H. Woldegebreal, H. Karl, in: Lecture Notes in Computer Science, Springer Berlin Heidelberg, Berlin, Heidelberg, 2008, pp. 141–155.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 18570
Who Should Pay for Forwarding Packets?
H. Ackermann, P. Briest, A. Fanghänel, B. Vöcking, Internet Mathematics 5 (2008) 459–475.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 21775
What Can We Gain from Transdisciplinary Visualization Courses?
G. Domik, A. Chalmers, D. W. Fellner, H. E. Rushmeier, in: S. Cunningham, L. Kjelldahl (Eds.), Eurographics 2008 - Education Papers, Crete, Greece, April 14-18, 2008, Eurographics Association, 2008, pp. 21–24.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 7994
Service-Oriented Enterprise Architectures: Evolution of Concepts and Methods
M. Assmann, G. Engels, in: Proc. of the 12th IEEE International Enterprise Distributed Object Computing Conference 2008 (EDOC 08), Munich (Germany), IEEE Computer Society, Washington, DC, USA, 2008, pp. xxxiv–xliii.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 7995
Transition to Service-Oriented Enterprise Architecture
M. Assmann, G. Engels, in: Proceedings of the Second European Conference on Software Architecture (ECSA 2008), Paphos (Cyprus), Springer, Berlin/Heidelberg, 2008, pp. 346–349.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 7996
Comprehensive Architecture Evaluation and Management in Large Software-Systems
F. Salger, M. Bennicke, G. Engels, C. Lewerentz, in: Quality of Software Architectures. Models and Architectures, Springer, Berlin/Heidelberg, 2008, pp. 205–219.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 7997
Quasar Enterprise - Anwendungslandschaften serviceorientiert gestalten
G. Engels, M. Voß, in: Software Engineering 2008. Fachtagung Des GI-Fachbereichs Softwaretechnik, Gesellschaft für Informatik (GI), Bonn, 2008, pp. 24–27.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 7998
Detecting and Resolving Process Model Differences in the Absence of a Change Log
J. Küster, C. Gerth, A. Förster, G. Engels, in: Proceedings of the 6th International Conference on Business Process Management (BPM’08), Springer, Berlin/Heidelberg, 2008, pp. 244–260.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 7999
A Method for Engineering a true Service-Oriented Architecture
G. Engels, A. Hess, B. Humm, O. Juwig, M. Lohmann, J.-P. Richter, M. Voß, J. Willkomm, in: Proceedings of the Tenth International Conference on Enterprise Information Systems (ICEIS 2008), Barcelona (Spain), Springer, Berlin/Heidelberg, 2008, pp. 272–281.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 8000
Revised Use Case Point Method - Effort Estimation in Development Projects for Business Applications
S. Frohnhoff, G. Engels, in: Setting Quality Standards, Proceedings of the 11th International Conference on Quality Engineering in Software Technology (CONQUEST 2008), Potsdam (Germany), dpunkt Verlag, 2008, pp. 15–32.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 8001
Qualitätssicherung im Business Process Modeling durch automatische Ableitung visueller Kontrakte aus heterogenen UML-Modellen
M. Mlynarski, in: Informatiktage 2008. Fachwissenschaftlicher Informatik-Kongress, 14. Und 15. März 2008, B-IT Bonn-Aachen International Center for Information Technology in Bonn, Gesellschaft für Informatik (GI), Bonn, 2008, pp. 87–90.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 8002
Combining Quality Assurance and Model Transformations in Business-Driven Development
J. Koehler, T. Gschwind, J. Küster, C. Pautasso, K. Ryndina, J. Vanhatalo, H. Völzer, in: Proceedings of the 3rd International Symposium on Applications of Graph Transformations with Industrial Relevance 2007 (AGTIVE ’07), Kassel (Germany), Springer, Berlin/Heidelberg, 2008, pp. 1–16.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 8003
Kontextsensitive Qualitätsplanung für Software-Modelle
H. Voigt, G. Engels, in: Proceedings of Modellierung (2008), Berlin (Germany), Gesellschaft für Informatik (GI), Bonn, 2008, pp. 165–180.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 8004
Ein verfeinerter GQM-Ansatz zur Qualitätsbewertung von Software-Modellen
H. Voigt, G. Engels, in: Proceedings of Software-Qualitätsmodellierung Und -Bewertung (SQMB ’08), München, Germany, Technische Universität München, 2008, pp. 39–46.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 8005
Quality Plans for Measuring the Testability of Models
H. Voigt, B. Güldali, G. Engels, in: Proceedings of the 11th International Conference on Quality Engineering in Software Technology (CONQUEST 2008), Potsdam (Germany), dpunkt.verlag, 2008, pp. 353–370.
LibreCat
 

2008 | Conference Paper | LibreCat-ID: 8006
A Quality Circle Tool for Software Models
H. Voigt, T. Ruhroth, in: Proceedings of the 27th International Conference on Conceptual Modeling (ER 2008), Barcelona, Spain, Springer, Berlin/Heidelberg, 2008, pp. 526–527.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 8007
Predicting Coupling of Object-Centric Business Process Implementations
M. Wahler, J. Küster, in: Proceedings of the 6th International Conference on Business Process Management, Springer, Berlin/Heidelberg, 2008, pp. 148–163.
LibreCat | DOI
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed