@article{7382, abstract = {{UML offers different diagram types to model behavior and dynamics of software systems. In some domains like embedded real-time systems or multimedia systems, it is necessary to include specifications of time since the correctness of these applications depends on the fulfillment of temporal requirements in addition to functional requirements. UML thus already incorporates language features to model time and temporal constraints. Such model elements must have an equivalent in the semantic domain. We have proposed Dynamic Meta Modeling (DMM) as a means for the specification of the formal operational semantics of UML models by applying graph transformation to the meta modeling of dynamic behavior. Within this paper, we extend this approach to also account for time by building on timed graph transformations. We apply these concepts to the domain of multimedia application modeling in which we adopt UML sequence diagrams. The DMM rules with time then specify an interpreter that can be used to analyze or test a model of multimedia sequence diagrams.}}, author = {{Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}}, journal = {{Software and Systems Modeling}}, number = {{3}}, pages = {{181--193}}, title = {{{Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams}}}, volume = {{3}}, year = {{2004}}, } @inbook{7533, abstract = {{We present the adaptive cruise controller case study for B modelling and the model checking by RAVEN. Individual translations of B operations, data types, and invariants to the RAVEN Input Language are presented by the example of the case study.}}, author = {{Krupp, Alexander and Lundkvist, Ola and Schattkowsky, Tim and Snook, Colin}}, booktitle = {{UML-B System Specification for Proven Electronic Design}}, editor = {{Mermet, J. }}, publisher = {{Kluwer}}, title = {{{Adaptive Cruise Controller Case Study}}}, year = {{2004}}, } @inbook{7534, abstract = {{This article presents the E-COLLEG Tool Registration and Management Services (TRMS) with open XML-based data exchange, tool integration and remote invocation capabilities. TRMS is a workflow management middleware tailored to distance spanning engineering collaboration and security enabled data exchange. The infrastructure is validated through two industrial Intranet-crossing case studies between Polish, French, and German chip manufacturing industries applying real-world development scenarios. In both application scenarios, common engineering practices have been identified and built into engineering workflows. Further, the current truly pan-European collaborative industrial scenarios show promising results with respect to the stability of the implemented software and easy application and flexibility of the provided interfaces.}}, author = {{Schattkowsky, Tim and Mueller, Wolfgang and Pawlak, Adam}}, booktitle = {{Workflow Handbook 2004}}, editor = {{Fischer, L. }}, pages = {{5--14}}, publisher = {{Workflow Management Coalition}}, title = {{{Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering}}}, year = {{2004}}, } @phdthesis{7585, author = {{Küster, Jochen}}, title = {{{Consistency Management of Object-Oriented Behavioral Models}}}, year = {{2004}}, } @phdthesis{7586, abstract = {{This dissertation describes an approach to the visual modeling of software systems which are composed of autonomous and proactive software entities interacting with their environment. These entities are named software agents. More and more software systems are distributed, dynamic and open with respect to their environment. Software agents shall ease the development of such systems. Agent based systems provide a modular structure. They are robust and can be adapted dynamically to changing requirements. The notion of software agent relies on the fundamental properties of autonomy, proactivity and structured interaction. According to these properties agents are distinguished from objects and components. For the development of agent based systems an appropriate modeling language and a process model describing the correct usage of the language are demanded. For both aspects only unsufficient or incomplete approaches exist. This thesis contributes to the solution in the following way: A new abstract and formal model of agent based systems shows, that the fundamental properties can be expressed precisely. Differently from existing models not only a single agent but a multi agent system can be modeled. The most important architectural models of agent-based systems are compatible with the abstract model. The rather restricted structure of the abstract model motivates the refinement by a model of coupled I/Oautomata. The Unified Modeling Language is widely used in industrial software development. Therefore, the new language AML (Agent Modeling Language) for the development of agent-based systems is defined as a UML profile. The semantics of AML models is defined in the semantic domain of graph transformation. The semantic domain is restricted to an adequate agent-oriented domain. There the constituents of the fundamental agent properties are defined. Agent based systems which are described using AML are shown to be compatible with I/O-automata model of multi agent systems. Constituents for proactivity are goals and strategies. In this thesis, it is shown that the reachability of goals through the application of strategies can be checked by applying a model checking method. The new process model APM describes, how the language AML can be applied to the modeling of agent-based systems.}}, author = {{Depke, Ralph}}, title = {{{Visuelle Modellierung agentenbasierter Systeme}}}, year = {{2004}}, } @article{7678, author = {{Haberer, E. D. and Sharma, R. and Meier, Cedrik and Stonas, A. R. and Nakamura, S. and DenBaars, S. P. and Hu, E. L.}}, issn = {{0003-6951}}, journal = {{Applied Physics Letters}}, number = {{22}}, pages = {{5179--5181}}, publisher = {{AIP Publishing}}, title = {{{Free-standing, optically pumped, GaN∕InGaN microdisk lasers fabricated by photoelectrochemical etching}}}, doi = {{10.1063/1.1829167}}, volume = {{85}}, year = {{2004}}, } @article{7679, author = {{Knipping, Jörg and Wiggers, Hartmut and Rellinghaus, Bernd and Roth, Paul and Konjhodzic, Denan and Meier, Cedrik}}, issn = {{1533-4880}}, journal = {{Journal of Nanoscience and Nanotechnology}}, number = {{8}}, pages = {{1039--1044}}, publisher = {{American Scientific Publishers}}, title = {{{Synthesis of High Purity Silicon Nanoparticles in a Low Pressure Microwave Reactor}}}, doi = {{10.1166/jnn.2004.149}}, volume = {{4}}, year = {{2004}}, } @article{7680, author = {{Wibbelhoff, O and Meier, Cedrik and Lorke, A and Schafmeister, P and Wieck, A.D}}, issn = {{1386-9477}}, journal = {{Physica E: Low-dimensional Systems and Nanostructures}}, number = {{2-4}}, pages = {{516--520}}, publisher = {{Elsevier BV}}, title = {{{Wave function mapping of self-assembled quantum dots by capacitance spectroscopy}}}, doi = {{10.1016/j.physe.2003.11.077}}, volume = {{21}}, year = {{2004}}, } @inproceedings{8386, author = {{Sendall, Shane and Hauser, Rainer and Koehler, Jana and Küster, Jochen and Wahler, Michael}}, booktitle = {{Proceedings of the Workshop on Software Transformation Systems (STS 2004, satellite event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada)}}, title = {{{Understanding Model Transformation by Classification and Formalization}}}, year = {{2004}}, } @inproceedings{8387, author = {{Heckel, Reiko and Thöne, Sebastian}}, booktitle = {{Proceedings of the workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain)}}, pages = {{1--27}}, publisher = {{Springer}}, title = {{{Behavior-Preserving Refinement Relations between Dynamic Software Architectures}}}, volume = {{3423}}, year = {{2004}}, } @inproceedings{8388, author = {{Heckel, Reiko and Cherchago, Alexey and Lohmann, Marc}}, booktitle = {{Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy}}, pages = {{37--49}}, publisher = {{Elsevier}}, title = {{{A Formal Approach to Service Specification and Matching based on Graph Transformation}}}, doi = {{http://dx.doi.org/10.1016/j.entcs.2004.05.006}}, volume = {{105}}, year = {{2004}}, } @inproceedings{8389, author = {{Küster, Jochen}}, booktitle = {{Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)}}, title = {{{Systematic Validation of Model Transformations}}}, year = {{2004}}, } @inproceedings{8390, author = {{Küster, Jochen and Sendall, Shane and Wahler, Michael}}, booktitle = {{Proceedings of the Workshop on OCL and Model Driven Engineering (satellite event of the UML 2004), Lisbon (Portugal)}}, pages = {{114--127}}, publisher = {{University of Kent}}, title = {{{Comparing two Model Transformation Approaches}}}, year = {{2004}}, } @inproceedings{8391, author = {{Küster, Jochen}}, booktitle = {{International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain)}}, pages = {{57--69}}, publisher = {{Elsevier}}, title = {{{Towards Inconsistency Handling of Object-Oriented Behavioral Models}}}, doi = {{http://dx.doi.org/10.1016/j.entcs.2004.02.056}}, volume = {{109}}, year = {{2004}}, } @inproceedings{8392, author = {{Schattkowsky, Tim and Rettberg, Achim}}, booktitle = {{Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA)}}, title = {{{UML for FPGA Synthesis}}}, year = {{2004}}, } @inproceedings{8393, author = {{Sendall, Shane and Küster, Jochen}}, booktitle = {{Proceedings of Workshop on Best Practices for Model-Driven Software Development (satellite event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada)}}, title = {{{Taming Model Round-Trip Engineering}}}, year = {{2004}}, } @inbook{8450, author = {{Kremer, H.-Hugo}}, booktitle = {{Networked Learning 2004. A research based conference on e-learning in higher education and lifelong learning}}, editor = {{Banks, S. and Goodyear, P. and Hodgson, V. and Jones, C. and Lally, V. and McConnel, D. and Steeples, C.}}, pages = {{751--752}}, title = {{{Virtual conference: a telecooperative learning environment}}}, year = {{2004}}, } @inbook{8451, author = {{Deißinger, T. and Kremer, H.-Hugo}}, booktitle = {{Theorie-Praxis-Verzahnung in der beruflichen und gymnsasialen Lehrerbildung. Das Praxissemester in Baden-Württemberg.}}, editor = {{Backes-Haase, A. and Frommer, H.}}, pages = {{88--105}}, title = {{{Organisation und didaktische Ausrichtung des "Praxissemesters" im Rahmen des Diplomstudiengangs Wirtschaftspädagogik an der Universität Konstanz}}}, year = {{2004}}, } @inbook{8452, author = {{Kremer, H.-Hugo}}, booktitle = {{Lernfelder gestalten - miteinander Lernen - Innovationen vernetzen. Ergebnisse der 1. CULIK Fachtagung (12.05.2004)}}, editor = {{Gramlinger, F. and Steinemann, S. and Tramm, T.}}, title = {{{Qualifizierungsnetzwerke - Lernumgebung für Lehrkräfte?}}}, year = {{2004}}, } @inbook{8453, author = {{Kremer, H.-Hugo}}, booktitle = {{The annual conference of the Association for Information Technology in Teacher Education}}, editor = {{Bennett, R.}}, title = {{{Virtual conference - a cooperative learning environment for teacher education?}}}, year = {{2004}}, } @inbook{8454, author = {{Kremer, H.-Hugo}}, booktitle = {{Lernfelder gestalten - miteinander Lernen - Innovationen vernetzen. Ergebnisse der 1. CULIK Fachtagung}}, editor = {{Gramlinger, F. and Steinemann, S. and Tramm, T.}}, pages = {{82--95}}, title = {{{Qualifizierungsnetzwerke - Lernumgebung für Lehrkräfte}}}, year = {{2004}}, } @article{850, author = {{Gross, James and Klaue, Jirka and Karl, Holger and Wolisz, Adam}}, journal = {{Computer Communications}}, number = {{11}}, pages = {{1044----1055}}, title = {{{Cross-layer optimization of OFDM transmission systems for MPEG-4 video streaming}}}, doi = {{10.1016/j.comcom.2004.01.010}}, year = {{2004}}, } @article{851, author = {{Niebert, Norbert and Schieder, Andreas and Abramowicz, Henrik and Malmgren, G. and Sachs, Joachim and Horn, Uwe and Prehofer, Christian and Karl, Holger}}, journal = {{IEEE Wireless Communications}}, number = {{2}}, pages = {{14----22}}, title = {{{Ambient networks: An architecture for communication networks beyond 3G}}}, doi = {{10.1109/MWC.2004.1295733}}, year = {{2004}}, } @inproceedings{852, author = {{Handziski, Vlado and Köpke, Andreas and Karl, Holger and Frank, Christian and Drytkiewicz, Witold}}, booktitle = {{Wireless Sensor Networks, First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings}}, pages = {{172----187}}, title = {{{Improving the Energy Efficiency of Directed Diffusion Using Passive Clustering}}}, doi = {{10.1007/978-3-540-24606-0_12}}, year = {{2004}}, } @inproceedings{853, author = {{Typpö, Ville and Eisl, Jochen and Höller, Jan and Agüero, Ramon and Karl, Holger}}, booktitle = {{Broadband Satellite Comunication Systems and the Challenges of Mobility - IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22-27, 2004, Toulouse, France}}, pages = {{145----155}}, title = {{{Research Challenges in Mobility and Moving Networks: An Ambient Networks View}}}, doi = {{10.1007/0-387-24043-8_15}}, year = {{2004}}, } @inproceedings{854, author = {{Frank, Christian and Karl, Holger}}, booktitle = {{Proceedings of the 7th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2004, Venice, Italy, October 4-6, 2004}}, pages = {{105----114}}, title = {{{Consistency challenges of service discovery in mobile ad hoc networks}}}, doi = {{10.1145/1023663.1023684}}, year = {{2004}}, } @inproceedings{855, author = {{Marie Feeney, Laura and Hollos, Daniel and Kubisch, Martin and Mengesha, Seble and Karl, Holger}}, booktitle = {{NETWORKING 2004, Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communication, Third International IFIP-TC6 Networking Conference, Athens, Greece, May 9-14, 2004, Proceedings}}, pages = {{1312----1317}}, title = {{{A Geometric Derivation of the Probability of Finding a Relay in Multi-rate Networks}}}, doi = {{10.1007/978-3-540-24693-0_112}}, year = {{2004}}, } @inproceedings{856, author = {{Hollos, Daniel and Karl, Holger and Wolisz, Adam}}, booktitle = {{2004 IEEE Wireless Communications and Networking Conference, WCNC 2004, Atlanta, Georgia, USA, 21-25 March 2004}}, pages = {{819----824}}, title = {{{Regionalizing global optimization algorithms to improve the operation of large ad hoc networks}}}, doi = {{10.1109/WCNC.2004.1311292}}, year = {{2004}}, } @inproceedings{857, author = {{Raguin, David and Kubisch, Martin and Karl, Holger and Wolisz, Adam}}, booktitle = {{2004 IEEE Wireless Communications and Networking Conference , WCNC 2004, Atlanta, Georgia, USA, 21-25 March 2004}}, pages = {{1909----1914}}, title = {{{Queue-driven cut-through medium access in wireless ad hoc networks}}}, doi = {{10.1109/WCNC.2004.1311845}}, year = {{2004}}, } @inbook{858, author = {{Karl, Holger}}, booktitle = {{Location-Based Services}}, pages = {{207----244}}, title = {{{Data Transmission in Mobile Communication Systems}}}, year = {{2004}}, } @proceedings{859, editor = {{Karl, Holger and Willig, Andreas and Wolisz, Adam}}, isbn = {{3-540-20825-9}}, publisher = {{First European Workshop, {EWSN} 2004, Berlin, Germany, January 19-21, 2004, Proceedings}}, title = {{{Wireless Sensor Networks}}}, doi = {{10.1007/b94854}}, year = {{2004}}, } @article{8676, author = {{Langbein, W. and Borri, P. and Woggon, U. and Schwab, M. and Bayer, M. and Fafard, S. and Wasilewski, Z. and Hawrylak, P. and Stavarache, V. and Reuter, Dirk and Wieck, A.D.}}, issn = {{1386-9477}}, journal = {{Physica E: Low-dimensional Systems and Nanostructures}}, pages = {{400--407}}, title = {{{Coherent dynamics in InGaAs quantum dots and quantum dot molecules}}}, doi = {{10.1016/j.physe.2004.08.004}}, year = {{2004}}, } @article{8680, author = {{Reuter, Dirk and Kailuweit, P. and Wieck, A.D. and Zeitler, U. and Maan, J.C.}}, issn = {{1386-9477}}, journal = {{Physica E: Low-dimensional Systems and Nanostructures}}, pages = {{446--449}}, title = {{{Magnetic field dependence of hole levels in InAs quantum dots}}}, doi = {{10.1016/j.physe.2004.08.078}}, year = {{2004}}, } @article{8687, author = {{Schuster, E. and Keune, W. and Lo, F.-Y. and Reuter, Dirk and Wieck, A. and Westerholt, K.}}, issn = {{0749-6036}}, journal = {{Superlattices and Microstructures}}, pages = {{313--320}}, title = {{{Preparation and characterization of epitaxial Fe(001) thin films on GaAs(001)-based LED for spin injection}}}, doi = {{10.1016/j.spmi.2004.11.004}}, year = {{2004}}, } @article{8688, author = {{Schmidt, R. and Vitzethum, M. and Fix, R. and Scholz, U. and Malzer, S. and Metzner, C. and Kailuweit, P. and Reuter, Dirk and Wieck, A. and Hübner, M.C. and Stufler, S. and Zrenner, A. and Döhler, G.H.}}, issn = {{1386-9477}}, journal = {{Physica E: Low-dimensional Systems and Nanostructures}}, pages = {{110--114}}, title = {{{Electroluminescence of single-dot nano-LEDs—optical spectroscopy of an electrically tunable few-electron/hole system}}}, doi = {{10.1016/j.physe.2004.08.034}}, year = {{2004}}, } @article{8692, author = {{Kähler, D and Knop, M and Kunze, U and Reuter, Dirk and Wieck, A D}}, issn = {{0268-1242}}, journal = {{Semiconductor Science and Technology}}, pages = {{140--143}}, title = {{{Dual-gate GaAs/AlGaAs quantum point contact with tuneable subband energy separation}}}, doi = {{10.1088/0268-1242/20/2/006}}, year = {{2004}}, } @article{8695, author = {{Kähler, Dirk and Kunze, Ulrich and Reuter, Dirk and D. Wieck, Andreas}}, issn = {{1386-9477}}, journal = {{Physica E: Low-dimensional Systems and Nanostructures}}, pages = {{435--439}}, title = {{{Ultrasmall nanoscale devices fabricated from compensating-layer GaAs/AlGaAs heterostructures}}}, doi = {{10.1016/j.physe.2003.11.058}}, year = {{2004}}, } @article{8696, author = {{Petrosyan, S. and Yesayan, A. and Reuter, Dirk and Wieck, A. D.}}, issn = {{0003-6951}}, journal = {{Applied Physics Letters}}, pages = {{3313--3315}}, title = {{{The linearly graded two-dimensional p–n junction}}}, doi = {{10.1063/1.1736316}}, year = {{2004}}, } @article{8697, author = {{Riedesel, C and Reuter, Dirk and Wieck, A.D}}, issn = {{1386-9477}}, journal = {{Physica E: Low-dimensional Systems and Nanostructures}}, pages = {{592--596}}, title = {{{Laterally patterned high mobility two-dimensional electron gases obtained by overgrowth of focused ion beam implanted Al1−xGaxAs}}}, doi = {{10.1016/j.physe.2003.11.085}}, year = {{2004}}, } @article{8698, author = {{Reuter, Dirk and Schafmeister, P. and Kailuweit, P. and Wieck, A.D.}}, issn = {{1386-9477}}, journal = {{Physica E: Low-dimensional Systems and Nanostructures}}, pages = {{445--450}}, title = {{{Frequency-dependent C(V) spectroscopy of the hole system in InAs quantum dots}}}, doi = {{10.1016/j.physe.2003.11.055}}, year = {{2004}}, } @article{8699, author = {{Reuter, Dirk and Seekamp, A and Wieck, A.D}}, issn = {{1386-9477}}, journal = {{Physica E: Low-dimensional Systems and Nanostructures}}, pages = {{872--875}}, title = {{{Fabrication of two-dimensional n- and p-type in-plane gate transistors from the same p-doped GaAs/In0.1Ga0.9As/Al0.33Ga0.67As heterostructure}}}, doi = {{10.1016/j.physe.2003.11.141}}, year = {{2004}}, } @article{8700, author = {{Regul, J. and Hohls, F. and Reuter, Dirk and Wieck, A.D. and Haug, R.J.}}, issn = {{1386-9477}}, journal = {{Physica E: Low-dimensional Systems and Nanostructures}}, pages = {{272--275}}, title = {{{High frequency conductance of a quantum point contact}}}, doi = {{10.1016/j.physe.2003.11.266}}, year = {{2004}}, } @article{8701, author = {{Reuter, Dirk and Werner, C. and Riedesel, C. and Wieck, A.D. and Schuster, D. and Hansen, W.}}, issn = {{1386-9477}}, journal = {{Physica E: Low-dimensional Systems and Nanostructures}}, pages = {{725--728}}, title = {{{Fabrication of two-dimensional p–n junctions formed by compensation doping of p-modulation doped GaAs/InyGa1−yAs/AlxGa1−x As heterostructures}}}, doi = {{10.1016/j.physe.2003.12.109}}, year = {{2004}}, } @article{8702, author = {{Russ, M and Lorke, A and Reuter, Dirk and Schafmeister, P}}, issn = {{1386-9477}}, journal = {{Physica E: Low-dimensional Systems and Nanostructures}}, pages = {{506--509}}, title = {{{Self-assembled quantum dots as probes for Landau-level spectroscopy}}}, doi = {{10.1016/j.physe.2003.12.056}}, year = {{2004}}, } @article{8703, author = {{Würtz, A. and Deviatov, E.V. and Lorke, A. and Dolgopolov, V.T. and Reuter, Dirk and Wieck, A.D.}}, issn = {{1386-9477}}, journal = {{Physica E: Low-dimensional Systems and Nanostructures}}, pages = {{177--180}}, title = {{{Separately contacted edge states in the fractional quantum Hall regime}}}, doi = {{10.1016/j.physe.2003.11.244}}, year = {{2004}}, } @article{8704, author = {{Langbein, W. and Borri, P. and Woggon, U. and Stavarache, V. and Reuter, Dirk and Wieck, A. D.}}, issn = {{1098-0121}}, journal = {{Physical Review B}}, title = {{{Control of fine-structure splitting and biexciton binding inInxGa1−xAsquantum dots by annealing}}}, doi = {{10.1103/physrevb.69.161301}}, year = {{2004}}, } @article{8705, author = {{Schaapman, M.R. and Zeitler, U. and Christianen, P.C.M. and Maan, J.C. and Reuter, Dirk and Wieck, A.D.}}, issn = {{1386-9477}}, journal = {{Physica E: Low-dimensional Systems and Nanostructures}}, pages = {{86--89}}, title = {{{Magnetization of multi-component two-dimensional quantum-Hall systems}}}, doi = {{10.1016/j.physe.2003.11.222}}, year = {{2004}}, } @article{8706, author = {{Schmidt, K. H. and Bock, C. and Versen, M. and Kunze, U. and Reuter, Dirk and Wieck, A. D.}}, issn = {{0021-8979}}, journal = {{Journal of Applied Physics}}, pages = {{5715--5721}}, title = {{{Capacitance and tunneling spectroscopy of InAs quantum dots}}}, doi = {{10.1063/1.1703827}}, year = {{2004}}, } @article{8707, author = {{Reuter, Dirk and Hoch, S. and Hausmanns, B. and Stahlmecke, B. and Dumpich, G. and Wieser, R. and Nowak, U. and Wieck, A.D.}}, issn = {{0304-8853}}, journal = {{Journal of Magnetism and Magnetic Materials}}, pages = {{1654--1655}}, title = {{{Hall magnetometry on Co, Fe, and Py nanowires}}}, doi = {{10.1016/j.jmmm.2003.12.241}}, year = {{2004}}, } @article{8709, author = {{Langbein, W. and Borri, P. and Woggon, U. and Stavarache, V. and Reuter, Dirk and Wieck, A.}}, issn = {{1098-0121}}, journal = {{Physical Review B}}, title = {{{Radiatively limited dephasing in InAs quantum dots}}}, doi = {{10.1103/physrevb.70.033301}}, year = {{2004}}, }