---
_id: '39427'
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: U.
  full_name: Pape, U.
  last_name: Pape
- first_name: Jürgen
  full_name: Ruf, Jürgen
  last_name: Ruf
citation:
  ama: 'Flake S, Müller W, Pape U, Ruf J. Real-Time Model Checking for the Analysis
    of flexible Manufacturing Systems. In: <i>Proceedings of ISI 2001</i>. ; 2001.'
  apa: Flake, S., Müller, W., Pape, U., &#38; Ruf, J. (2001). Real-Time Model Checking
    for the Analysis of flexible Manufacturing Systems. <i>Proceedings of ISI 2001</i>.
  bibtex: '@inproceedings{Flake_Müller_Pape_Ruf_2001, place={Dubai}, title={Real-Time
    Model Checking for the Analysis of flexible Manufacturing Systems}, booktitle={Proceedings
    of ISI 2001}, author={Flake, Stephan and Müller, Wolfgang and Pape, U. and Ruf,
    Jürgen}, year={2001} }'
  chicago: Flake, Stephan, Wolfgang Müller, U. Pape, and Jürgen Ruf. “Real-Time Model
    Checking for the Analysis of Flexible Manufacturing Systems.” In <i>Proceedings
    of ISI 2001</i>. Dubai, 2001.
  ieee: S. Flake, W. Müller, U. Pape, and J. Ruf, “Real-Time Model Checking for the
    Analysis of flexible Manufacturing Systems,” 2001.
  mla: Flake, Stephan, et al. “Real-Time Model Checking for the Analysis of Flexible
    Manufacturing Systems.” <i>Proceedings of ISI 2001</i>, 2001.
  short: 'S. Flake, W. Müller, U. Pape, J. Ruf, in: Proceedings of ISI 2001, Dubai,
    2001.'
date_created: 2023-01-24T10:43:11Z
date_updated: 2023-01-24T10:43:21Z
department:
- _id: '672'
language:
- iso: eng
place: Dubai
publication: Proceedings of ISI 2001
status: public
title: Real-Time Model Checking for the Analysis of flexible Manufacturing Systems
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39432'
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.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: A.
  full_name: Meyer, A.
  last_name: Meyer
- first_name: Henning
  full_name: Zabel, Henning
  last_name: Zabel
citation:
  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>'
  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>
  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>.'
  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>.
  short: 'W. Müller, A. Meyer, H. Zabel, in: Proceedings of the 34th Annual Hawaii
    International Conference on System Sciences, Maui, HI, USA , 2001.'
date_created: 2023-01-24T10:48:09Z
date_updated: 2023-01-24T10:48:14Z
department:
- _id: '672'
doi: 10.1109/HICSS.2001.926319
keyword:
- software prototyping
- distributed programming
- authoring languages
- software agents
- program visualisation
- parallel languages
language:
- iso: eng
place: 'Maui, HI, USA '
publication: Proceedings of the 34th Annual Hawaii International Conference on System
  Sciences
publication_identifier:
  isbn:
  - 0-7695-0981-9
status: public
title: A Language for the Rapid Prototyping of Mobile Evolving Agents
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39431'
author:
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Rainer
  full_name: Tellmann, Rainer
  last_name: Tellmann
citation:
  ama: 'Lehrenfeld G, Müller W, Tellmann R. Security Concepts for Agent-Based Systems.
    In: <i>Proceedings of SCASE 01</i>. ; 2001.'
  apa: Lehrenfeld, G., Müller, W., &#38; Tellmann, R. (2001). Security Concepts for
    Agent-Based Systems. <i>Proceedings of SCASE 01</i>.
  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}
    }'
  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.
  mla: Lehrenfeld, Georg, et al. “Security Concepts for Agent-Based Systems.” <i>Proceedings
    of SCASE 01</i>, 2001.
  short: 'G. Lehrenfeld, W. Müller, R. Tellmann, in: Proceedings of SCASE 01, Enschede,
    Netherlands, 2001.'
