@proceedings{2376, editor = {{Brinkmann, André and Karl, Holger}}, publisher = {{Paderborn Center for Parallel Computing, Paderborn University}}, title = {{{Proceedings of the 1. GI/ITG KuVS Fachgespräch Virtualisierung}}}, year = {{2008}}, } @inproceedings{20367, author = {{Hamann, Heiko and Wörn, Heinz}}, booktitle = {{The tenth International Conference on Simulation of Adaptive Behavior (SAB'08)}}, isbn = {{9783540691334}}, issn = {{0302-9743}}, pages = {{447----456}}, title = {{{Aggregating Robots Compute: An Adaptive Heuristic for the Euclidean Steiner Tree Problem}}}, doi = {{10.1007/978-3-540-69134-1_44}}, volume = {{5040}}, year = {{2008}}, } @inproceedings{20368, abstract = {{We present a comparative study of two spatially resolved macroscopic models of an autonomous robotic swarm. In previous experiments, the collective behavior of 15 autonomous swarm robots, driven by a simple bio-inspired control algorithm, was investigated: in two different environmental conditions, the ability of the robots to aggregate below a light source was tested. Distinct approaches to predict the dynamics of the spatial distribution were made by two different modeling approaches: one model was constructed in a compartmental manner (ODEs). In parallel, a space-continuous model (PDEs) was constructed. Both models show a high degree of similarity concerning the modeling of concrete environmental factors (light), but due to their different basic approaches, show also significant differences in their implementation. However, the predictions of both models compare well to the observed behavior of the robotic swarm, thus both models can be used to develop further extensions of the algorithm as well as different experimental setups without the need to run extensive real robotic preliminary experiments.}}, author = {{Hamann, Heiko and Schmickl, Thomas and Wörn, Heinz and Crailsheim, Karl}}, booktitle = {{IEEE/RSJ 2008 International Conference on Intelligent Robots and Systems (IROS'08)}}, pages = {{1415----1420}}, publisher = {{IEEE Press}}, title = {{{Spatial Macroscopic Models of a Bio-Inspired Robotic Swarm Algorithm}}}, doi = {{10.1109/IROS.2008.4651038}}, year = {{2008}}, } @article{20369, abstract = {{Designing and analyzing self-organizing systems such as robotic swarms is a challenging task even though we have complete knowledge about the robot’s interior. It is difficult to determine the individual robot’s behavior based on the swarm behavior and vice versa due to the high number of agent–agent interactions. A step towards a solution of this problem is the development of appropriate models which accurately predict the swarm behavior based on a specified control algorithm. Such models would reduce the necessary number of time-consuming simulations and experiments during the design process of an algorithm. In this paper we propose a model with focus on an explicit representation of space because the effectiveness of many swarm robotic scenarios depends on spatial inhomogeneity. We use methods of statistical physics to address spatiality. Starting from a description of a single robot we derive an abstract model of swarm motion. The model is then extended to a generic model framework of communicating robots. In two examples we validate models against simulation results. Our experience shows that qualitative correctness is easily achieved, while quantitative correctness is disproportionately more difficult but still possible.}}, author = {{Hamann, Heiko and Wörn, Heinz}}, issn = {{1935-3812}}, journal = {{Swarm Intelligence}}, number = {{2-4}}, pages = {{209--239}}, title = {{{A framework of space–time continuous models for algorithm design in swarm robotics}}}, doi = {{10.1007/s11721-008-0015-3}}, volume = {{2}}, year = {{2008}}, } @inbook{20711, author = {{Monien, Burkhard and Lorenz, Ulf and Warner, Daniel}}, booktitle = {{Taschenbuch der Algorithmen}}, isbn = {{9783540763932}}, title = {{{Der Alphabeta-Algorithmus für Spielbäume: Wie bringe ich meinen Computer zum Schachspielen?}}}, doi = {{10.1007/978-3-540-76394-9_28}}, year = {{2008}}, } @inbook{17978, author = {{Lürwer-Brüggemeier, Katharina and Ziegler, Martin}}, booktitle = {{Unconventional Computing}}, isbn = {{9783540851936}}, issn = {{0302-9743}}, title = {{{On Faster Integer Calculations Using Non-arithmetic Primitives}}}, doi = {{10.1007/978-3-540-85194-3_11}}, year = {{2008}}, } @inproceedings{18139, abstract = {{This paper describes a method for the animation of a large number of objects within a dynamic 3D visualization of a material flow simulation model. It uses key-frame based animation. The number of animated objects may grow constantly in complex simulation models, which might lead to an amount of animations that is too big to be computed in real-time. By the use of a dynamic adjustment, the presented algorithm prefers important animations. Less relevant animations are updated rarely, whereby the selection itself is taken by multiple indicators, e.g. the visible size of the animated object on the screen, in order to keep a good optical impression. Dependent on the computing power of the computer, the algorithm controls the animations in such a way, that the fluid visualization of a large number of objects is still possible. Though the algorithm is to be used within a material flow simulator, it is moreover implemented in a specific animation editor, which allows the design and control of animation schemes. It supports the use of grouping to allow the creation of hierarchical structures for complex animations in a fast and easy manner. The evaluation of the algorithm is proven by a test scene, consisting of tens of thousands animated objects. }}, author = {{Laroque, Christoph and Fischer, Matthias and Dangelmaier, Wilhelm and Eikel, Benjamin}}, booktitle = {{Industrial Simulation Conference (ISC 2008)}}, pages = {{306--310}}, publisher = {{EUROSIS-ETI}}, title = {{{Dynamic Control of Animation Schemes for the Efficient 3D-Visualization of Material Flow Simulations}}}, year = {{2008}}, } @inproceedings{18141, abstract = {{Dieser Artikel beschreibt eine Methode zur Animation einer großen Anzahl von Objekten zur dynamischen 3D-Visualisierung eines Simulationsmodells mittels der Materialflusssimulation auf Basis von Schlüsselbildern. Die Anzahl zu animierender Objekte ist in komplexen Modellen zu groß, um alle Animationen flüssig darzustellen. Dynamisch abgestuft wählt das entwickelte Verfahren gezielt wichtige Animationen aus, weniger relevante Animationen werden entsprechend seltener animiert. Die Selektion der Animationen erfolgt nach der projizierten Größe der Objekte auf das Ausgabegerät, um einen guten optischen Eindruck beizubehalten. Angepasst an die Leistungsfähigkeit des Rechners wird das Verfahren so geregelt, dass die Visualisierung einer hohen Anzahl von Objekten in Echtzeit möglich bleibt. Das Verfahren ist in einem Editor prototypisch implementiert, mit dem Schlüsselbilder für Objekte erzeugt werden können. Das Gruppieren von Objekten wird erlaubt, so dass eine Hierarchie von Bewegungspfaden definierbar ist. Die Evaluierung der Methode wird mittels Testszenen durchgeführt, die aus mehreren zehntausend animierten Objekten bestehen.}}, author = {{Laroque, Christoph and Fischer, Matthias and Eikel, Benjamin}}, booktitle = {{Augmented & Virtual Reality in der Produktentstehung}}, pages = {{193----206}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Regelung von Animationen in Simulationen von hochdynamischen Fabrikszenen }}}, volume = {{232}}, year = {{2008}}, } @article{18143, author = {{Le Roux, Stéphane and Ziegler, Martin}}, issn = {{1571-0661}}, journal = {{Electronic Notes in Theoretical Computer Science}}, pages = {{73--88}}, title = {{{Singular Coverings and Non-Uniform Notions of Closed Set Computability}}}, doi = {{10.1016/j.entcs.2008.03.009}}, year = {{2008}}, } @inproceedings{1834, author = {{Valentin, Stefan and Lichte, Hermann S. and Warneke, Daniel and Biermann, Thorsten and Funke, Rafael and Karl, Holger}}, booktitle = {{2008 IEEE 68th Vehicular Technology Conference}}, isbn = {{9781424417216}}, publisher = {{IEEE}}, title = {{{Mobile Cooperative WLANs - MAC and Transceiver Design, Prototyping, and Field Measurements}}}, doi = {{10.1109/vetecf.2008.350}}, year = {{2008}}, } @inproceedings{1839, author = {{Valentin, S. and Freitag, T. and Karl, Holger}}, booktitle = {{2008 IEEE International Conference on Communications}}, isbn = {{9781424420759}}, publisher = {{IEEE}}, title = {{{Integrating Multiuser Dynamic OFDMA into IEEE 802.11 WLANs - LLC/MAC Extensions and System Performance}}}, doi = {{10.1109/icc.2008.626}}, year = {{2008}}, } @inbook{1841, author = {{Woldegebreal, Dereje H. and Karl, Holger}}, booktitle = {{Lecture Notes in Computer Science}}, isbn = {{9783540776895}}, pages = {{141--155}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Network-Coding-Based Cooperative Transmission in Wireless Sensor Networks: Diversity-Multiplexing Tradeoff and Coverage Area Extension}}}, doi = {{10.1007/978-3-540-77690-1_9}}, year = {{2008}}, } @article{18570, abstract = {{We present a game theoretic study of hybrid communication networks in which mobile devices can connect in an ad hoc fashion to a base station, possibly via a few hops using other mobile devices as intermediate nodes. The maximal number of allowed hops might be bounded with the motivation to guarantee small latency. We introduce hybrid connectivity games to study the impact of selfishness on this kind of infrastructure. Mobile devices are represented by selfish players, each of which aims at establishing an uplink path to the base station minimizing its individual cost. Our model assumes that intermediate nodes on an uplink path are reimbursed for transmitting the packets of other devices. The reimbursements can be paid either by a benevolent network operator or by the senders of the packets using micropayments via a clearing agency that possibly collects a small percentage as commission. These different ways to implement the payments lead to different variants of the hybrid connectivity game. Our main findings are: (1) If there is no constraint on the number of allowed hops on the path to the base station, then the existence of equilibria is guaranteed regardless of whether the network operator or the senders pay for forwarding packets. (2) If the network operator pays, then the existence of equilibria is guaranteed only if at most one intermediate node is allowed, i.e., for at most two hops on the uplink path of a device, but not if the maximal number of allowed hops is three or larger. (3) In contrast, if the senders pay for forwarding their packets, then equilibria are guaranteed to exist given any bound on the number of allowed hops. The equilibrium analysis presented in this paper gives a first game theoretical motivation for the implementation of micropayment schemes in which senders pay for forwarding their packets. We further support this evidence by giving an upper bound on the Price of Anarchy for this kind of hybrid connectivity games that is independent of the number of nodes, but only depends on the number of hops and the power gradient.}}, author = {{Ackermann, Heiner and Briest, Patrick and Fanghänel, Alexander and Vöcking, Berthold}}, isbn = {{9783540771043}}, journal = {{Internet Mathematics}}, number = {{4}}, pages = {{459--475}}, publisher = {{Springer}}, title = {{{Who Should Pay for Forwarding Packets?}}}, doi = {{10.1007/978-3-540-77105-0_21}}, volume = {{5}}, year = {{2008}}, } @inproceedings{21775, author = {{Domik, Gitta and Chalmers, Alan and W. Fellner, Dieter and E. Rushmeier, Holly}}, booktitle = {{Eurographics 2008 - Education Papers, Crete, Greece, April 14-18, 2008}}, editor = {{Cunningham, Steve and Kjelldahl, Lars}}, pages = {{21–24}}, publisher = {{Eurographics Association}}, title = {{{What Can We Gain from Transdisciplinary Visualization Courses?}}}, doi = {{10.2312/eged.20081003}}, year = {{2008}}, } @inproceedings{7994, abstract = {{This paper depicts the evolution of enterprise architectures to their today often used service-oriented form and presents a state-of-the-art development process for this kind of architecture. The development process covers both the development of business architecture as well as the appropriate software architecture. While showing up a possible form of further evolution of enterprise architectures, we identify the major challenges for future development methods of enterprise architectures.}}, author = {{Assmann, Martin and Engels, Gregor}}, booktitle = {{Proc. of the 12th IEEE International Enterprise Distributed Object Computing Conference 2008 (EDOC 08), Munich (Germany)}}, pages = {{xxxiv--xliii}}, publisher = {{IEEE Computer Society}}, title = {{{Service-Oriented Enterprise Architectures: Evolution of Concepts and Methods}}}, doi = {{https://groups.uni-paderborn.de/fg-engels/Publications/10.1109/EDOC.2008.48}}, year = {{2008}}, } @inproceedings{7995, abstract = {{Enterprise Architecture (EA) has undergone many changes since the IT has found its way into enterprises. At the moment the Service-Oriented Architecture (SOA) is being hyped but has also gained some importance. Implementing SOA can have many implications for an enterprise, depending on how visionary the implemented architecture is. This paper provides the description of an enterprise architecture that is fully-fledged concerning service-orientation and points out the architectural challenges that have to be mastered with future research results.}}, author = {{Assmann, Martin and Engels, Gregor}}, booktitle = {{Proceedings of the Second European Conference on Software Architecture (ECSA 2008), Paphos (Cyprus)}}, pages = {{346--349}}, publisher = {{Springer}}, title = {{{Transition to Service-Oriented Enterprise Architecture}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-88030-1_34}}, volume = {{5292}}, year = {{2008}}, } @inproceedings{7996, author = {{Salger, Frank and Bennicke, Marcel and Engels, Gregor and Lewerentz, Claus}}, booktitle = {{Quality of Software Architectures. Models and Architectures}}, pages = {{205--219}}, publisher = {{Springer}}, title = {{{Comprehensive Architecture Evaluation and Management in Large Software-Systems}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-87879-7_13}}, volume = {{5281}}, year = {{2008}}, } @inproceedings{7997, author = {{Engels, Gregor and Voß, Markus}}, booktitle = {{Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik}}, pages = {{24--27}}, publisher = {{Gesellschaft für Informatik (GI)}}, title = {{{Quasar Enterprise - Anwendungslandschaften serviceorientiert gestalten}}}, volume = {{121}}, year = {{2008}}, } @inproceedings{7998, abstract = {{Business-driven development favors the construction of process models at different abstraction levels and by different people. As a consequence, there is a demand for consolidating different versions of process models by detecting and resolving differences. Existing approaches rely on the existence of a change log which logs the changes when changing a process model. However, in several scenarios such a change log does not exist and differences must be identified by comparing process models before and after changes have been made. In this paper, we present our approach to detecting and resolving differences between process models, in the absence of a change log. It is based on computing differences and deriving change operations for resolving differences, thereby providing a foundation for variant and version management in these cases.}}, author = {{Küster, Jochen and Gerth, Christian and Förster, Alexander and Engels, Gregor}}, booktitle = {{Proceedings of the 6th International Conference on Business Process Management (BPM'08)}}, pages = {{244--260}}, publisher = {{Springer}}, title = {{{Detecting and Resolving Process Model Differences in the Absence of a Change Log}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-85758-7_19}}, volume = {{5240}}, year = {{2008}}, } @inproceedings{7999, author = {{Engels, Gregor and Hess, Andreas and Humm, Bernhard and Juwig, Oliver and Lohmann, Marc and Richter, Jan-Peter and Voß, Markus and Willkomm, Johannes}}, booktitle = {{Proceedings of the Tenth International Conference on Enterprise Information Systems (ICEIS 2008), Barcelona (Spain)}}, pages = {{272--281}}, publisher = {{Springer}}, title = {{{A Method for Engineering a true Service-Oriented Architecture}}}, volume = {{ISAS-2}}, year = {{2008}}, }