@misc{55259, author = {{Milkov, Nikolay}}, booktitle = {{Historisches Wörterbuch der Philosophie}}, editor = {{Ritter, J and Gründer, K and Gabriel, G}}, pages = {{702--703}}, publisher = {{Schwabe & Co}}, title = {{{Verifikation II}}}, volume = {{11}}, year = {{2001}}, } @article{55255, author = {{Milkov, Nikolay}}, journal = {{Prima philosophia }}, pages = {{399–414}}, title = {{{Tractarian Scaffoldings}}}, volume = {{14}}, year = {{2001}}, } @article{55219, author = {{Milkov, Nikolay}}, journal = {{Archiv für Begriffsgeschichte }}, pages = {{221--231}}, title = {{{The History of Russell’s Concepts ‘Sense-data’ and ‘Knowledge by Acquaintan­ce’}}}, volume = {{43}}, year = {{2001}}, } @misc{17648, author = {{Peckhaus, Volker}}, booktitle = {{Historisches Wörterbuch der Philosophie, Bd. 11: U–V}}, editor = {{Ritter †, Joachim and Gründer, Karlfried and Gabriel, Gottfried}}, pages = {{Sp. 83--84}}, publisher = {{Wissenschaftliche Buchgesellschaft}}, title = {{{Umfangslogik/Inhaltslogik}}}, doi = {{10.24894/HWPh.4403}}, year = {{2001}}, } @misc{17649, author = {{Peckhaus, Volker}}, booktitle = {{Historisches Wörterbuch der Philosophie, Bd. 11: U–V}}, editor = {{Ritter †, Joachim and Gründer, Karlfried and Gabriel, Gottfried}}, pages = {{Sp. 208--211}}, publisher = {{Wissenschaftliche Buchgesellschaft}}, title = {{{Universalsprache}}}, doi = {{10.24894/HWPh.4443}}, year = {{2001}}, } @misc{17650, author = {{Peckhaus, Volker}}, booktitle = {{Historisches Wörterbuch der Philosophie, Bd. 11: U–V}}, editor = {{Ritter †, Joachim and Gründer, Karlfried and Gabriel, Gottfried}}, pages = {{Sp. 496--498}}, publisher = {{Wissenschaftliche Buchgesellschaft}}, title = {{{Use/Mention}}}, doi = {{10.24894/HWPh.4515}}, year = {{2001}}, } @inbook{40112, author = {{Schmitz, Sabine}}, booktitle = {{Körper und Schrift. Beiträge zum 16. Nachwuchskolloquium der Romanistik}}, editor = {{Gronemann, Claudia and Maaß, Christiane and Peters, Sabine A. and Schrader, Sabine}}, isbn = {{978-3861431220}}, pages = {{22--34}}, publisher = {{Romanistischer Verlag}}, title = {{{Sinnenfreudige Körper als Chiffren kultureller Identität: Die Figurendarstellung im französischsprachigen Theater der spanischen Niederlande}}}, year = {{2001}}, } @inbook{40104, author = {{Schmitz, Sabine}}, booktitle = {{España y Alemania. Interrelaciones literarias}}, editor = {{Geisler, Eberhard}}, isbn = {{ 9788484890119}}, pages = {{141--158}}, publisher = {{Vervuert/ Iberoamericana}}, title = {{{Hacia un naturalismo español. Observaciones sobre el krausopositivismo y su impacto literario}}}, year = {{2001}}, } @inbook{27934, author = {{Bigga, Regine}}, booktitle = {{Arbeitslehre 2001. Bilanzen - Initiativen - Perspektiven. }}, editor = {{Schudy, Jörg}}, pages = {{65--73}}, publisher = {{Baltmannsweiler}}, title = {{{Jugend ohne ARBEITsLEHRE? Bilanz und Perspektiven schulischer Berufsorientierung. }}}, year = {{2001}}, } @article{37350, author = {{Weber, Jutta}}, journal = {{Die Philosophin. Forum für feministische Theorie und Philosophie, 12. Jg. H. 24, Dez. 2001}}, number = {{H. 24}}, pages = {{81--97}}, title = {{{Ironie, Erotik und Techno-Politik: Cyberfeminismus als Virus in der neuen Weltunordnung?}}}, year = {{2001}}, } @inbook{37353, author = {{Weber, Jutta}}, booktitle = {{Hand. Körper – Medium – Technik}}, editor = {{Bergermann, Ulrike and Sick, Andrea and Klier, Andrea}}, pages = {{147--159}}, publisher = {{Thealit}}, title = {{{Selbstorganisation als ‚little invisible hands‘: Artificial Life und die wunderbare Ordnung einer undurchschaubaren Welt}}}, year = {{2001}}, } @article{37359, author = {{Weber, Jutta and Maurer, Susanne}}, journal = {{metis. Zeitschrift für kritische Frauenforschung und feministische Praxis, 10. Jg., H.19}}, number = {{H.19}}, pages = {{89--112}}, title = {{{`Der schmale Grat´ oder: Gibt es einen gen(d)eration gap im Kontext feministischer Netzwerke? – Ein pädagogisch-philosophisches Streitgespräch}}}, year = {{2001}}, } @book{31315, author = {{Schuster, Britt-Marie}}, publisher = {{Olms; Dissertation}}, title = {{{Die Verständlichkeit von frühreformatorischen Flugschriften. Eine Studie zu kommunikationswirksamen Faktoren der Textgestaltung}}}, year = {{2001}}, } @misc{37571, author = {{Grotjahn, Rebecca}}, booktitle = {{Die Musik in Geschichte und Gegenwart. Bd. 6}}, editor = {{Finscher, Ludwig}}, publisher = {{Bärenreiter/Metzler}}, title = {{{Falcon, Cornélie}}}, year = {{2001}}, } @inproceedings{39411, abstract = {{Rapid prototyping based on 3D models is well accepted for several applications. This article addresses the application of animated virtual 3D prototypes for the development of computer-based systems supporting early collaboration of the system designer with the external customer. Our methodology seamlessly integrates illustration through 3D animation with the main tasks of computer-based real-time systems development, i.e., implementation and verification. The approach is outlined by the example of the design of a flexible manufacturing system.}}, author = {{Flake, Stephan and Geiger, Christian and Müller, Wolfgang and Ruf, Jürgen}}, booktitle = {{Proceedings of IEEE KMN 2001}}, isbn = {{0-7695-1269-0}}, keywords = {{Virtual prototyping, Animation, Collaboration, System analysis and design, Feedback, Application software, Power system modeling, Handicapped aids, Process design, Contracts}}, title = {{{Customer-Oriented Systems Design through Virtual Prototyps}}}, doi = {{10.1109/ENABL.2001.953425}}, year = {{2001}}, } @inproceedings{39407, abstract = {{This article presents challenges, visions, and solutions for a true Pan- European collaborative engineering infrastructure that is a target of the IST project E-COLLEG. The consortium aims at the definition of a transparent infrastructure that will enable engineers from various domains to collaborate during the design of complex heterogeneous systems. In this context, we introduce an advanced collaborative infrastructure (ACI). ACI covers dynamic Tool Registration and Management Services (TRMS) for distance-spanning, tool integration and administration, as well as open interfaces for XML-based data exchange. TRMS will constitute a backbone for E-COLLEG-related pan-European collaborative research and engineering studies by fostering a combination of most recent Plug- and-Play techniques employing agent-based communication based on XML- oriented integration technologies. This new enabling technology for collaborative engineering is validated in two application scenarios.}}, author = {{Bauer, M. and Eikerling, Heinz-Josef and Müller, Wolfgang and Pawlak, A. and Siekierska, K. and Soderberg, D. and Warzee, X.}}, title = {{{Advanced Infrastructure for PAN-European Collaborative Engineering}}}, year = {{2001}}, } @inproceedings{39421, abstract = {{We present a rigorous but transparent semantics definition of SystemC that covers method, thread, and clocked thread behavior as well as their interaction with the simulation kernel process. The semantics includes watching statements, signal assignment, and wait statements as they are introduced in SystemC V1.O. We present our definition in form of distributed Abstract State Machines (ASMs) rules reflecting the view given in the SystemC User's Manual and the reference implementation. We mainly see our formal semantics as a concise, unambiguous, high-level specification for SystemC-based implementations and for standardization. Additionally, it can be used as a sound basis to investigate SystemC interoperability with Verilog and VHDL.}}, author = {{Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W. and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W.}}, booktitle = {{Proceedings of the Design, Automation, and Test in Europe (DATE’01)}}, isbn = {{0-7695-0993-2}}, keywords = {{Yarn, Formal verification, Kernel, Hardware design languages, Electronic design automation and methodology, Algebra, Computational modeling, Logic functions, Computer languages, Clocks}}, publisher = {{IEEE}}, title = {{{The Simulation Semantics of SystemC}}}, doi = {{10.1109/DATE.2001.915002}}, year = {{2001}}, } @inproceedings{39427, author = {{Flake, Stephan and Müller, Wolfgang and Pape, U. and Ruf, Jürgen}}, booktitle = {{Proceedings of ISI 2001}}, title = {{{Real-Time Model Checking for the Analysis of flexible Manufacturing Systems}}}, year = {{2001}}, } @inproceedings{39432, abstract = {{This article presents SAL, a general purpose scripting language for the rapid development of distributed software agents seamlessly embedded in a visual environment. Integrated facilities for dynamic visualization provide sample but powerful means for debugging and domain-oriented animation. SAL agents are arranged on a set of 2D worksheets which can be distributed over different machines. An agent's program is defined by the means of a table specifying a set of state transition rules with a condition and a sequence of actions each. Beyond basic computation and communication, actions can dynamically modify the agent's depiction, its program, and spawn arbitrary processes. A couple of examples demonstrate SAL's applicability in various domains like electronic systems design and process management.}}, author = {{Müller, Wolfgang and Meyer, A. and Zabel, Henning}}, booktitle = {{Proceedings of the 34th Annual Hawaii International Conference on System Sciences}}, isbn = {{0-7695-0981-9}}, keywords = {{software prototyping, distributed programming, authoring languages, software agents, program visualisation, parallel languages}}, title = {{{A Language for the Rapid Prototyping of Mobile Evolving Agents}}}, doi = {{10.1109/HICSS.2001.926319}}, year = {{2001}}, } @inproceedings{39431, author = {{Lehrenfeld, Georg and Müller, Wolfgang and Tellmann, Rainer}}, booktitle = {{Proceedings of SCASE 01}}, title = {{{Security Concepts for Agent-Based Systems}}}, year = {{2001}}, }