date_created: 2023-01-24T10:45:49Z
date_updated: 2023-01-24T10:45:54Z
department:
- _id: '672'
language:
- iso: eng
place: Enschede, Netherlands
publication: Proceedings of SCASE 01
status: public
title: Security Concepts for Agent-Based Systems
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39406'
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."
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: Flake S, Müller W. Spezifikation von Echtzeiteigenschaften mit OCL für eine
    MFERT-basierte Fallstudie. Published online 2001.
  apa: Flake, S., &#38; Müller, W. (2001). <i>Spezifikation von Echtzeiteigenschaften
    mit OCL für eine MFERT-basierte Fallstudie</i>.
  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} }'
  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.'
  ieee: S. Flake and W. Müller, “Spezifikation von Echtzeiteigenschaften mit OCL für
    eine MFERT-basierte Fallstudie.” Berlin, 2001.
  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).
date_created: 2023-01-24T10:24:09Z
date_updated: 2023-01-24T10:24:15Z
department:
- _id: '672'
language:
- iso: eng
place: Berlin
series_title: 'Tagungsband: Ablaufmodellierungen in ingenieruwissenschaftlichen Anwendungen'
status: public
title: Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39425'
abstract:
- lang: eng
  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.
author:
- first_name: Andreas
  full_name: Dangberg, Andreas
  last_name: Dangberg
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  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>.
  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} }'
  chicago: Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual
    Interfaces for Resource Management.” In <i>Proceedings of ISI 2001</i>. Dubai,
    2001.
  ieee: A. Dangberg and W. Müller, “Generation of Interactive Visual Interfaces for
    Resource Management,” 2001.
  mla: Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Interfaces
    for Resource Management.” <i>Proceedings of ISI 2001</i>, 2001.
  short: 'A. Dangberg, W. Müller, in: Proceedings of ISI 2001, Dubai, 2001.'
date_created: 2023-01-24T10:41:05Z
date_updated: 2023-01-24T10:41:09Z
department:
- _id: '672'
language:
- iso: eng
place: Dubai
publication: Proceedings of ISI 2001
status: public
title: Generation of Interactive Visual Interfaces for Resource Management
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '53588'
author:
- first_name: Andreas
  full_name: Dangberg, Andreas
  last_name: Dangberg
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  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>.
  bibtex: '@article{Dangberg_Müller_2000, title={Verfahren zur Steuerung der Anordnung
    von graphischen Elementen}, author={Dangberg, Andreas and Müller, Wolfgang}, year={2000}
    }'
  chicago: Dangberg, Andreas, and Wolfgang Müller. “Verfahren Zur Steuerung Der Anordnung
    von Graphischen Elementen,” 2000.
  ieee: A. Dangberg and W. Müller, “Verfahren zur Steuerung der Anordnung von graphischen
    Elementen.” 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).
date_created: 2024-04-18T21:23:25Z
date_updated: 2024-04-18T21:23:39Z
department:
- _id: '58'
ipc: Deutsches Patentamt
ipn: DE200/0165323
publication_date: 2000/12/31
status: public
title: Verfahren zur Steuerung der Anordnung von graphischen Elementen
type: patent
user_id: '16243'
year: '2000'
...
---
_id: '39434'
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."
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Ulrich
  full_name: Pape, Ulrich
  last_name: Pape
- first_name: Jürgen
  full_name: Ruf, Jürgen
  last_name: Ruf
citation:
  ama: Flake S, Müller W, Pape U, Ruf J. Modellprüfung für den Entwurf von Fertigungssteuerungssystemen.
    Published online 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} }'
  chicago: Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Modellprüfung
    Für Den Entwurf von Fertigungssteuerungssystemen.” Mobis 2000. Siegen, 2000.
  ieee: S. Flake, W. Müller, U. Pape, and J. Ruf, “Modellprüfung für den Entwurf von
    Fertigungssteuerungssystemen.” Siegen, 2000.
  mla: Flake, Stephan, et al. <i>Modellprüfung Für Den Entwurf von Fertigungssteuerungssystemen</i>.
    2000.
  short: S. Flake, W. Müller, U. Pape, J. Ruf, (2000).
date_created: 2023-01-24T10:49:52Z
date_updated: 2023-01-24T10:49:57Z
department:
- _id: '672'
language:
- iso: eng
place: Siegen
series_title: Mobis 2000
status: public
title: Modellprüfung für den Entwurf von Fertigungssteuerungssystemen
type: conference
user_id: '5786'
year: '2000'
...
---
_id: '39444'
abstract:
- lang: eng
  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. '
