@inproceedings{39364, abstract = {{The textual Object Constraint Language (OCL) is an of- ficial part of the Unified Modeling Language (UML). OCL is primarily used to formulate restrictions over UML mod- els, in particular, invariants and operation pre- and post- conditions in the context of class diagrams. However, OCL is missing means to specify constraints over the dynamic behavior of a UML model. We have therefore developed a temporal extension of OCL that enables modelers to specify behavioral state-oriented constraints. That work provides an alternative to the rather cryptic temporal logic formulae that are commonly used to specify behavioral system prop- erties. This article now illustrates that our OCL extension al- lows for specifying all kinds of properties that are regarded as relevant in practice. We present according temporal OCL expressions for property specification patterns that have been identified in the area of formal specification.}}, author = {{Flake, Stephan and Müller, Wolfgang}}, booktitle = {{Proceedings of SERP'03}}, keywords = {{UML, Object Constraint Language, Patterns, Property Specification}}, title = {{{Expressing Property Specification Patterns with OCL}}}, year = {{2003}}, } @inproceedings{39366, abstract = {{Computer supported collaborative work (CSCW) is currently of growing interest for application industrial context. Integrated workflow systems are available to allow the integration of globally distributed teams. However, in many areas (i.e. in electronic design automation), tool integration remains to be a critical issue since existing legacy tools have to be integrated into distributed workflows. By integrating tools based on the operational semantics, dynamic assignment and replacement of tools in the workflows becomes possible. We present a middleware for secure collaborative engineering that enables flexible tool management and overcomes existing networking problems through a peer-to-peer based network infrastructure.}}, author = {{Schattkowsky, Tim and Müller, Wolfgang}}, booktitle = {{Proceedings of CCE'03}}, title = {{{Distributed Engineering Environment for the Design of Electronic Systems}}}, year = {{2003}}, } @inproceedings{39367, abstract = {{Confidentiality and security in data access and transmission over multiple open networks are of utmost importance for most collaborative engineering environments. In this article, we review smart card based security technologies for their application in computer-based collaborative engineering environments. We focus on most recent microprocessor-based smart cards and on JavaCard as a development infrastructure and operating system. Since JavaCard supports the integration of multiple applications on one card, it enables smart cards to integrate large sets of additional applications. In that context, we identify and discuss three potential key applications: authentication with biometrics, certification, and advanced profile management.}}, author = {{Wang, J. and Müller, Wolfgang}}, booktitle = {{Proceedings of CCE'03}}, title = {{{SmartCard for Secure Collaborative Engineering}}}, year = {{2003}}, } @inproceedings{39368, author = {{Krupp, Alexander and Müller, Wolfgang}}, booktitle = {{Proceedings of FDL'03}}, title = {{{Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}}}, year = {{2003}}, } @article{39985, author = {{Röder, T and Kitzerow, Heinz-Siegfried and Hummelen, J.C}}, issn = {{0379-6779}}, journal = {{Synthetic Metals}}, keywords = {{Materials Chemistry, Metals and Alloys, Mechanical Engineering, Mechanics of Materials, Condensed Matter Physics, Electronic, Optical and Magnetic Materials}}, number = {{3}}, pages = {{271--275}}, publisher = {{Elsevier BV}}, title = {{{Morphology and fluorescence quenching in photovoltaic samples containing fullerene and poly(p-phenylene-vinylene) derivatives}}}, doi = {{10.1016/s0379-6779(03)00412-0}}, volume = {{141}}, year = {{2003}}, } @article{28783, author = {{Mahnken, Rolf}}, issn = {{0020-7683}}, journal = {{International Journal of Solids and Structures}}, pages = {{6189--6209}}, title = {{{Creep simulation of asymmetric effects by use of stress mode dependent weighting functions}}}, doi = {{10.1016/s0020-7683(03)00388-3}}, year = {{2003}}, } @article{34896, abstract = {{We apply class field theory to the computation of the minimal discriminants for certain solvable groups. In particular, we apply our techniques to small Frobenius groups and all imprimitive degree 8 groups such that the corresponding fields have only a degree 2 and no degree 4 subfield.}}, author = {{Fieker, Claus and Klüners, Jürgen}}, issn = {{0022-314X}}, journal = {{Journal of Number Theory}}, keywords = {{Algebra and Number Theory}}, number = {{2}}, pages = {{318--337}}, publisher = {{Elsevier BV}}, title = {{{Minimal discriminants for fields with small Frobenius groups as Galois groups}}}, doi = {{10.1016/s0022-314x(02)00071-9}}, volume = {{99}}, year = {{2003}}, } @article{43639, author = {{Schroeter-Wittke, Harald and Kirsner, Inge}}, journal = {{Predigtstudien I/2}}, pages = {{109--118}}, title = {{{9. Sonntag nach Trinitatis. Mt 25,14-30: Die Angst vorm Verlieren verlieren}}}, year = {{2003}}, } @article{39851, author = {{Pannemann, Ch. and Diekmann, T. and Hilleringmann, Ulrich}}, issn = {{0167-9317}}, journal = {{Microelectronic Engineering}}, keywords = {{Electrical and Electronic Engineering, Surfaces, Coatings and Films, Condensed Matter Physics, Atomic and Molecular Physics, and Optics, Electronic, Optical and Magnetic Materials}}, pages = {{845--852}}, publisher = {{Elsevier BV}}, title = {{{Nanometer scale organic thin film transistors with Pentacene}}}, doi = {{10.1016/s0167-9317(03)00146-1}}, volume = {{67-68}}, year = {{2003}}, } @inbook{45415, author = {{Stein, Erwin and Zhang, Genbao and Huang, Yuejun and Mahnken, Rolf and Wiechmann, Karin}}, booktitle = {{Plasticity of Metals}}, publisher = {{Wiley-VCH Verlag GmbH}}, title = {{{Theoretical and Computational Shakedown Analysis of Non-Linear Kinematic Hardening Material and Transition to Ductile Fracture}}}, doi = {{10.1002/3527600116.ch11}}, year = {{2003}}, } @inbook{45414, author = {{Mahnken, Rolf and Stein, Erwin}}, booktitle = {{Plasticity of Metals}}, publisher = {{Wiley-VCH Verlag GmbH}}, title = {{{Parameter Identification for Inelastic Constitutive Equations Based on Uniform and Non-Uniform Stress and Strain Distributions}}}, doi = {{10.1002/3527600116.ch12}}, year = {{2003}}, } @article{23342, author = {{Albert, Amos and Strasser, R. and Trächtler, Ansgar}}, journal = {{Proc. 9th international CAN Conference}}, pages = {{05/09--05/16}}, title = {{{Migration from CAN to TTCAN for a Distributed Control System}}}, year = {{2003}}, } @article{64711, author = {{Glöckner, Helge}}, issn = {{0008-414X}}, journal = {{Canadian Journal of Mathematics}}, keywords = {{22E67, 46E40, 46T20}}, number = {{5}}, pages = {{969–999}}, title = {{{Lie groups of measurable mappings.}}}, doi = {{10.4153/CJM-2003-039-9}}, volume = {{55}}, year = {{2003}}, } @article{13731, author = {{Seino, K. and Schmidt, Wolf Gero and Furthmüller, J. and Bechstedt, F.}}, issn = {{0039-6028}}, journal = {{Surface Science}}, pages = {{988--992}}, title = {{{Chemisorption of pyrrole (C4H4NH) on Si(001) calculated from first-principles}}}, doi = {{10.1016/s0039-6028(03)00159-6}}, volume = {{532-535}}, year = {{2003}}, } @inproceedings{2426, author = {{P. Miller, Barton and Labarta, Jesús and Schintke, Florian and Simon, Jens}}, booktitle = {{Proc. European Conf. on Parallel Processing (Euro-Par)}}, isbn = {{978-3-540-45706-0}}, pages = {{131}}, publisher = {{Springer}}, title = {{{Performance Evaluation, Analysis and Optimization}}}, doi = {{10.1007/3-540-45706-2_15}}, volume = {{2400}}, year = {{2002}}, } @inproceedings{21049, author = {{Meschut, Gerson}}, booktitle = {{Gemeinsame Forschung in der Klebtechnik, 2. Kolloquium der DECHEMA, DVS, Studiengesellschaft Stahlanwendung und FAT}}, pages = {{35--38}}, title = {{{Untersuchungen zum Crashverhalten geklebter und hybrid gefügter Stahlblech-verbindungen}}}, year = {{2002}}, } @article{21050, author = {{Hahn, O. and Koyro, M. and Meschut, Gerson}}, issn = {{ISSN 1453-0384}}, journal = {{sudura}}, pages = {{10--13}}, title = {{{Lipirea în combinatie cu îmbinarile obtinute prin deformare}}}, volume = {{2}}, year = {{2002}}, } @article{21051, author = {{Meschut, Gerson}}, journal = {{MP Materialprüfung}}, number = {{7-8}}, pages = {{287--294}}, title = {{{Umformen und Kleben – Fügeverfahren mit neuen Herausforderungen für die Materialprüfung}}}, volume = {{44}}, year = {{2002}}, } @inproceedings{21053, author = {{Jüttner, S. and Meschut, Gerson}}, isbn = {{ISBN 3-932291-34-4}}, location = {{Aalen}}, pages = {{1--10}}, title = {{{Material-Specific Joining Techniques for Magnesium Body Structures}}}, year = {{2002}}, } @inproceedings{21054, author = {{Fricke, A. and Meschut, Gerson}}, location = {{Paderborn}}, pages = {{1--17}}, title = {{{Mechanisches Fügen und Kleben für den Automobil-Leichtbau}}}, year = {{2002}}, }