[{"_id":"39432","date_updated":"2023-01-24T10:48:14Z","date_created":"2023-01-24T10:48:09Z","publication":"Proceedings of the 34th Annual Hawaii International Conference on System Sciences","language":[{"iso":"eng"}],"year":"2001","type":"conference","publication_identifier":{"isbn":["0-7695-0981-9"]},"status":"public","citation":{"short":"W. Müller, A. Meyer, H. Zabel, in: Proceedings of the 34th Annual Hawaii International Conference on System Sciences, Maui, HI, USA , 2001.","mla":"Müller, Wolfgang, et al. “A Language for the Rapid Prototyping of Mobile Evolving Agents.” <i>Proceedings of the 34th Annual Hawaii International Conference on System Sciences</i>, 2001, doi:<a href=\"https://doi.org/10.1109/HICSS.2001.926319\">10.1109/HICSS.2001.926319</a>.","bibtex":"@inproceedings{Müller_Meyer_Zabel_2001, place={Maui, HI, USA }, title={A Language for the Rapid Prototyping of Mobile Evolving Agents}, DOI={<a href=\"https://doi.org/10.1109/HICSS.2001.926319\">10.1109/HICSS.2001.926319</a>}, booktitle={Proceedings of the 34th Annual Hawaii International Conference on System Sciences}, author={Müller, Wolfgang and Meyer, A. and Zabel, Henning}, year={2001} }","chicago":"Müller, Wolfgang, A. Meyer, and Henning Zabel. “A Language for the Rapid Prototyping of Mobile Evolving Agents.” In <i>Proceedings of the 34th Annual Hawaii International Conference on System Sciences</i>. Maui, HI, USA , 2001. <a href=\"https://doi.org/10.1109/HICSS.2001.926319\">https://doi.org/10.1109/HICSS.2001.926319</a>.","ieee":"W. Müller, A. Meyer, and H. Zabel, “A Language for the Rapid Prototyping of Mobile Evolving Agents,” 2001, doi: <a href=\"https://doi.org/10.1109/HICSS.2001.926319\">10.1109/HICSS.2001.926319</a>.","apa":"Müller, W., Meyer, A., &#38; Zabel, H. (2001). A Language for the Rapid Prototyping of Mobile Evolving Agents. <i>Proceedings of the 34th Annual Hawaii International Conference on System Sciences</i>. <a href=\"https://doi.org/10.1109/HICSS.2001.926319\">https://doi.org/10.1109/HICSS.2001.926319</a>","ama":"Müller W, Meyer A, Zabel H. A Language for the Rapid Prototyping of Mobile Evolving Agents. In: <i>Proceedings of the 34th Annual Hawaii International Conference on System Sciences</i>. ; 2001. doi:<a href=\"https://doi.org/10.1109/HICSS.2001.926319\">10.1109/HICSS.2001.926319</a>"},"keyword":["software prototyping","distributed programming","authoring languages","software agents","program visualisation","parallel languages"],"user_id":"5786","department":[{"_id":"672"}],"title":"A Language for the Rapid Prototyping of Mobile Evolving Agents","author":[{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"first_name":"A.","full_name":"Meyer, A.","last_name":"Meyer"},{"last_name":"Zabel","first_name":"Henning","full_name":"Zabel, Henning"}],"place":"Maui, HI, USA ","doi":"10.1109/HICSS.2001.926319","abstract":[{"lang":"eng","text":"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."}]},{"citation":{"chicago":"Lehrenfeld, Georg, Wolfgang Müller, and Rainer Tellmann. “Security Concepts for Agent-Based Systems.” In <i>Proceedings of SCASE 01</i>. Enschede, Netherlands, 2001.","ieee":"G. Lehrenfeld, W. Müller, and R. Tellmann, “Security Concepts for Agent-Based Systems,” 2001.","apa":"Lehrenfeld, G., Müller, W., &#38; Tellmann, R. (2001). Security Concepts for Agent-Based Systems. <i>Proceedings of SCASE 01</i>.","ama":"Lehrenfeld G, Müller W, Tellmann R. Security Concepts for Agent-Based Systems. In: <i>Proceedings of SCASE 01</i>. ; 2001.","short":"G. Lehrenfeld, W. Müller, R. Tellmann, in: Proceedings of SCASE 01, Enschede, Netherlands, 2001.","mla":"Lehrenfeld, Georg, et al. “Security Concepts for Agent-Based Systems.” <i>Proceedings of SCASE 01</i>, 2001.","bibtex":"@inproceedings{Lehrenfeld_Müller_Tellmann_2001, place={Enschede, Netherlands}, title={Security Concepts for Agent-Based Systems}, booktitle={Proceedings of SCASE 01}, author={Lehrenfeld, Georg and Müller, Wolfgang and Tellmann, Rainer}, year={2001} }"},"user_id":"5786","department":[{"_id":"672"}],"title":"Security Concepts for Agent-Based Systems","author":[{"full_name":"Lehrenfeld, Georg","first_name":"Georg","last_name":"Lehrenfeld"},{"last_name":"Müller","id":"16243","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"full_name":"Tellmann, Rainer","first_name":"Rainer","last_name":"Tellmann"}],"place":"Enschede, Netherlands","_id":"39431","date_updated":"2023-01-24T10:45:54Z","publication":"Proceedings of SCASE 01","date_created":"2023-01-24T10:45:49Z","type":"conference","year":"2001","language":[{"iso":"eng"}],"status":"public"},{"date_created":"2023-01-24T10:24:09Z","status":"public","language":[{"iso":"eng"}],"type":"conference","year":"2001","_id":"39406","date_updated":"2023-01-24T10:24:15Z","author":[{"full_name":"Flake, Stephan","first_name":"Stephan","last_name":"Flake"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"title":"Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie","abstract":[{"lang":"eng","text":"Die Object Constraint Language (OCL) wurde entwickelt, um Modellierer bei der Spe-\r\nzifikation von Modelleigenschaften im Kontext gegebener UML Diagramme zu un-\r\nterst ̈utzen [3]. Jedoch ist es leider nicht m ̈oglich, Eigenschaften, die das dynamische\r\nVerhalten betreffen, mit der derzeitigen Version von OCL auszudr ̈ucken.\r\nWir pr ̈asentieren eine Erweiterung von OCL Version 1.4 zur Spezifikation von zu-\r\nstandsbasierten, zeitbehafteten Eigenschaften. Obwohl OCL und unsere Erweiterung\r\nin erster Linie im Rahmen der UML entwickelt worden sind, ist es auch m ̈oglich,\r\nmit dieser Sprache Eigenschaften f ̈ur andere objektbasierte Formalismen zu beschrei-\r\nben. Wir veranschaulichen dies anhand einer Anwendung bei der Modellpr ̈ufungsspe-\r\nzifikation in Verbindung mit MFERT, einer praxisrelevanten Notation, die im Projekt\r\nGRASP zur Modellierung von Produktionsabl ̈aufen eingesetzt wird."}],"place":"Berlin","user_id":"5786","citation":{"bibtex":"@article{Flake_Müller_2001, place={Berlin}, series={Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen}, title={Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie}, author={Flake, Stephan and Müller, Wolfgang}, year={2001}, collection={Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen} }","mla":"Flake, Stephan, and Wolfgang Müller. <i>Spezifikation von Echtzeiteigenschaften Mit OCL Für Eine MFERT-Basierte Fallstudie</i>. 2001.","short":"S. Flake, W. Müller, (2001).","apa":"Flake, S., &#38; Müller, W. (2001). <i>Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie</i>.","ama":"Flake S, Müller W. Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie. Published online 2001.","ieee":"S. Flake and W. Müller, “Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie.” Berlin, 2001.","chicago":"Flake, Stephan, and Wolfgang Müller. “Spezifikation von Echtzeiteigenschaften Mit OCL Für Eine MFERT-Basierte Fallstudie.” Tagungsband: Ablaufmodellierungen in Ingenieruwissenschaftlichen Anwendungen. Berlin, 2001."},"series_title":"Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen","department":[{"_id":"672"}]},{"_id":"39425","date_updated":"2023-01-24T10:41:09Z","date_created":"2023-01-24T10:41:05Z","publication":"Proceedings of ISI 2001","status":"public","language":[{"iso":"eng"}],"year":"2001","type":"conference","user_id":"5786","citation":{"short":"A. Dangberg, W. Müller, in: Proceedings of ISI 2001, Dubai, 2001.","bibtex":"@inproceedings{Dangberg_Müller_2001, place={Dubai}, title={Generation of Interactive Visual Interfaces for Resource Management}, booktitle={Proceedings of ISI 2001}, author={Dangberg, Andreas and Müller, Wolfgang}, year={2001} }","mla":"Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Interfaces for Resource Management.” <i>Proceedings of ISI 2001</i>, 2001.","ieee":"A. Dangberg and W. Müller, “Generation of Interactive Visual Interfaces for Resource Management,” 2001.","chicago":"Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Interfaces for Resource Management.” In <i>Proceedings of ISI 2001</i>. Dubai, 2001.","ama":"Dangberg A, Müller W. Generation of Interactive Visual Interfaces for Resource Management. In: <i>Proceedings of ISI 2001</i>. ; 2001.","apa":"Dangberg, A., &#38; Müller, W. (2001). Generation of Interactive Visual Interfaces for Resource Management. <i>Proceedings of ISI 2001</i>."},"department":[{"_id":"672"}],"author":[{"first_name":"Andreas","full_name":"Dangberg, Andreas","last_name":"Dangberg"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"title":"Generation of Interactive Visual Interfaces for Resource Management","abstract":[{"text":"This paper introduces the VIVID (Visual Interactive VIew Development) framework for generation and customization of advanced visual interactive environments for resource manipulation in databases. The framework covers the definition of symbols, their mapping to database objects, specification of spatial relationships among them, layout assignment as well as the definition of drag&drop-based user interactions.","lang":"eng"}],"place":"Dubai"},{"status":"public","year":"2000","type":"patent","date_created":"2024-04-18T21:23:25Z","date_updated":"2024-04-18T21:23:39Z","publication_date":"2000/12/31","_id":"53588","author":[{"first_name":"Andreas","full_name":"Dangberg, Andreas","last_name":"Dangberg"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"ipc":"Deutsches Patentamt","title":"Verfahren zur Steuerung der Anordnung von graphischen Elementen","ipn":"DE200/0165323","department":[{"_id":"58"}],"user_id":"16243","citation":{"bibtex":"@article{Dangberg_Müller_2000, title={Verfahren zur Steuerung der Anordnung von graphischen Elementen}, author={Dangberg, Andreas and Müller, Wolfgang}, year={2000} }","mla":"Dangberg, Andreas, and Wolfgang Müller. <i>Verfahren Zur Steuerung Der Anordnung von Graphischen Elementen</i>. 2000.","short":"A. Dangberg, W. Müller, (2000).","ama":"Dangberg A, Müller W. Verfahren zur Steuerung der Anordnung von graphischen Elementen. Published online 2000.","apa":"Dangberg, A., &#38; Müller, W. (2000). <i>Verfahren zur Steuerung der Anordnung von graphischen Elementen</i>.","ieee":"A. Dangberg and W. Müller, “Verfahren zur Steuerung der Anordnung von graphischen Elementen.” 2000.","chicago":"Dangberg, Andreas, and Wolfgang Müller. “Verfahren Zur Steuerung Der Anordnung von Graphischen Elementen,” 2000."}},{"_id":"39434","date_updated":"2023-01-24T10:49:57Z","date_created":"2023-01-24T10:49:52Z","language":[{"iso":"eng"}],"type":"conference","year":"2000","status":"public","citation":{"mla":"Flake, Stephan, et al. <i>Modellprüfung Für Den Entwurf von Fertigungssteuerungssystemen</i>. 2000.","apa":"Flake, S., Müller, W., Pape, U., &#38; Ruf, J. (2000). <i>Modellprüfung für den Entwurf von Fertigungssteuerungssystemen</i>.","bibtex":"@article{Flake_Müller_Pape_Ruf_2000, place={Siegen}, series={Mobis 2000}, title={Modellprüfung für den Entwurf von Fertigungssteuerungssystemen}, author={Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, year={2000}, collection={Mobis 2000} }","ama":"Flake S, Müller W, Pape U, Ruf J. Modellprüfung für den Entwurf von Fertigungssteuerungssystemen. Published online 2000.","chicago":"Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Modellprüfung Für Den Entwurf von Fertigungssteuerungssystemen.” Mobis 2000. Siegen, 2000.","short":"S. Flake, W. Müller, U. Pape, J. Ruf, (2000).","ieee":"S. Flake, W. Müller, U. Pape, and J. Ruf, “Modellprüfung für den Entwurf von Fertigungssteuerungssystemen.” Siegen, 2000."},"series_title":"Mobis 2000","user_id":"5786","department":[{"_id":"672"}],"title":"Modellprüfung für den Entwurf von Fertigungssteuerungssystemen","author":[{"last_name":"Flake","first_name":"Stephan","full_name":"Flake, Stephan"},{"last_name":"Müller","id":"16243","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"first_name":"Ulrich","full_name":"Pape, Ulrich","last_name":"Pape"},{"first_name":"Jürgen","full_name":"Ruf, Jürgen","last_name":"Ruf"}],"place":"Siegen","abstract":[{"lang":"eng","text":"In diesem Artikel stellen wir die Anwendung von Modellprüfung für ein\r\nFertigungssystem mit freifahrenden Transportfahrzeugen vor. Dabei konzentrieren wir\r\nuns darauf, den Materialfluss in einem Systemmodell auf die Einhaltung quantitativer\r\nund zeitlicher Bedingungen hin zu überprüfen. Zur Modellentwicklung setzen wir die\r\ngraphische Beschreibungsmethode MFERT ein, die sich bereits mehrfach in\r\nIndustrieprojekten bewährt hat. Wir präsentieren eine Abbildung von MFERT in\r\nzeitannotierte Zustandsübergangssysteme, die für ein bereits existierendes Werkzeug zur\r\nModellprüfung als Eingabe einer Modellbeschreibung dienen. Bei der Modellprüfung\r\nwird diese Beschreibung auf die Einhaltung von Eigenschaften überprüft, die in einer\r\ntemporalen Logik oder einer davon abstrahierten Form spezifiziert werden."}]},{"abstract":[{"text":"Prototyping mit 3D-Modellen in virtueller Umgebung ist eine kostengünstige Alternative zur Entwicklung von physikalischen Modellen und Mock-ups. Für einige Anwendungen ergeben sich erhebliche Vorteile durch die Validierung in einer virtuellen Umgebung. In diesem Artikel stellen wir den Einsatz einer 3D-Animation zur Entwicklung und zum Test einer Fahrzeugsteuerung vor. Basierend auf dem Prinzip der schrittweisen Verfeinerung kann die Steuerung zunächst nur unter Berücksichtigung der Kommunikation zwischen den Basiskomponenten entworfen werden. Im zweiten Schritt wird die Ansteuerung der Aktoren unter Auswertung der Sensoren berücksichtigt. Letztendlich ist das System unter Einflussnahme der physikalischen Größen zu validieren. Wir stellen die Schnittstelle exemplarisch anhand einer Steuerung für fahrerlose Transportfahrzeuge im Szenario eines holonischen Transportsystems vor. ","lang":"eng"}],"place":"Magdeburg, Germany","author":[{"last_name":"Braatz","full_name":"Braatz, A.","first_name":"A."},{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"},{"last_name":"Westkämper","full_name":"Westkämper, E.","first_name":"E."}],"title":"Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung","department":[{"_id":"672"}],"user_id":"5786","citation":{"short":"A. Braatz, S. Flake, W. Müller, E. Westkämper, (2000).","chicago":"Braatz, A., Stephan Flake, Wolfgang Müller, and E. Westkämper. “Prototyping Einer Fahrzeug-Steuerung in Einer Virtuellen 3D-Umgebung.” Simulation Und Visualisierung 2000. Magdeburg, Germany, 2000.","ieee":"A. Braatz, S. Flake, W. Müller, and E. Westkämper, “Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung.” Magdeburg, Germany, 2000.","mla":"Braatz, A., et al. <i>Prototyping Einer Fahrzeug-Steuerung in Einer Virtuellen 3D-Umgebung</i>. 2000.","apa":"Braatz, A., Flake, S., Müller, W., &#38; Westkämper, E. (2000). <i>Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung</i>.","bibtex":"@article{Braatz_Flake_Müller_Westkämper_2000, place={Magdeburg, Germany}, series={Simulation und Visualisierung 2000}, title={Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung}, author={Braatz, A. and Flake, Stephan and Müller, Wolfgang and Westkämper, E.}, year={2000}, collection={Simulation und Visualisierung 2000} }","ama":"Braatz A, Flake S, Müller W, Westkämper E. Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung. Published online 2000."},"series_title":"Simulation und Visualisierung 2000","status":"public","language":[{"iso":"eng"}],"year":"2000","type":"conference","date_created":"2023-01-24T11:09:42Z","date_updated":"2023-01-24T11:09:46Z","_id":"39444"},{"department":[{"_id":"672"}],"user_id":"5786","series_title":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen","citation":{"short":"S. Flake, W. Müller, J. Ruf, (2000).","bibtex":"@article{Flake_Müller_Ruf_2000, place={Frankfurt}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, title={Structured English for Model Checking Specification}, author={Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}, year={2000}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen} }","mla":"Flake, Stephan, et al. <i>Structured English for Model Checking Specification</i>. 2000.","ieee":"S. Flake, W. Müller, and J. Ruf, “Structured English for Model Checking Specification.” Frankfurt, 2000.","chicago":"Flake, Stephan, Wolfgang Müller, and Jürgen Ruf. “Structured English for Model Checking Specification.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen. Frankfurt, 2000.","apa":"Flake, S., Müller, W., &#38; Ruf, J. (2000). <i>Structured English for Model Checking Specification</i>.","ama":"Flake S, Müller W, Ruf J. Structured English for Model Checking Specification. Published online 2000."},"abstract":[{"text":"Model checking has received wide acceptance as a valuable technique in the field of electronic\r\ndesign automation and is currently of growing interest in general systems design. Though its\r\nconcepts and applications are well understood it often turns out that engineers have severe\r\nproblems with the specification process and the underlying notation, i.e., formulation and\r\nunderstanding of specifications through means of temporal logic formulae. In this article, we\r\npresent an approach for a natural language–oriented representation of temporal logic formulae\r\nby introducing patterns of structured English sentences for Clocked CTL (CCTL) specification.\r\nAfter outlining the basic patterns of the sentences we give their semantics by a translation to\r\nCCTL. A final example demonstrates their application.","lang":"eng"}],"place":"Frankfurt","author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"last_name":"Ruf","full_name":"Ruf, Jürgen","first_name":"Jürgen"}],"title":"Structured English for Model Checking Specification","date_updated":"2023-01-24T11:13:33Z","_id":"39461","status":"public","type":"conference","year":"2000","language":[{"iso":"eng"}],"date_created":"2023-01-24T11:13:28Z"},{"_id":"39435","date_updated":"2023-01-24T10:51:41Z","date_created":"2023-01-24T10:51:23Z","publication":"Proceedings of the IEEE Symposium on Visual Languages","status":"public","language":[{"iso":"eng"}],"year":"2000","type":"conference","user_id":"5786","citation":{"ama":"Müller W, Meyer A, Zabel H. A Visual Framework for the Scripting of Parallel Agents. In: <i>Proceedings of the IEEE Symposium on Visual Languages</i>. ; 2000.","apa":"Müller, W., Meyer, A., &#38; Zabel, H. (2000). A Visual Framework for the Scripting of Parallel Agents. <i>Proceedings of the IEEE Symposium on Visual Languages</i>.","chicago":"Müller, Wolfgang, Arne Meyer, and Henning Zabel. “A Visual Framework for the Scripting of Parallel Agents.” In <i>Proceedings of the IEEE Symposium on Visual Languages</i>. Seattle, Washington, USA, 2000.","ieee":"W. Müller, A. Meyer, and H. Zabel, “A Visual Framework for the Scripting of Parallel Agents,” 2000.","mla":"Müller, Wolfgang, et al. “A Visual Framework for the Scripting of Parallel Agents.” <i>Proceedings of the IEEE Symposium on Visual Languages</i>, 2000.","bibtex":"@inproceedings{Müller_Meyer_Zabel_2000, place={Seattle, Washington, USA}, title={A Visual Framework for the Scripting of Parallel Agents}, booktitle={Proceedings of the IEEE Symposium on Visual Languages}, author={Müller, Wolfgang and Meyer, Arne and Zabel, Henning}, year={2000} }","short":"W. Müller, A. Meyer, H. Zabel, in: Proceedings of the IEEE Symposium on Visual Languages, Seattle, Washington, USA, 2000."},"department":[{"_id":"672"}],"author":[{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"last_name":"Meyer","full_name":"Meyer, Arne","first_name":"Arne"},{"first_name":"Henning","full_name":"Zabel, Henning","last_name":"Zabel"}],"title":"A Visual Framework for the Scripting of Parallel Agents","abstract":[{"lang":"eng","text":"This article presents SAL (Synchronous Agent Language), a general-purpose grid{based 2D programming language for parallel system specication, implementation, and visualization. SAL agents have a depiction and a behavior. The behavior is dened by the means of state transition rules. The depiction is given by the drawing area on its surface. Actions in rules can execute drawing operations for dynamically changing the depiction during runtime. For a broader range of applications, SAL incorporates mobile code, code modication during runtime, and tool integration facilities."}],"place":"Seattle, Washington, USA"},{"_id":"39439","date_updated":"2023-01-24T10:53:27Z","date_created":"2023-01-24T10:53:23Z","publication":"Proceedings of IECON 2000","language":[{"iso":"eng"}],"type":"conference","year":"2000","status":"public","citation":{"apa":"Bhatt, P. C. P., &#38; Müller, W. (2000). A Methodology for the Protocol-Centered Design of Agent-Based Systems. <i>Proceedings of IECON 2000</i>.","ama":"Bhatt PCP, Müller W. A Methodology for the Protocol-Centered Design of Agent-Based Systems. In: <i>Proceedings of IECON 2000</i>. ; 2000.","chicago":"Bhatt, P. C. P., and Wolfgang Müller. “A Methodology for the Protocol-Centered Design of Agent-Based Systems.” In <i>Proceedings of IECON 2000</i>. Nagoya, Japan, 2000.","ieee":"P. C. P. Bhatt and W. Müller, “A Methodology for the Protocol-Centered Design of Agent-Based Systems,” 2000.","mla":"Bhatt, P. C. P., and Wolfgang Müller. “A Methodology for the Protocol-Centered Design of Agent-Based Systems.” <i>Proceedings of IECON 2000</i>, 2000.","bibtex":"@inproceedings{Bhatt_Müller_2000, place={Nagoya, Japan}, title={A Methodology for the Protocol-Centered Design of Agent-Based Systems}, booktitle={Proceedings of IECON 2000}, author={Bhatt, P. C. P. and Müller, Wolfgang}, year={2000} }","short":"P.C.P. Bhatt, W. Müller, in: Proceedings of IECON 2000, Nagoya, Japan, 2000."},"user_id":"5786","department":[{"_id":"672"}],"title":"A Methodology for the Protocol-Centered Design of Agent-Based Systems","author":[{"last_name":"Bhatt","first_name":"P. C. P.","full_name":"Bhatt, P. C. P."},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","last_name":"Müller","id":"16243"}],"place":"Nagoya, Japan"},{"place":"Durham, UK","author":[{"last_name":"Bhatt","first_name":"P. C. P.","full_name":"Bhatt, P. C. P."},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"title":"Morphic Nets: Model Based Design Diagrams","department":[{"_id":"672"}],"user_id":"5786","citation":{"ieee":"P. C. P. Bhatt and W. Müller, “Morphic Nets: Model Based Design Diagrams,” 2000.","chicago":"Bhatt, P. C. P., and Wolfgang Müller. “Morphic Nets: Model Based Design Diagrams.” In <i>Proceedings of UKPEW 2000</i>. Durham, UK, 2000.","short":"P.C.P. Bhatt, W. Müller, in: Proceedings of UKPEW 2000, Durham, UK, 2000.","bibtex":"@inproceedings{Bhatt_Müller_2000, place={Durham, UK}, title={Morphic Nets: Model Based Design Diagrams}, booktitle={Proceedings of UKPEW 2000}, author={Bhatt, P. C. P. and Müller, Wolfgang}, year={2000} }","ama":"Bhatt PCP, Müller W. Morphic Nets: Model Based Design Diagrams. In: <i>Proceedings of UKPEW 2000</i>. ; 2000.","apa":"Bhatt, P. C. P., &#38; Müller, W. (2000). Morphic Nets: Model Based Design Diagrams. <i>Proceedings of UKPEW 2000</i>.","mla":"Bhatt, P. C. P., and Wolfgang Müller. “Morphic Nets: Model Based Design Diagrams.” <i>Proceedings of UKPEW 2000</i>, 2000."},"status":"public","language":[{"iso":"eng"}],"year":"2000","type":"conference","date_created":"2023-01-24T10:54:54Z","publication":"Proceedings of UKPEW 2000","date_updated":"2023-01-24T10:55:00Z","_id":"39442"},{"date_created":"2023-01-24T11:14:51Z","publication":"Proceedings of AVI 2000","status":"public","language":[{"iso":"eng"}],"year":"2000","type":"conference","_id":"39464","date_updated":"2023-01-24T11:14:59Z","author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"id":"16243","last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"last_name":"Ruf","first_name":"Jürgen","full_name":"Ruf, Jürgen"}],"title":"An Advanced Visual Capture for Model Checking Specifications","place":"Palermo, Italy","user_id":"5786","citation":{"ieee":"S. Flake, W. Müller, and J. Ruf, “An Advanced Visual Capture for Model Checking Specifications,” 2000.","chicago":"Flake, Stephan, Wolfgang Müller, and Jürgen Ruf. “An Advanced Visual Capture for Model Checking Specifications.” In <i>Proceedings of AVI 2000</i>. Palermo, Italy, 2000.","ama":"Flake S, Müller W, Ruf J. An Advanced Visual Capture for Model Checking Specifications. In: <i>Proceedings of AVI 2000</i>. ; 2000.","apa":"Flake, S., Müller, W., &#38; Ruf, J. (2000). An Advanced Visual Capture for Model Checking Specifications. <i>Proceedings of AVI 2000</i>.","short":"S. Flake, W. Müller, J. Ruf, in: Proceedings of AVI 2000, Palermo, Italy, 2000.","bibtex":"@inproceedings{Flake_Müller_Ruf_2000, place={Palermo, Italy}, title={An Advanced Visual Capture for Model Checking Specifications}, booktitle={Proceedings of AVI 2000}, author={Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}, year={2000} }","mla":"Flake, Stephan, et al. “An Advanced Visual Capture for Model Checking Specifications.” <i>Proceedings of AVI 2000</i>, 2000."},"department":[{"_id":"672"}]},{"status":"public","language":[{"iso":"eng"}],"year":"1999","type":"conference","date_created":"2023-01-24T11:25:48Z","date_updated":"2023-01-24T11:30:35Z","_id":"39481","place":"Magdeburg, Germany","author":[{"last_name":"Geiger","first_name":"Christian","full_name":"Geiger, Christian"},{"first_name":"G.","full_name":"Lehrenfeld, G.","last_name":"Lehrenfeld"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"title":"Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation","department":[{"_id":"672"}],"user_id":"5786","citation":{"short":"C. Geiger, G. Lehrenfeld, W. Müller, (1999).","mla":"Geiger, Christian, et al. <i>Virtuelles Prototyping Einer Robotersteuerung Durch Interaktive 3D-Simulation</i>. 1999.","bibtex":"@article{Geiger_Lehrenfeld_Müller_1999, place={Magdeburg, Germany}, series={Simulation und Visualisierung}, title={Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation}, author={Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}, year={1999}, collection={Simulation und Visualisierung} }","chicago":"Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Virtuelles Prototyping Einer Robotersteuerung Durch Interaktive 3D-Simulation.” Simulation Und Visualisierung. Magdeburg, Germany, 1999.","ieee":"C. Geiger, G. Lehrenfeld, and W. Müller, “Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation.” Magdeburg, Germany, 1999.","ama":"Geiger C, Lehrenfeld G, Müller W. Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation. Published online 1999.","apa":"Geiger, C., Lehrenfeld, G., &#38; Müller, W. (1999). <i>Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation</i>."},"series_title":"Simulation und Visualisierung"},{"doi":"10.1109/HICSS.1999.773046","abstract":[{"lang":"eng","text":"CSCW systems like BSCW (Basic Support for Cooperative Work), HyperNews, and Lotus Notes have been successfully introduced to support the cooperation of geographically distributed work groups. Unfortunately, some of these software systems are not flexible enough to be customized easily to the requirements of an individual user. Most of the environments can only be configured by experts through complex programming. In this article we introduce VIP space, a shared workspace space in the sense of exchanging and processing shared objects between members of distributed work groups. VIP space can be easily adapted to the user's individual views and needs by means of a visual programming language. In VIP space, objects of the shared workspace are moved by drag and drop between task fields. Task fields are programmed by visual \"if-then\" rules applying a combination of icon- and form-based techniques. When a document represented by an icon is dropped on a task field its rules are checked and actions of the selected rules are excited. VIP space is finally demonstrated in an Internet course application."}],"place":"Maui, HI, USA ","author":[{"first_name":"M.","full_name":"Dücker, M.","last_name":"Dücker"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"},{"last_name":"Rubart","first_name":"Jessica","full_name":"Rubart, Jessica"}],"title":"Innovative Concepts for Configurating Shared Workspaces through Visual Programming","conference":{"name":"Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32","location":"Maui, HI, USA "},"department":[{"_id":"672"}],"keyword":["Application software","Electronic mail","Computer networks","Collaborative work","Teleconferencing","Asynchronous communication","Software systems","Internet","Computer applications","Discussion forums"],"user_id":"5786","citation":{"mla":"Dücker, M., et al. “Innovative Concepts for Configurating Shared Workspaces through Visual Programming.” <i> Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences</i>, 1999, doi:<a href=\"https://doi.org/10.1109/HICSS.1999.773046\">10.1109/HICSS.1999.773046</a>.","apa":"Dücker, M., Müller, W., &#38; Rubart, J. (1999). Innovative Concepts for Configurating Shared Workspaces through Visual Programming. <i> Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences</i>. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA . <a href=\"https://doi.org/10.1109/HICSS.1999.773046\">https://doi.org/10.1109/HICSS.1999.773046</a>","bibtex":"@inproceedings{Dücker_Müller_Rubart_1999, place={Maui, HI, USA }, title={Innovative Concepts for Configurating Shared Workspaces through Visual Programming}, DOI={<a href=\"https://doi.org/10.1109/HICSS.1999.773046\">10.1109/HICSS.1999.773046</a>}, booktitle={ Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences}, author={Dücker, M. and Müller, Wolfgang and Rubart, Jessica}, year={1999} }","ama":"Dücker M, Müller W, Rubart J. Innovative Concepts for Configurating Shared Workspaces through Visual Programming. In: <i> Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences</i>. ; 1999. doi:<a href=\"https://doi.org/10.1109/HICSS.1999.773046\">10.1109/HICSS.1999.773046</a>","short":"M. Dücker, W. Müller, J. Rubart, in:  Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences, Maui, HI, USA , 1999.","chicago":"Dücker, M., Wolfgang Müller, and Jessica Rubart. “Innovative Concepts for Configurating Shared Workspaces through Visual Programming.” In <i> Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences</i>. Maui, HI, USA , 1999. <a href=\"https://doi.org/10.1109/HICSS.1999.773046\">https://doi.org/10.1109/HICSS.1999.773046</a>.","ieee":"M. Dücker, W. Müller, and J. Rubart, “Innovative Concepts for Configurating Shared Workspaces through Visual Programming,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA , 1999, doi: <a href=\"https://doi.org/10.1109/HICSS.1999.773046\">10.1109/HICSS.1999.773046</a>."},"status":"public","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["0-7695-0001-3"]},"year":"1999","type":"conference","date_created":"2023-01-24T11:35:47Z","publication":" Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences","date_updated":"2023-01-24T11:35:52Z","_id":"39488"},{"_id":"39487","date_updated":"2023-01-24T11:33:35Z","date_created":"2023-01-24T11:33:05Z","publication":"Proceedings of HICSS-32","status":"public","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["0-7695-0001-3"]},"type":"conference","year":"1999","keyword":["Animation","Computer languages","Object oriented modeling","Collaboration","Process design","Graphical user interfaces","Jacobian matrices","Standardization","Feedback","Software prototyping"],"user_id":"5786","citation":{"short":"C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui, Hawaii, 1999.","mla":"Geiger, Christian, et al. “Visual Specification, Modeling, and Illustrations of Complex Systems.” <i>Proceedings of HICSS-32</i>, 1999, doi:<a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>.","bibtex":"@inproceedings{Geiger_Lehrenfeld_Müller_1999, place={Maui, Hawaii}, title={Visual Specification, Modeling, and Illustrations of Complex Systems}, DOI={<a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>}, booktitle={Proceedings of HICSS-32}, author={Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}, year={1999} }","chicago":"Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Visual Specification, Modeling, and Illustrations of Complex Systems.” In <i>Proceedings of HICSS-32</i>. Maui, Hawaii, 1999. <a href=\"https://doi.org/10.1109/HICSS.1999.772621\">https://doi.org/10.1109/HICSS.1999.772621</a>.","ieee":"C. Geiger, G. Lehrenfeld, and W. Müller, “Visual Specification, Modeling, and Illustrations of Complex Systems,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii, 1999, doi: <a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>.","ama":"Geiger C, Lehrenfeld G, Müller W. Visual Specification, Modeling, and Illustrations of Complex Systems. In: <i>Proceedings of HICSS-32</i>. ; 1999. doi:<a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>","apa":"Geiger, C., Lehrenfeld, G., &#38; Müller, W. (1999). Visual Specification, Modeling, and Illustrations of Complex Systems. <i>Proceedings of HICSS-32</i>. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii. <a href=\"https://doi.org/10.1109/HICSS.1999.772621\">https://doi.org/10.1109/HICSS.1999.772621</a>"},"department":[{"_id":"672"}],"author":[{"last_name":"Geiger","first_name":"Christian","full_name":"Geiger, Christian"},{"first_name":"G.","full_name":"Lehrenfeld, G.","last_name":"Lehrenfeld"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"title":"Visual Specification, Modeling, and Illustrations of Complex Systems","conference":{"name":"Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999","location":"Maui, Hawaii"},"abstract":[{"lang":"eng","text":"This article introduces and discusses different innovative means for visual specification and animation of complex concurrent systems. It introduces the completely visual programming language Pictorial Janus (PJ) and its application in the customer-oriented design process. PJ implements a completely visual programming language with inherent animation facilities. The article outlines the transformation of purely visual PJ programs into textual imperative programming languages. The second part of the article investigates animated 3D-presentations and introduces a novel approach to an animated 3D programming language for interactive customer-oriented illustrations."}],"doi":"10.1109/HICSS.1999.772621","place":"Maui, Hawaii"},{"date_updated":"2023-01-24T11:17:29Z","_id":"39468","type":"conference","year":"1999","language":[{"iso":"eng"}],"status":"public","date_created":"2023-01-24T11:17:24Z","department":[{"_id":"672"}],"series_title":"Intelligente Virtuelle Umgebungen","citation":{"ama":"Dücker M, Flake S, Geiger C, et al. Wissenbasierte Konzepte und visuelle interaktive Systeme. Published online 1999.","apa":"Dücker, M., Flake, S., Geiger, C., Müller, W., Paelke, V., Reimann, C., Rosenbach, W., Zimmermann, D., &#38; Zelder, S. (1999). <i>Wissenbasierte Konzepte und visuelle interaktive Systeme</i>. 23rd German Annual Symposium on Artificial Intelligence, Bonn.","chicago":"Dücker, M., Stephan Flake, C. Geiger, Wolfgang Müller, Volker Paelke, C. Reimann, W. Rosenbach, D. Zimmermann, and S. Zelder. “Wissenbasierte Konzepte Und Visuelle Interaktive Systeme.” Intelligente Virtuelle Umgebungen. Bonn, 1999.","ieee":"M. Dücker <i>et al.</i>, “Wissenbasierte Konzepte und visuelle interaktive Systeme.” Bonn, 1999.","mla":"Dücker, M., et al. <i>Wissenbasierte Konzepte Und Visuelle Interaktive Systeme</i>. 1999.","bibtex":"@article{Dücker_Flake_Geiger_Müller_Paelke_Reimann_Rosenbach_Zimmermann_Zelder_1999, place={Bonn}, series={Intelligente Virtuelle Umgebungen}, title={Wissenbasierte Konzepte und visuelle interaktive Systeme}, author={Dücker, M. and Flake, Stephan and Geiger, C. and Müller, Wolfgang and Paelke, Volker and Reimann, C. and Rosenbach, W. and Zimmermann, D. and Zelder, S.}, year={1999}, collection={Intelligente Virtuelle Umgebungen} }","short":"M. Dücker, S. Flake, C. Geiger, W. Müller, V. Paelke, C. Reimann, W. Rosenbach, D. Zimmermann, S. Zelder, (1999)."},"user_id":"5786","place":"Bonn","abstract":[{"lang":"eng","text":"Dieser Beitrag stellt eine Auswahl aktueller Arbeiten des C-LAB Instituts in Paderborn vor, die sich im wesentlichen in\r\nder Schnittmenge der Anwendung wissensbasierter Techniken im Systementwurf und dem Design interaktiver visueller Sy-\r\nsteme ansiedeln. Der allgemeinen Ausrichtung des C-LABs folgend, haben die meisten Projekte einen stark anwendungsbe-\r\nzogenen Charakter. Der Beitrag gibt einen kurzen Überblick der wichtigsten aktuellen Arbeiten in diesem Bereich („Breite\r\nvor Tiefe“) und skizziert die zukünftigen F&E-Aktivitäten, die sich auf die Anwendung wissensbasierter Konzepte beim\r\nEntwurf interaktiver visueller Systeme konzentrieren."}],"conference":{"name":"23rd German Annual Symposium on Artificial Intelligence","location":"Bonn"},"title":"Wissenbasierte Konzepte und visuelle interaktive Systeme","author":[{"last_name":"Dücker","first_name":"M.","full_name":"Dücker, M."},{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"first_name":"C.","full_name":"Geiger, C.","last_name":"Geiger"},{"id":"16243","last_name":"Müller","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"full_name":"Paelke, Volker","first_name":"Volker","last_name":"Paelke"},{"last_name":"Reimann","first_name":"C.","full_name":"Reimann, C."},{"last_name":"Rosenbach","first_name":"W.","full_name":"Rosenbach, W."},{"last_name":"Zimmermann","full_name":"Zimmermann, D.","first_name":"D."},{"full_name":"Zelder, S.","first_name":"S.","last_name":"Zelder"}]},{"department":[{"_id":"672"}],"citation":{"ama":"Dangberg A, Müller W. Generation of Interactive Visual Environments for Direct Manipulation of Database Content. In: <i>Proceedings of the IEEE Symposium on Visual Languages</i>. ; 1999.","apa":"Dangberg, A., &#38; Müller, W. (1999). Generation of Interactive Visual Environments for Direct Manipulation of Database Content. <i>Proceedings of the IEEE Symposium on Visual Languages</i>.","chicago":"Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Environments for Direct Manipulation of Database Content.” In <i>Proceedings of the IEEE Symposium on Visual Languages</i>. Tokyo, Japan, 1999.","ieee":"A. Dangberg and W. Müller, “Generation of Interactive Visual Environments for Direct Manipulation of Database Content,” 1999.","mla":"Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Environments for Direct Manipulation of Database Content.” <i>Proceedings of the IEEE Symposium on Visual Languages</i>, 1999.","bibtex":"@inproceedings{Dangberg_Müller_1999, place={Tokyo, Japan}, title={Generation of Interactive Visual Environments for Direct Manipulation of Database Content}, booktitle={Proceedings of the IEEE Symposium on Visual Languages}, author={Dangberg, Andreas and Müller, Wolfgang}, year={1999} }","short":"A. Dangberg, W. Müller, in: Proceedings of the IEEE Symposium on Visual Languages, Tokyo, Japan, 1999."},"user_id":"5786","place":"Tokyo, Japan","title":"Generation of Interactive Visual Environments for Direct Manipulation of Database Content","author":[{"last_name":"Dangberg","first_name":"Andreas","full_name":"Dangberg, Andreas"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller"}],"date_updated":"2023-01-24T11:19:34Z","_id":"39471","language":[{"iso":"eng"}],"year":"1999","type":"conference","status":"public","date_created":"2023-01-24T11:19:30Z","publication":"Proceedings of the IEEE Symposium on Visual Languages"},{"date_updated":"2023-01-24T11:21:57Z","_id":"39474","language":[{"iso":"eng"}],"year":"1999","type":"conference","publication_identifier":{"isbn":["0-7803-5211-4"]},"status":"public","date_created":"2023-01-24T11:21:53Z","publication":"Proceedings of NAFIPS'99, 18th International Conference of the North American Fuzzy Information Processing Society","publisher":"IEEE","department":[{"_id":"672"}],"citation":{"short":"S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, V. Paelke, in: Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society, IEEE, New York, NY, USA , 1999.","chicago":"Flake, Stephan, Christian Geiger, G. Lehrenfeld, Wolfgang Müller, and Volker Paelke. “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control.” In <i>Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society</i>. New York, NY, USA : IEEE, 1999. <a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">https://doi.org/10.1109/NAFIPS.1999.781697</a>.","ieee":"S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, and V. Paelke, “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control,” presented at the 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS, New York, NY, USA , 1999, doi: <a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">10.1109/NAFIPS.1999.781697</a>.","mla":"Flake, Stephan, et al. “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control.” <i>Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society</i>, IEEE, 1999, doi:<a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">10.1109/NAFIPS.1999.781697</a>.","ama":"Flake S, Geiger C, Lehrenfeld G, Müller W, Paelke V. Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. In: <i>Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society</i>. IEEE; 1999. doi:<a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">10.1109/NAFIPS.1999.781697</a>","bibtex":"@inproceedings{Flake_Geiger_Lehrenfeld_Müller_Paelke_1999, place={New York, NY, USA }, title={Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control}, DOI={<a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">10.1109/NAFIPS.1999.781697</a>}, booktitle={Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society}, publisher={IEEE}, author={Flake, Stephan and Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang and Paelke, Volker}, year={1999} }","apa":"Flake, S., Geiger, C., Lehrenfeld, G., Müller, W., &#38; Paelke, V. (1999). Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. <i>Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society</i>. 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS, New York, NY, USA . <a href=\"https://doi.org/10.1109/NAFIPS.1999.781697\">https://doi.org/10.1109/NAFIPS.1999.781697</a>"},"keyword":["Manufacturing systems","Fuzzy control","Multiagent systems","Control systems","Concurrent computing","Specification languages","Communication standards","Standards development","Communication system control","Computer integrated manufacturing"],"user_id":"5786","place":"New York, NY, USA ","doi":"10.1109/NAFIPS.1999.781697","abstract":[{"text":"Agent-based systems technologies are of emerging interest in the specification and implementation of complex systems. This article introduces the CASA agent development system which seamlessly combines the BDI (belief desire intention) approach with the FIPA agent communication language standard and an integrated specification of fuzzy controllers. The behavior of agents is defined by strategies which basically correspond to extended guarded Horn clauses with priorities. The presented concepts are introduced by an example from computer integrated manufacturing (CIM). The example gives the specification of a fuzzy controller for a manufacturing station in the context of a holonic manufacturing system (HMS).","lang":"eng"}],"title":"Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control","conference":{"name":"18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS","location":"New York, NY, USA "},"author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"first_name":"Christian","full_name":"Geiger, Christian","last_name":"Geiger"},{"full_name":"Lehrenfeld, G.","first_name":"G.","last_name":"Lehrenfeld"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"first_name":"Volker","full_name":"Paelke, Volker","last_name":"Paelke"}]},{"year":"1999","type":"conference","publication_identifier":{"isbn":["0-7695-0253-9"]},"language":[{"iso":"eng"}],"status":"public","publication":" Proceedings IEEE International Conference on Multimedia Computing and Systems","date_created":"2023-01-24T11:24:14Z","date_updated":"2023-01-24T11:24:18Z","_id":"39477","place":"Florence, Italy","abstract":[{"lang":"eng","text":"Though several approaches in sound processing are denoted as 3D audio very few of them generate high quality 3D audio information which allows listeners to exactly locate sound sources in three dimensional space. We present an approach to enhance sound by high quality 3D audio information through acoustic ray tracing where 3D audio is offline processed with digital filters of a head-related transfer function. The basic approach computes a fixed sound source for fixed listener. This approach is extended to generate 3D audio for moving listeners in interactive environments."}],"doi":"10.1109/MMCS.1999.778592","title":"Scalable System for 3D Audio Raytracing","author":[{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","last_name":"Müller","id":"16243"},{"full_name":"Ullmann, F.","first_name":"F.","last_name":"Ullmann"}],"department":[{"_id":"672"}],"citation":{"bibtex":"@inproceedings{Müller_Ullmann_1999, place={Florence, Italy}, title={Scalable System for 3D Audio Raytracing}, DOI={<a href=\"https://doi.org/10.1109/MMCS.1999.778592\">10.1109/MMCS.1999.778592</a>}, booktitle={ Proceedings IEEE International Conference on Multimedia Computing and Systems}, author={Müller, Wolfgang and Ullmann, F.}, year={1999} }","mla":"Müller, Wolfgang, and F. Ullmann. “Scalable System for 3D Audio Raytracing.” <i> Proceedings IEEE International Conference on Multimedia Computing and Systems</i>, 1999, doi:<a href=\"https://doi.org/10.1109/MMCS.1999.778592\">10.1109/MMCS.1999.778592</a>.","short":"W. Müller, F. Ullmann, in:  Proceedings IEEE International Conference on Multimedia Computing and Systems, Florence, Italy, 1999.","ama":"Müller W, Ullmann F. Scalable System for 3D Audio Raytracing. In: <i> Proceedings IEEE International Conference on Multimedia Computing and Systems</i>. ; 1999. doi:<a href=\"https://doi.org/10.1109/MMCS.1999.778592\">10.1109/MMCS.1999.778592</a>","apa":"Müller, W., &#38; Ullmann, F. (1999). Scalable System for 3D Audio Raytracing. <i> Proceedings IEEE International Conference on Multimedia Computing and Systems</i>. <a href=\"https://doi.org/10.1109/MMCS.1999.778592\">https://doi.org/10.1109/MMCS.1999.778592</a>","ieee":"W. Müller and F. Ullmann, “Scalable System for 3D Audio Raytracing,” 1999, doi: <a href=\"https://doi.org/10.1109/MMCS.1999.778592\">10.1109/MMCS.1999.778592</a>.","chicago":"Müller, Wolfgang, and F. Ullmann. “Scalable System for 3D Audio Raytracing.” In <i> Proceedings IEEE International Conference on Multimedia Computing and Systems</i>. Florence, Italy, 1999. <a href=\"https://doi.org/10.1109/MMCS.1999.778592\">https://doi.org/10.1109/MMCS.1999.778592</a>."},"user_id":"5786","keyword":["Ray tracing","Loudspeakers","Motion pictures","Acoustic reflection","Ear","Digital filters","Parallel processing","Humans","Physics","Crosstalk"]},{"doi":"10.1524/itit.1998.40.3.32","author":[{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","id":"16243","last_name":"Müller"},{"first_name":"Jörgen","full_name":"Sturm, Jörgen","last_name":"Sturm"}],"title":"Visuelle Spezifikations- und Modellierungstechniken","department":[{"_id":"672"}],"user_id":"5786","citation":{"mla":"Müller, Wolfgang, and Jörgen Sturm. “Visuelle Spezifikations- Und Modellierungstechniken.” <i>It - Information Technology</i>, Oldenbourg Verlag, 1998, pp. 32–36, doi:<a href=\"https://doi.org/10.1524/itit.1998.40.3.32\">10.1524/itit.1998.40.3.32</a>.","apa":"Müller, W., &#38; Sturm, J. (1998). Visuelle Spezifikations- und Modellierungstechniken. <i>It - Information Technology</i>, 32–36. <a href=\"https://doi.org/10.1524/itit.1998.40.3.32\">https://doi.org/10.1524/itit.1998.40.3.32</a>","ama":"Müller W, Sturm J. Visuelle Spezifikations- und Modellierungstechniken. <i>it - Information Technology</i>. Published online 1998:32-36. doi:<a href=\"https://doi.org/10.1524/itit.1998.40.3.32\">10.1524/itit.1998.40.3.32</a>","bibtex":"@article{Müller_Sturm_1998, title={Visuelle Spezifikations- und Modellierungstechniken}, DOI={<a href=\"https://doi.org/10.1524/itit.1998.40.3.32\">10.1524/itit.1998.40.3.32</a>}, journal={it - Information Technology}, publisher={Oldenbourg Verlag}, author={Müller, Wolfgang and Sturm, Jörgen}, year={1998}, pages={32–36} }","chicago":"Müller, Wolfgang, and Jörgen Sturm. “Visuelle Spezifikations- Und Modellierungstechniken.” <i>It - Information Technology</i>, 1998, 32–36. <a href=\"https://doi.org/10.1524/itit.1998.40.3.32\">https://doi.org/10.1524/itit.1998.40.3.32</a>.","short":"W. Müller, J. Sturm, It - Information Technology (1998) 32–36.","ieee":"W. Müller and J. Sturm, “Visuelle Spezifikations- und Modellierungstechniken,” <i>it - Information Technology</i>, pp. 32–36, 1998, doi: <a href=\"https://doi.org/10.1524/itit.1998.40.3.32\">10.1524/itit.1998.40.3.32</a>."},"status":"public","language":[{"iso":"eng"}],"year":"1998","type":"journal_article","publisher":"Oldenbourg Verlag","date_created":"2022-12-20T09:55:05Z","publication":"it - Information Technology","date_updated":"2022-12-20T09:55:15Z","page":"32-36","_id":"34578"}]