author:
- first_name: A.
  full_name: Braatz, A.
  last_name: Braatz
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: E.
  full_name: Westkämper, E.
  last_name: Westkämper
citation:
  ama: Braatz A, Flake S, Müller W, Westkämper E. Prototyping einer Fahrzeug-steuerung
    in einer virtuellen 3D-Umgebung. Published online 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} }'
  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.
  short: A. Braatz, S. Flake, W. Müller, E. Westkämper, (2000).
date_created: 2023-01-24T11:09:42Z
date_updated: 2023-01-24T11:09:46Z
department:
- _id: '672'
language:
- iso: eng
place: Magdeburg, Germany
series_title: Simulation und Visualisierung 2000
status: public
title: Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung
type: conference
user_id: '5786'
year: '2000'
...
---
_id: '39461'
abstract:
- lang: eng
  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."
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Jürgen
  full_name: Ruf, Jürgen
  last_name: Ruf
citation:
  ama: Flake S, Müller W, Ruf J. Structured English for Model Checking Specification.
    Published online 2000.
  apa: Flake, S., Müller, W., &#38; Ruf, J. (2000). <i>Structured English for Model
    Checking Specification</i>.
  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} }'
  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.
  ieee: S. Flake, W. Müller, and J. Ruf, “Structured English for Model Checking Specification.”
    Frankfurt, 2000.
  mla: Flake, Stephan, et al. <i>Structured English for Model Checking Specification</i>.
    2000.
  short: S. Flake, W. Müller, J. Ruf, (2000).
date_created: 2023-01-24T11:13:28Z
date_updated: 2023-01-24T11:13:33Z
department:
- _id: '672'
language:
- iso: eng
place: Frankfurt
series_title: Methoden und Beschreibungssprachen zur Modellierung und Verifikation
  von Schaltungen und Systemen
status: public
title: Structured English for Model Checking Specification
type: conference
user_id: '5786'
year: '2000'
...
---
_id: '39435'
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.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Arne
  full_name: Meyer, Arne
  last_name: Meyer
- first_name: Henning
  full_name: Zabel, Henning
  last_name: Zabel
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>.
  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} }'
  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.
  short: 'W. Müller, A. Meyer, H. Zabel, in: Proceedings of the IEEE Symposium on
    Visual Languages, Seattle, Washington, USA, 2000.'
date_created: 2023-01-24T10:51:23Z
date_updated: 2023-01-24T10:51:41Z
department:
- _id: '672'
language:
- iso: eng
place: Seattle, Washington, USA
publication: Proceedings of the IEEE Symposium on Visual Languages
status: public
title: A Visual Framework for the Scripting of Parallel Agents
type: conference
user_id: '5786'
year: '2000'
...
---
_id: '39439'
author:
- first_name: P. C. P.
  full_name: Bhatt, P. C. P.
  last_name: Bhatt
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  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.'
  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>.
  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} }'
  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.
  short: 'P.C.P. Bhatt, W. Müller, in: Proceedings of IECON 2000, Nagoya, Japan, 2000.'
date_created: 2023-01-24T10:53:23Z
date_updated: 2023-01-24T10:53:27Z
department:
- _id: '672'
language:
- iso: eng
place: Nagoya, Japan
publication: Proceedings of IECON 2000
status: public
title: A Methodology for the Protocol-Centered Design of Agent-Based Systems
type: conference
user_id: '5786'
year: '2000'
...
---
_id: '39442'
author:
- first_name: P. C. P.
  full_name: Bhatt, P. C. P.
  last_name: Bhatt
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  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>.'
  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} }'
  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.'
  ieee: 'P. C. P. Bhatt and W. Müller, “Morphic Nets: Model Based Design Diagrams,”
    2000.'
  mla: 'Bhatt, P. C. P., and Wolfgang Müller. “Morphic Nets: Model Based Design Diagrams.”
    <i>Proceedings of UKPEW 2000</i>, 2000.'
  short: 'P.C.P. Bhatt, W. Müller, in: Proceedings of UKPEW 2000, Durham, UK, 2000.'
