@inbook{40110, author = {{Schmitz, Sabine}}, booktitle = {{Pour une iconographie des identités culturelles et nationales: la construction des images collectives à travers le texte et l' image/ Ikonographie kultureller und nationaler Identität: Zur Konstruktion kollektiver images in Text und Bild}}, editor = {{Schmitz, Sabine and Roland, Hubert}}, isbn = {{9783631510759}}, pages = {{ 25--42}}, publisher = {{Peter Lang}}, title = {{{La langue de Bruegel dans le théâtre des Pays-Bas espagnols du XVIème siècle}}}, year = {{2004}}, } @inbook{39813, author = {{Schmitz, Sabine}}, booktitle = {{«Aufklärung»: Literatura y cultura del siglo XVIII en la Europa occidental y meridional- «Aufklärung»: Littérature et culture du XVIII ème siècle en Europe occidentale et méridionale}}, editor = {{Schmitz, Sabine and Canas Murillo, Jesus}}, isbn = {{9783631519868}}, pages = {{223--240}}, publisher = {{Peter Lang}}, title = {{{Le corps emblématique dans l' Île de la raison de Marivaux ou une lecture de Gulliver's Travels de Jonathan Swift mise en scène par Marivaux}}}, year = {{2004}}, } @book{39810, editor = {{Schmitz, Sabine and Roland, Hubert }}, isbn = {{9783631510759}}, pages = {{294}}, publisher = {{Peter Lang}}, title = {{{Pour une iconographie des identités culturelles et nationales- Ikonographie kultureller und nationaler Identität. La construction des images collectives à travers le texte et l’image- Zur Konstruktion kollektiver "images" in Text und Bild}}}, year = {{2004}}, } @book{39812, editor = {{Schmitz, Sabine and Canas Murillo, Jesus }}, isbn = {{9783631519868}}, pages = {{276}}, publisher = {{Peter Lang }}, title = {{{«Aufklärung»: Literatura y cultura del siglo XVIII en la Europa occidental y meridional- «Aufklärung»: Littérature et culture du XVIII ème siècle en Europe occidentale et méridionale}}}, year = {{2004}}, } @inbook{37214, author = {{Weber, Jutta}}, booktitle = {{Gender Studies: Standorte – Zukunftsräume}}, pages = {{111--121}}, publisher = {{Königshausen & Neumann}}, title = {{{Performing post / trans / techno / queer. Pluralisierung als Selbst- und Machttechnologie}}}, year = {{2004}}, } @inproceedings{37216, author = {{Weber, Jutta and Saupe, Angelika}}, booktitle = {{Dokumentation 29. Kongreß von Frauen in Naturwissenschaft und Technik}}, pages = {{300--307}}, title = {{{Wir sind immer mittendrin? Transdisziplinarität in der feministischen Natur- und Technowissenschaftsforschung}}}, year = {{2004}}, } @inbook{37217, author = {{Weber, Jutta}}, booktitle = {{Philosophinnen im dritten Jahrtausend. Ein Einblick in aktuelle Forschungsfelder}}, editor = {{Doetsch, Brigitte}}, pages = {{115--151}}, publisher = {{Kleine Verlag}}, title = {{{Hybride Technologien: Technowissenschaftsforschung als transdisziplinäre Erkenntnispolitik}}}, year = {{2004}}, } @inbook{37218, author = {{Weber, Jutta}}, booktitle = {{Dokumentation. Impulse zur Wissenschaftsentwicklung}}, editor = {{Paravicini, Ursula and Zempel-Gino, Maren}}, pages = {{87--104}}, title = {{{Turbulente Körper, emergente Maschinen? Über Körperkonzepte in Robotik und neuerer Technikkritik}}}, volume = {{4}}, year = {{2004}}, } @book{37709, editor = {{Öhlschläger, Claudia and Neumann, Gerhard}}, isbn = {{978-3-89528-429-8}}, publisher = {{Aisthesis Verlag}}, title = {{{Inszenierungen in Schrift und Bild. }}}, year = {{2004}}, } @article{22616, author = {{Hinderling, C. and Keles, Y. and Stöckli, T. and Knapp, H. F. and de los Arcos de Pedro, Maria Teresa and Oelhafen, P. and Korczagin, I. and Hempenius, M. A. and Vancso, G. J. and Pugin, R. and Heinzelmann, H.}}, issn = {{0935-9648}}, journal = {{Advanced Materials}}, pages = {{876--879}}, title = {{{Organometallic Block Copolymers as Catalyst Precursors for Templated Carbon Nanotube Growth}}}, doi = {{10.1002/adma.200306447}}, year = {{2004}}, } @article{22615, author = {{de los Arcos de Pedro, Maria Teresa and Garnier, Michael Gunnar and Seo, Jin Won and Oelhafen, Peter and Thommen, Verena and Mathys, Daniel}}, issn = {{1520-6106}}, journal = {{The Journal of Physical Chemistry B}}, pages = {{7728--7734}}, title = {{{The Influence of Catalyst Chemical State and Morphology on Carbon Nanotube Growth}}}, doi = {{10.1021/jp049495v}}, year = {{2004}}, } @inproceedings{39053, abstract = {{Portable devices come with different limitations in user interaction like limited display size, small keyboard, and different sorts of input and output capabilities. With the advance of speech recognition and speech synthesis technologies, their complementary use becomes attractive for mobile devices in order to implement real multimodal user interaction. However, current systems and formats do not sufficiently integrate advanced multimodal interactions. We introduce an advanced generic multimodal interaction and rendering system (MIRS) dedicated for mobile devices. MIRS incorporates efficient processing of XML specification languages for limited, mobile devices and comes with the XML-based dialog and interface specification language (DISL). DISL can be considered as an UIML subset, which is enhanced by the means of state-oriented dialog specifications. The dialog specification is based on ODSN (object oriented dialog specification notation), which has been introduced to define user interface control by means of interaction states with transition rules.}}, author = {{Müller, Wolfgang and Schäfer, Robbie and Bleul, Steffen}}, booktitle = {{Proceedings of HICCS-37}}, isbn = {{0-7695-2056-1}}, keywords = {{User interfaces, Speech recognition, Streaming media, Specification languages, Keyboards, Speech synthesis, Rendering (computer graphics), Ambient intelligence, Humans, Displays}}, location = {{Waikoloa, HI, USA}}, title = {{{Interactive Multimodal User Interfaces for Mobile Devices}}}, doi = {{10.1109/HICSS.2004.1265674}}, year = {{2004}}, } @inproceedings{39055, abstract = {{We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the simulation scheduler including the management of new SystemVerilog regions. We present our definition in form of distributed Abstract State Machines (ASMs) rules reflecting the view given in the SystemVerilog Language Reference Manual [1]. Our formal semantics is a concise, unambiguous, high-level specification for SystemVerilog-based implementations and for investigation of interoperabilities of SystemVerilog with SpecC, SystemC, and VHDL.}}, author = {{Zambaldi, Martin and Ecker, Wolfgang and Kruse, Thilo and Müller, Wolfgang}}, booktitle = {{Proceedings of FDL’04}}, location = {{Lille, France}}, title = {{{The Formal Simulation Semantics of SystemVerilog}}}, year = {{2004}}, } @inproceedings{39060, author = {{Schattkowsky, Tim and Müller, Wolfgang}}, booktitle = {{Proceedings of DATE’04}}, title = {{{Model-Based Specification and Execution of Embedded Real-Time Systems}}}, year = {{2004}}, } @inproceedings{39061, abstract = {{This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML state diagrams, which are translated to the formal B language and are model checked for real-time properties. By means of the B language and a B theorem prover, refined state diagrams are verified against their abstract representation. The approach is presented by means of the refinement of a digital echo cancellation unit.}}, author = {{Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}}, booktitle = {{Proceedings of DATE’04 Designers' Forum}}, isbn = {{0-7695-2085-5}}, keywords = {{Echo cancellers, Logic, Unified modeling language, Automata, Data structures, Boolean functions, Electronic design automation and methodology, Prototypes, Specification languages, Constraint theory}}, title = {{{Formal Refinement and Model Checking of An Echo Cancellation Unit}}}, doi = {{10.1109/DATE.2004.1269214}}, year = {{2004}}, } @inproceedings{39063, author = {{Müller, Wolfgang and Paelke, Volker}}, booktitle = {{Proceedings of the Simulation and Visualisation 2004}}, title = {{{A Formal Model of a Framework for Simulation-Based Animation}}}, year = {{2004}}, } @inproceedings{39071, abstract = {{The interconnection of software components is a key to enabling collaborative work. However, technology differences and security barriers like firewalls often hinder establishing collaborative infrastructures between enterprises or even within a single enterprise. We introduce a peer-to-peer based network infrastructure that transparently overcomes these problems using relay and routing mechanisms as well as different underlying transport protocols. We discuss the application of this technology to interconnect Web services.}}, author = {{Schattkowsky, Tim and Loeser, Chris and Müller, Wolfgang}}, booktitle = {{Proceedings of AINA2004}}, isbn = {{0-7695-2051-0}}, keywords = {{Peer to peer computing, Web services, Intelligent networks, Routing, Relays, Simple object access protocol, Collaborative work, Transport protocols, Network address translation, Java}}, location = {{Fukuoka, Japan }}, publisher = {{IEEE}}, title = {{{Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks}}}, doi = {{10.1109/AINA.2004.1283977}}, year = {{2004}}, } @inproceedings{39069, abstract = {{We present the syntax and semantics of a past- and future-oriented temporal extension of the Object Constraint Language (OCL). Our extension supports designers to express time-bounded properties over a state-oriented UML model of a system under development. The semantics is formally defined over the system states of a mathematical object model. Additionally, we present a mapping to Clocked Linear Temporal Logic (Clocked LTL) formulae, which is the basis for further application in verification with model checking. We demonstrate the applicability of the approach by the example of a buffer specification in the context of a production system.}}, author = {{Flake, Stephan and Müller, Wolfgang}}, booktitle = {{Proceedings of SEFM´04}}, isbn = {{0-7695-2222-X}}, keywords = {{Unified modeling language, Logic, Clocks, Boolean functions, Application software, Time factors, Real time systems, Formal verification, Buffer storage, Software packages}}, publisher = {{IEEE}}, title = {{{Past- and Future-Oriented Time-Bound Temporal Properties with OCL}}}, doi = {{10.1109/SEFM.2004.1347516}}, year = {{2004}}, } @inproceedings{39065, author = {{Gausemeier, Jürgen and Müller, Wolfgang and Bauch, Jürgen and Radkowski, W. and Shen, T. and Paelke, Volker}}, booktitle = {{Proceedings of the Simulation and Visualisation 2004}}, title = {{{Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality}}}, year = {{2004}}, } @inproceedings{39068, author = {{Schattkowsky, Tim and Müller, Wolfgang}}, booktitle = {{Proceedings of ISORC’04}}, title = {{{Model-Based Design of Embedded Systems}}}, year = {{2004}}, }