@inproceedings{835, author = {{Valentin, Stefan and Karl, Holger}}, booktitle = {{IEEE Wireless Communications and Networking Conference, WCNC 2007, Hong Kong, China, 11-15 March, 2007}}, pages = {{896----901}}, title = {{{Effect of User Mobility in Coded Cooperative Systems with Joint Partner and Cooperation Level Selection}}}, doi = {{10.1109/WCNC.2007.170}}, year = {{2007}}, } @inproceedings{836, author = {{Marie Feeney, Laura and Cetin, Bilge and Hollos, Daniel and Kubisch, Martin and Mengesha, Seble and Karl, Holger}}, booktitle = {{Wired/Wireless Internet Communications, 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings}}, pages = {{201----212}}, title = {{{Multi-rate Relaying for Performance Improvement in IEEE 802.11 WLANs}}}, doi = {{10.1007/978-3-540-72697-5_17}}, year = {{2007}}, } @inproceedings{8413, author = {{Anastasakis, Kyriakos and Bordbar, Behzad and Küster, Jochen}}, booktitle = {{Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA)}}, pages = {{47--56}}, publisher = {{Springer}}, title = {{{Analysis of Model Transformations via Alloy}}}, volume = {{5002}}, year = {{2007}}, } @inproceedings{8414, abstract = {{The Model-Driven Architecture (MDA) approach for constructing software systems advocates a stepwise refinement and transformation process starting from high-level models to concrete program code. In contrast to numerous research efforts that try to generate executable function code from models, we propose a novel approach termed model-driven monitoring. On the model level the behavior of an operation is specified with a pair of UML composite structure diagrams (visual contract), a visual notation for pre- and post-conditions. The specified behavior is implemented by a programmer manually. An automatic translation from our visual contracts to JML assertions allows for monitoring the hand-coded programs during their execution. In this paper we present an approach to extend our model-driven monitoring approach to allow for model-driven unit testing. In this approach we utilize the generated JML assertions as test oracles. Further, we present an idea how to generate sufficient test cases from our visual contracts with the help of model-checking techniques.}}, author = {{Engels, Gregor and Güldali, Baris and Lohmann, Marc}}, booktitle = {{Proceedings of the 2006 International Conference on Models in Software Engineering (MoDELS 2006)}}, pages = {{182--192}}, publisher = {{Springer}}, title = {{{Towards Model-Driven Unit Testing}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-69489-2_23}}, volume = {{4364}}, year = {{2007}}, } @inproceedings{8415, author = {{Soltenborn, Christian and Engels, Gregor}}, booktitle = {{Symposium "A Formal Semantics for UML" (satellite event of the MoDELS conference 2006), Genova (Italy)}}, pages = {{329--330}}, publisher = {{Springer}}, title = {{{Analysis of UML Activities with Dynamic Meta Modeling Techniques}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-69489-2_42}}, volume = {{4364}}, year = {{2007}}, } @inproceedings{8416, author = {{Ryndina, Ksenia and Küster, Jochen and Gall, Harald}}, booktitle = {{Models in Software Engineering (1st Workshop on Quality in Modeling at MoDELS 2006, Genoa (Italy))}}, pages = {{80--90}}, publisher = {{Springer}}, title = {{{Consistency of Business Process Models and Object Life Cycles}}}, doi = {{http://dx.doi.org/10.1007/978-3-540-69489-2}}, volume = {{4364/2007}}, year = {{2007}}, } @inproceedings{8417, abstract = {{With the introduction of new Petri net-like semantics for Activities in UML 2.0, these have become a complete language for modeling behavior. Thus, UML Activities are nowadays investigated for application in many areas from embedded systems to business process modeling. However, some issues have been discovered that currently seem to limit the practical applicability of Activities. In this paper, we present an overview of the identified semantic and syntactic problems, and point at possible solutions and directions for future research.}}, author = {{Schattkowsky, Tim and Förster, Alexander}}, booktitle = {{Proceedings of the ICSE workshop on Modeling in Software Engineering (MISE 2007), Minneapolis, MN (USA)}}, pages = {{8}}, publisher = {{IEEE Computer Society}}, title = {{{On the Pitfalls of UML Activity Modeling}}}, doi = {{http://dx.doi.org/10.1109/MISE.2007.12}}, year = {{2007}}, } @inproceedings{6508, abstract = {{In this paper, we present a framework that supports experimenting with evolutionary hardware design. We describe the framework's modules for composing evolutionary optimizers and for setting up, controlling, and analyzing experiments. Two case studies demonstrate the usefulness of the framework: evolution of hash functions and evolution based on pre-engineered circuits.}}, author = {{Kaufmann, Paul and Platzner, Marco}}, booktitle = {{Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007)}}, isbn = {{076952866X}}, keywords = {{integrated circuit design, hardware evolution, evolutionary hardware design, evolutionary optimizers, hash functions, preengineered circuits, Hardware, Circuits, Design optimization, Visualization, Genetic programming, Genetic mutations, Clustering algorithms, Biological cells, Field programmable gate arrays, Routing}}, location = {{Edinburgh, UK}}, pages = {{447--454}}, publisher = {{IEEE}}, title = {{{MOVES: A Modular Framework for Hardware Evolution}}}, doi = {{10.1109/ahs.2007.73}}, year = {{2007}}, } @inproceedings{16467, author = {{Dynia, Miroslaw and Kutylowski, Jaroslaw and Meyer auf der Heide, Friedhelm and Schrieb, Jonas}}, booktitle = {{Proceedings of the nineteenth annual ACM symposium on Parallel algorithms and architectures - SPAA '07}}, isbn = {{9781595936677}}, title = {{{Local strategies for maintaining a chain of relay stations between an explorer and a base station}}}, doi = {{10.1145/1248377.1248420}}, year = {{2007}}, } @inproceedings{16651, author = {{Zukic, D. and Elsner, A. and Avdagic, Z. and Domik, Gitta and Schäfer, W. and Boskovic, D. }}, location = {{Bosnia Herzegovina}}, title = {{{Neural Networks in CT scan Visualization}}}, year = {{2007}}, } @inproceedings{16864, author = {{Schwier, M. and Domik, Gitta and Fricke, E. and Götz, F. and Fricke, H. and Weise, R. and Burchert, W.}}, location = {{Hannover}}, title = {{{Interaktive 2D-Transferfunktionen zur Visualisierung und Auswertung von CT/PET Datensätzen}}}, year = {{2007}}, } @inproceedings{16865, author = {{Fricke, H. and Schwier, M. and Weise, R. and Van den Hoff, J. and Fricke , E. and Burchert, W. and Domik, G.}}, booktitle = {{45. Jahrestagung der Deutschen Gesellschaft für Nuklearmedizin}}, title = {{{Koregistrierung parametrischer PET-Daten mit CT-Datensätzen in der kardialen Diagnostik}}}, year = {{2007}}, } @article{16877, author = {{Burchert, W. and Domik, Gitta and Fricke, E. and Fricke, H. and Goetz, F. and Weise, R.}}, journal = {{ForschungsForum Paderborn }}, title = {{{Neue Hoffnung für Herzkranke - Volumenrendering für die Gesundheit}}}, year = {{2007}}, } @misc{10623, author = {{Beisel, Tobias}}, publisher = {{Paderborn University}}, title = {{{Entwurf und Evaluation eines parallelen Verfahrens zur Bildrekonstruktion in der Positronen-Emissions-Tomographie auf Multi-Core-Architekturen}}}, year = {{2007}}, } @article{10625, author = {{Bergmann, Neil and Platzner, Marco and Teich, Jürgen}}, journal = {{{EURASIP} Journal on Embedded Systems}}, pages = {{1--2}}, publisher = {{Springer Science+Business Media}}, title = {{{Dynamically Reconfigurable Architectures (editorial)}}}, doi = {{10.1155/2007/28405}}, volume = {{2007}}, year = {{2007}}, } @misc{10643, author = {{Ceylan, Toni and Yalcin, Coni}}, publisher = {{Paderborn University}}, title = {{{Distributed Simulation of mobile Robots using EyeSim}}}, year = {{2007}}, } @article{10646, author = {{Danne, Klaus and Mühlenbernd, Roland and Platzner, Marco}}, issn = {{1751-8601}}, journal = {{IET Computers Digital Techniques}}, keywords = {{reconfigurable architectures, resource allocation, device reconfiguration time, dynamic hardware reconfiguration, dynamically reconfigurable hardware, light-weight runtime system, merge server distribute load, periodic real-time tasks, runtime system overheads, schedulability analysis, scheduling technique, server-based execution, synthesis tool flow}}, number = {{4}}, pages = {{295--302}}, title = {{{Server-based execution of periodic tasks on dynamically reconfigurable hardware}}}, doi = {{10.1049/iet-cdt:20060186}}, volume = {{1}}, year = {{2007}}, } @misc{10647, author = {{Defo, Bertrand}}, publisher = {{Paderborn University}}, title = {{{A Comparison of Multi-Objective Evolutionary Algorithms for Automated Circuit Design and Optimization}}}, year = {{2007}}, } @misc{10648, author = {{Döhre, Sven}}, publisher = {{Paderborn University}}, title = {{{Entwurf und Implementierung einer RocketIO-basierten Kommunikationsschnittstelle für Multi-FPGA Systeme}}}, year = {{2007}}, } @inproceedings{10689, author = {{Kaufmann, Paul and Platzner, Marco}}, booktitle = {{Architecture of Computing Systems (ARCS)}}, pages = {{199--208}}, publisher = {{Springer}}, title = {{{Toward Self-adaptive Embedded Systems: Multi-objective Hardware Evolution}}}, volume = {{4415}}, year = {{2007}}, }