date_created: 2023-01-24T10:54:54Z
date_updated: 2023-01-24T10:55:00Z
department:
- _id: '672'
language:
- iso: eng
place: Durham, UK
publication: Proceedings of UKPEW 2000
status: public
title: 'Morphic Nets: Model Based Design Diagrams'
type: conference
user_id: '5786'
year: '2000'
...
---
_id: '39464'
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Jürgen
  full_name: Ruf, Jürgen
  last_name: Ruf
citation:
  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>.
  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}
    }'
  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.
  ieee: S. Flake, W. Müller, and J. Ruf, “An Advanced Visual Capture for Model Checking
    Specifications,” 2000.
  mla: Flake, Stephan, et al. “An Advanced Visual Capture for Model Checking Specifications.”
    <i>Proceedings of AVI 2000</i>, 2000.
  short: 'S. Flake, W. Müller, J. Ruf, in: Proceedings of AVI 2000, Palermo, Italy,
    2000.'
date_created: 2023-01-24T11:14:51Z
date_updated: 2023-01-24T11:14:59Z
department:
- _id: '672'
language:
- iso: eng
place: Palermo, Italy
publication: Proceedings of AVI 2000
status: public
title: An Advanced Visual Capture for Model Checking Specifications
type: conference
user_id: '5786'
year: '2000'
...
---
_id: '39481'
author:
- first_name: Christian
  full_name: Geiger, Christian
  last_name: Geiger
- first_name: G.
  full_name: Lehrenfeld, G.
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  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>.
  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.
  mla: Geiger, Christian, et al. <i>Virtuelles Prototyping Einer Robotersteuerung
    Durch Interaktive 3D-Simulation</i>. 1999.
  short: C. Geiger, G. Lehrenfeld, W. Müller, (1999).
date_created: 2023-01-24T11:25:48Z
date_updated: 2023-01-24T11:30:35Z
department:
- _id: '672'
language:
- iso: eng
place: Magdeburg, Germany
series_title: Simulation und Visualisierung
status: public
title: Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation
type: conference
user_id: '5786'
year: '1999'
...
---
_id: '39488'
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.
author:
- first_name: M.
  full_name: Dücker, M.
  last_name: Dücker
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Jessica
  full_name: Rubart, Jessica
  last_name: Rubart
citation:
  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>'
  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} }'
  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>.'
  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>.
  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.'
conference:
  location: 'Maui, HI, USA '
  name: Proceedings of the 32nd Annual Hawaii International Conference on Systems
    Sciences. 1999. HICSS-32
date_created: 2023-01-24T11:35:47Z
date_updated: 2023-01-24T11:35:52Z
department:
- _id: '672'
doi: 10.1109/HICSS.1999.773046
keyword:
- Application software
- Electronic mail
- Computer networks
- Collaborative work
- Teleconferencing
- Asynchronous communication
- Software systems
- Internet
- Computer applications
- Discussion forums
language:
- iso: eng
place: 'Maui, HI, USA '
publication: ' Proceedings of the 32nd Annual Hawaii International Conference on Systems
  Sciences'
publication_identifier:
  isbn:
  - 0-7695-0001-3
status: public
title: Innovative Concepts for Configurating Shared Workspaces through Visual Programming
type: conference
user_id: '5786'
year: '1999'
...
---
_id: '39487'
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.
author:
- first_name: Christian
  full_name: Geiger, Christian
  last_name: Geiger
- first_name: G.
  full_name: Lehrenfeld, G.
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  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>
  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>.'
  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>.
  short: 'C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui,
    Hawaii, 1999.'
conference:
  location: Maui, Hawaii
  name: Proceedings of the 32nd Annual Hawaii International Conference on Systems
    Sciences 1999
date_created: 2023-01-24T11:33:05Z
date_updated: 2023-01-24T11:33:35Z
department:
- _id: '672'
doi: 10.1109/HICSS.1999.772621
keyword:
- Animation
- Computer languages
- Object oriented modeling
- Collaboration
- Process design
- Graphical user interfaces
- Jacobian matrices
- Standardization
- Feedback
- Software prototyping
language:
- iso: eng
place: Maui, Hawaii
publication: Proceedings of HICSS-32
publication_identifier:
  isbn:
  - 0-7695-0001-3
