@inproceedings{30424, author = {{Schulz, B. and Yang, B. and Pottharst, A. and Grotstollen, H. }}, booktitle = {{ISCoM 2003, International Scientific Colloquium on Mechatronics, Novocherkassk}}, location = {{Novocherkassk}}, title = {{{Das Linearantriebssystem der NBP-Versuchsanlage}}}, year = {{2003}}, } @phdthesis{30428, author = {{Schütte, F.}}, isbn = {{978-3-8322-1226-1}}, title = {{{Automatisierte Reglerinbetriebnahme für elektrische Antriebe mit schwingungsfähiger Mechanik}}}, year = {{2003}}, } @phdthesis{30429, author = {{Ide, P.}}, isbn = {{978-3-8322-1682-5}}, title = {{{Dreiphasiger, netzfreundlicher Dreipunkt-Gleichrichter zur Speisung von Gleichspannungszwischenkreisen}}}, year = {{2003}}, } @phdthesis{30430, author = {{Henke, M.}}, isbn = {{978-3-18-353312-1}}, title = {{{Antrieb mit doppeltgespeistem Linearmotor für ein spurgeführtes Bahnfahrzeug}}}, year = {{2003}}, } @inbook{34446, abstract = {{We present a formal definition of the event based SystemC V2.0 simulation semantics by means of distributed Abstract State Machines (ASMs). Our definition provides a rigorous and concise, but yet readable, definition of the SystemC specific operations and their interaction with the simulation scheduler that covers channel updates, notify, notify_delayed, wait, and next_trigger operations. We present the semantics in the form of rules by means of distributed ASMs reflecting the lines of the SystemC V2.0 Standard Manuals and reference implementation. The semantics introduced is defined to complement the language reference manual with aprecise definition reflecting an abstract model of the SystemC reference implementation, which can be used for advanced applications and for investigating interoperabilities with other languages.}}, author = {{Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}}, booktitle = {{SystemC - Methodologies and Applications}}, editor = {{Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}}, isbn = {{978-0-306-48735-4}}, pages = {{97 -- 126}}, publisher = {{Kluwer}}, title = {{{An ASM Based SystemC Simulation Semantics}}}, doi = {{10.1007/0-306-48735-7_4}}, year = {{2003}}, } @article{34565, abstract = {{The textual Object Constraint Language (OCL) is primarily intended to specify restrictions over UML class diagrams, in particular class invariants, operation pre-, and postconditions. Based on several improvements in the definition of the language concepts in last years, a proposal for a new version of OCL has recently been published [43]. That document provides an extensive OCL semantic description that constitutes a tight integration into UML. However, OCL still lacks a semantic integration of UML Statecharts, although it can already be used to refer to states in OCL expressions. This article presents an approach that closes this gap and introduces a formal semantics for such integration through a mathematical model. It also presents the definition of a temporal OCL extension by means of a UML Profile based on the metamodel of the latest OCL proposal. Our OCL extension enables modelers to specify behavioral state-oriented real-time constraints. It provides an intuitive understanding and readability at application level since common OCL syntax and concepts are preserved. A well-defined formal semantics is given through the mapping of temporal OCL expressions to temporal logics formulae. }}, author = {{Flake, Stephan and Müller, Wolfgang}}, journal = {{Journal on Software and System Modeling (SoSyM)}}, keywords = {{Object Constraint Language UML Statecharts UML Profile Real-time constraints Temporal logics}}, number = {{3}}, pages = {{164--186}}, publisher = {{Springer-Verlag}}, title = {{{Formal Semantics of Static and Temporal State-Oriented OCL Constraints}}}, doi = {{10.1007/s10270-003-0026-x}}, volume = {{2}}, year = {{2003}}, } @inproceedings{13002, author = {{Wuertenberger, Armin and S. Tautermann, Christofer and Hellebrand, Sybille}}, booktitle = {{IEEE International Test Conference (ITC'03)}}, pages = {{451--459}}, publisher = {{IEEE}}, title = {{{A Hybrid Coding Strategy for Optimized Test Data Compression}}}, doi = {{10.1109/test.2003.1270870}}, year = {{2003}}, } @inproceedings{32870, author = {{Böcker, Joachim}}, booktitle = {{EPE 2003, Graz}}, location = {{Toulouse, France}}, title = {{{Discrete-Event Converter Control}}}, year = {{2003}}, } @misc{47641, author = {{Ernst, Matthias}}, title = {{{Asymptotische Optimalität von LZ77 bei beschränktem Speicher}}}, year = {{2003}}, } @misc{47635, author = {{Voß, Kerstin}}, title = {{{Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen}}}, year = {{2003}}, } @misc{47696, author = {{Hoppe, Ulrich}}, keywords = {{Diplomarbeit}}, title = {{{Markovprozesse zur Modellierung bei Codekompression}}}, year = {{2003}}, } @misc{47636, author = {{Unterkirchner, Claudia}}, title = {{{Implementierung eines arithmetischen Dekodierers in Java}}}, year = {{2003}}, } @misc{47640, author = {{Kuntze, Daniel}}, title = {{{Tabellenbasierte arithmetische Codierung}}}, year = {{2003}}, } @misc{47638, author = {{Soltenborn, Christian}}, title = {{{Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision}}}, year = {{2003}}, } @misc{47637, author = {{Todtenbier, Christian}}, title = {{{Implementierung eines arithmetischen Kodierers in Java}}}, year = {{2003}}, } @misc{47634, author = {{Ziegler, Max}}, title = {{{Fehlerangriffe auf spezielle Implementierungen von RSA}}}, year = {{2003}}, } @misc{47639, author = {{Lindner, Marvin}}, title = {{{Verkürzte Huffman-Codierung zur Codekompression}}}, year = {{2003}}, } @misc{47695, author = {{Ackermann, Marcel R.}}, keywords = {{Diplomarbeit}}, title = {{{Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten}}}, year = {{2003}}, } @article{51411, author = {{Hilgert, Joachim and Vinberg, E.B. and Pasquale, A.}}, journal = {{AMS Translations}}, pages = {{135--143}}, title = {{{The Dual Horospherical Radon Transform as a Limit of Spherical Radon Transforms}}}, volume = {{210}}, year = {{2003}}, } @inproceedings{39357, abstract = {{Engineering collaboration gets its new global dimension with the omnipotent access to Internet. Engineers have severe requirements concerning: security of design data, quality of net connections, easiness of collaboration, etc. This article presents visions and middleware architecture to establish pan-European col- laborative engineering infrastructure and its application in the field of Electronic Design Automation (EDA). We present a transparent infrastructure to engineers to enable their Internet-based collaboration during the de- sign of complex electronic systems. In thi s context, we introduce an advanced collaborative infrastructure (ACI) for distance spanning, tool integration, and administration as well as open interfaces for XML-based data exchange. ACI constitutes a backbone for our collaborative research and engineering studies by fostering a combination of most recent plug-and-play technologies and secure, peer-to-peer data transfer with XML- based tool integration. ACI and its deployments have been developed with the EU project E-Colleg (IST- 1999-11746).}}, author = {{Kostienko, Tomasz and Müller, Wolfgang and Pawlak, Adam and Schattkowsky, Tim}}, booktitle = {{Proceedings of CE 2003}}, title = {{{An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation}}}, year = {{2003}}, }