@phdthesis{7584,
  abstract     = {{The technique of Dynamic Meta Modeling allows for specifying the semantics of visual modeling languages (like, e.g., the Unified Modeling Language, UML). It is aimed at combining formal rigor (allowing for automated processing of expressions in the language and reasoning about them) with a user-friendly visual notation. We do explicitly exploit the meta modeling paradigm to provide our formalizations within a form known to the expected user base. Technically, DMM uses an innovative combination of elements from denotational and operational semantics together with Graph Transformations. The thesis furthermore introduces a technically richer concept of relations to the Meta Object Facility (MOF). As an extended application example the core semantics of UML Activity Diagrams are formalized within this thesis. Pragmatic guidelines to formulate specifications in DMM and tool support to test the effect of such specifications complete the thesis.}},
  author       = {{Hendrik Hausmann, Jan}},
  title        = {{{Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Languages}}},
  year         = {{2005}},
}

@inproceedings{8394,
  author       = {{Schattkowsky, Tim and Lohmann, Marc}},
  booktitle    = {{Proceedings of the MoDELS'05 Workshop on Model Driven Development of Advanced User Interfaces}},
  publisher    = {{CEUR-WS.org}},
  title        = {{{Towards employing UML Model Mappings for Platform Independent User Interface Design}}},
  volume       = {{159}},
  year         = {{2005}},
}

@inproceedings{8395,
  author       = {{Rettberg, Achim and Schattkowsky, Tim and Rust, Carsten and Müller, Wolfgang and Josef Rammig, Franz}},
  booktitle    = {{Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia)}},
  pages        = {{139--147}},
  publisher    = {{Springer}},
  title        = {{{The Reconfigurable UML Machine Project Group}}},
  volume       = {{192}},
  year         = {{2005}},
}

@inproceedings{8396,
  author       = {{Cherchago, Alexey and Engels, Gregor}},
  booktitle    = {{International ERCIM-ESF Workshop on Challenges in Software Evolution (ChaSE 2005), Berne (Switzerland)}},
  title        = {{{Preservation of Compatibility under Evolution of Software Components}}},
  year         = {{2005}},
}

@inproceedings{8397,
  abstract     = {{Die Vision von Web Services ist, dass ein Service Requestor einen Ser-vice Provider dynamisch finden und binden kann. Für das Finden eines Web Ser-vices müssen die Anforderungen eines Requestors und die Beschreibung eines Services miteinander verglichen werden. Syntaktische Beschreibungen reichen hierfür nicht aus. Eine Möglichkeit zur semantischen Beschreibung von Web Ser-vices basiert auf der Technik Design by Contract. In diesem Papier führen wir eine UML-basierte Notation für Kontrakte sowie ein Matching-Konzept ein. Damit wird eine automatisierte, semantische Suche nach Web Services möglich.}},
  author       = {{Engels, Gregor and Lohmann, Marc and Sauer, Stefan}},
  booktitle    = {{Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Service-orientierte Architekturen - Zusammenwirken von Business & IT, Bonn (Germany)}},
  pages        = {{612--616}},
  publisher    = {{Gesellschaft für Informatik (GI)}},
  title        = {{{Design by Contract zur semantischen Beschreibung von Web Services}}},
  volume       = {{68}},
  year         = {{2005}},
}

@inproceedings{8398,
  abstract     = {{Die Qualität Service-orientierter Softwaresysteme hängt wesentlich von der Einbindung der richtigen Dienste ab. Zwei grundsätzliche Aspekte kommen hierbei zum Tragen: (1) Passen die Anforderungen eines Service Requestors und die Servicebeschreibung eines Service Providers zusammen und (2) ist die Imple-mentierung der Web Services korrekt gegenüber der Servicebeschreibung. Wir verwenden Design by Contract Techniken auf der Modellebene zur semantischen Beschreibung von Web Services und führen ein Matching-Konzept für den Ver-gleich von Requestor- und Provider-Kontrakten ein. Damit wird eine automatisier-te, semantische Suche nach Web Services möglich. Wir erläutern zudem eine mo-dellbasierte Vorgehensweise zur Entwicklung von Web Services. Hierbei werden aus den Modellen der Anwendung (1) die auswertbaren semantischen Beschrei-bungen und (2) Runtime-Assertions erzeugt, um die Korrektheit der Implementie-rung eines Web Services gegenüber seiner Spezifikation zu überprüfen. So wird eine konstruktive und prüfende Qualitätssicherung unterstützt.}},
  author       = {{Engels, Gregor and Lohmann, Marc and Sauer, Stefan}},
  booktitle    = {{Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany}},
  pages        = {{491--495}},
  publisher    = {{Gesellschaft für Informatik (GI)}},
  title        = {{{Modellbasierte Entwicklung von Web Services mit Design by Contract}}},
  volume       = {{68}},
  year         = {{2005}},
}

@inproceedings{8399,
  author       = {{Heckel, Reiko and Thöne, Sebastian}},
  booktitle    = {{Proceedings of the workshop on Software Evolution through Transformations (SETra 2004), Rome (Italy)}},
  number       = {{3}},
  pages        = {{101--111}},
  publisher    = {{Elsevier}},
  title        = {{{Behavioral Refinement of Graph Transformation-Based Models}}},
  doi          = {{http://dx.doi.org/10.1016/j.entcs.2004.08.037}},
  volume       = {{127}},
  year         = {{2005}},
}

@inproceedings{8400,
  author       = {{Heckel, Reiko and Lohmann, Marc}},
  booktitle    = {{Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)}},
  pages        = {{145--156}},
  publisher    = {{Elsevier}},
  title        = {{{Towards Contract-based Testing of Web Services}}},
  doi          = {{http://dx.doi.org/10.1016/j.entcs.2004.02.073}},
  volume       = {{116}},
  year         = {{2005}},
}

@inproceedings{8401,
  abstract     = {{While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further investigation. Nowadays, user interface design is usually platform specific or based on C-level cross-platform libraries. In this paper, we propose a MDA like design approach for user interfaces based on the transformation of UML models at different levels of abstraction. This enables platform independent design of user interfaces and a clear separation of UI and application logic design while enabling full use of native controls in the actual user interface implementation.}},
  author       = {{Schattkowsky, Tim and Lohmann, Marc}},
  booktitle    = {{Proceedings of the Satellite Events at the MoDELS 2005 Conference}},
  pages        = {{201--209}},
  publisher    = {{Springer}},
  title        = {{{Towards employing UML Model Mappings for Platform Independent User Interface Design (Revised)}}},
  doi          = {{http://dx.doi.org/10.1007/11663430_21}},
  volume       = {{3844}},
  year         = {{2005}},
}

@inproceedings{8402,
  author       = {{Schattkowsky, Tim and Hendrik Hausmann, Jan and Rettberg, Achim}},
  booktitle    = {{Proceedings of the UML for SoC Design Workshop}},
  title        = {{{Using UML Activities for Synthesis on Reconfigurable Hardware}}},
  year         = {{2005}},
}

@book{841,
  author       = {{Karl, Holger and Willig, Andreas}},
  isbn         = {{978-0-470-09510-2}},
  title        = {{{Protocols and architectures for wireless sensor networks}}},
  year         = {{2005}},
}

@article{842,
  author       = {{Ebert, Jean-Pierre and Hollos, Daniel and Karl, Holger and Löbbers, Marc}},
  journal      = {{Comput. J.}},
  number       = {{1}},
  pages        = {{72----83}},
  title        = {{{Does Multi-Hop Communication Reduce Electromagnetic Exposure?}}},
  doi          = {{10.1093/comjnl/bxh062}},
  year         = {{2005}},
}

@article{843,
  author       = {{Savoric, Michael and Karl, Holger and Schläger, Morten and Poschwatta, Tobias and Wolisz, Adam}},
  journal      = {{Computer Networks}},
  number       = {{2}},
  pages        = {{269----294}},
  title        = {{{Analysis and performance evaluation of the EFCM common congestion controller for TCP connections}}},
  doi          = {{10.1016/j.comnet.2005.01.012}},
  year         = {{2005}},
}

@article{844,
  author       = {{Gross, James and Valentin, Stefan and Karl, Holger and Wolisz, Adam}},
  journal      = {{European Transactions on Telecommunications}},
  number       = {{1}},
  pages        = {{37----49}},
  title        = {{{A study of impact of inband signalling and realistic channel knowledge for an example dynamic OFDM-FDMA system}}},
  doi          = {{10.1002/ett.1030}},
  year         = {{2005}},
}

@article{845,
  author       = {{Karl, Holger and Lentsch, Thomas and Ritter, Hartmut}},
  journal      = {{Praxis der Informationsverarbeitung und Kommunikation}},
  number       = {{2}},
  pages        = {{66----67}},
  title        = {{{Drahtlose Sensornetze}}},
  doi          = {{10.1515/PIKO.2005.66}},
  year         = {{2005}},
}

@article{846,
  author       = {{Willig, Andreas and Karl, Holger}},
  journal      = {{Praxis der Informationsverarbeitung und Kommunikation}},
  number       = {{2}},
  pages        = {{86----92}},
  title        = {{{Data Transport Reliability in Wireless Sensor Networks. A Survey of Issues and Solutions}}},
  doi          = {{10.1515/PIKO.2005.86}},
  year         = {{2005}},
}

@inproceedings{847,
  author       = {{Kopke, Andreas and Karl, Holger and Lobbers, Marc}},
  booktitle    = {{Wireless Sensor Networks, Second European Workshop, EWSN 2005, Istanbul, Turkey, January 31 - February 2, 2005, Proceedings}},
  pages        = {{226----235}},
  title        = {{{Using energy where it counts: protecting important messages in the link layer}}},
  doi          = {{10.1109/EWSN.2005.1462015}},
  year         = {{2005}},
}

@inbook{848,
  author       = {{Karl, Holger}},
  booktitle    = {{The Industrial Information Technology Handbook}},
  pages        = {{1----16}},
  title        = {{{Ad Hoc Networks}}},
  year         = {{2005}},
}

@inbook{16468,
  author       = {{Bienkowski, Marcin and Korzeniowski, Miroslaw and Meyer auf der Heide, Friedhelm}},
  booktitle    = {{Peer-to-Peer Systems IV}},
  isbn         = {{9783540290681}},
  issn         = {{0302-9743}},
  title        = {{{Dynamic Load Balancing in Distributed Hash Tables}}},
  doi          = {{10.1007/11558989_20}},
  year         = {{2005}},
}

@inbook{16469,
  author       = {{Bienkowski, Marcin and Meyer auf der Heide, Friedhelm}},
  booktitle    = {{Mathematical Foundations of Computer Science 2005}},
  isbn         = {{9783540287025}},
  issn         = {{0302-9743}},
  title        = {{{Page Migration in Dynamic Networks}}},
  doi          = {{10.1007/11549345_1}},
  year         = {{2005}},
}