status: public
title: Visual Specification, Modeling, and Illustrations of Complex Systems
type: conference
user_id: '5786'
year: '1999'
...
---
_id: '39468'
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."
author:
- first_name: M.
  full_name: Dücker, M.
  last_name: Dücker
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: C.
  full_name: Geiger, C.
  last_name: Geiger
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Volker
  full_name: Paelke, Volker
  last_name: Paelke
- first_name: C.
  full_name: Reimann, C.
  last_name: Reimann
- first_name: W.
  full_name: Rosenbach, W.
  last_name: Rosenbach
- first_name: D.
  full_name: Zimmermann, D.
  last_name: Zimmermann
- first_name: S.
  full_name: Zelder, S.
  last_name: Zelder
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.
  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} }'
  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.
  short: M. Dücker, S. Flake, C. Geiger, W. Müller, V. Paelke, C. Reimann, W. Rosenbach,
    D. Zimmermann, S. Zelder, (1999).
conference:
  location: Bonn
  name: 23rd German Annual Symposium on Artificial Intelligence
date_created: 2023-01-24T11:17:24Z
date_updated: 2023-01-24T11:17:29Z
department:
- _id: '672'
language:
- iso: eng
place: Bonn
series_title: Intelligente Virtuelle Umgebungen
status: public
title: Wissenbasierte Konzepte und visuelle interaktive Systeme
type: conference
user_id: '5786'
year: '1999'
...
---
_id: '39471'
author:
- first_name: Andreas
  full_name: Dangberg, Andreas
  last_name: Dangberg
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
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>.
  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} }'
  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.
  short: 'A. Dangberg, W. Müller, in: Proceedings of the IEEE Symposium on Visual
    Languages, Tokyo, Japan, 1999.'
date_created: 2023-01-24T11:19:30Z
date_updated: 2023-01-24T11:19:34Z
department:
- _id: '672'
language:
- iso: eng
place: Tokyo, Japan
publication: Proceedings of the IEEE Symposium on Visual Languages
status: public
title: Generation of Interactive Visual Environments for Direct Manipulation of Database
  Content
type: conference
user_id: '5786'
year: '1999'
...
---
_id: '39474'
abstract:
- lang: eng
  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).
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Christian
  full_name: Geiger, Christian
  last_name: Geiger
- first_name: G.
  full_name: Lehrenfeld, G.
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Volker
  full_name: Paelke, Volker
  last_name: Paelke
citation:
  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>'
  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>
  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} }'
  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>.
  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.'
conference:
  location: 'New York, NY, USA '
  name: 18th International Conference of the North American Fuzzy Information Processing
    Society - NAFIPS
date_created: 2023-01-24T11:21:53Z
date_updated: 2023-01-24T11:21:57Z
department:
- _id: '672'
doi: 10.1109/NAFIPS.1999.781697
keyword:
- Manufacturing systems
- Fuzzy control
- Multiagent systems
- Control systems
- Concurrent computing
- Specification languages
- Communication standards
- Standards development
- Communication system control
- Computer integrated manufacturing
language:
- iso: eng
place: 'New York, NY, USA '
publication: Proceedings of NAFIPS'99, 18th International Conference of the North
  American Fuzzy Information Processing Society
publication_identifier:
  isbn:
  - 0-7803-5211-4
publisher: IEEE
status: public
title: Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control
type: conference
user_id: '5786'
year: '1999'
...
---
_id: '39477'
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.
author:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: F.
  full_name: Ullmann, F.
  last_name: Ullmann
citation:
  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>
  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} }'
  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>.
  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>.'
  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.'
date_created: 2023-01-24T11:24:14Z
date_updated: 2023-01-24T11:24:18Z
department:
- _id: '672'
doi: 10.1109/MMCS.1999.778592
keyword:
- Ray tracing
- Loudspeakers
- Motion pictures
- Acoustic reflection
- Ear
- Digital filters
- Parallel processing
- Humans
- Physics
- Crosstalk
language:
- iso: eng
place: Florence, Italy
publication: ' Proceedings IEEE International Conference on Multimedia Computing and
  Systems'
publication_identifier:
  isbn:
  - 0-7695-0253-9
status: public
title: Scalable System for 3D Audio Raytracing
type: conference
user_id: '5786'
year: '1999'
...