---
_id: '39350'
abstract:
- lang: eng
  text: Variation in different mobile devices with different capabilities and interaction
    modalities as well as changing user context in nomadic applications, poses huge
    challenges to the design of user interfaces. To avoid multiple designs for each
    device or modality, it is almost a must to employ a model-based approach. In this
    short paper, we present a new dialog model for multimodal interaction together
    with an advanced control model, which can either be used for direct modeling by
    an interface designer or in conjunction with higher level models.
author:
- first_name: Robbie
  full_name: Schäfer, Robbie
  last_name: Schäfer
- first_name: Steffen
  full_name: Bleul, Steffen
  last_name: Bleul
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Schäfer R, Bleul S, Müller W. A Novel Dialog Model for the Design of Multimodal
    User Interfaces. In: <i>Proceedings of EHCI-DSVIS 2005</i>. Lecture Notes in Computer
    Science . ; 2004.'
  apa: Schäfer, R., Bleul, S., &#38; Müller, W. (2004). A Novel Dialog Model for the
    Design of Multimodal User Interfaces. <i>Proceedings of EHCI-DSVIS 2005</i>.
  bibtex: '@inproceedings{Schäfer_Bleul_Müller_2004, place={Tremsbüttel, Hamburg},
    series={Lecture Notes in Computer Science }, title={A Novel Dialog Model for the
    Design of Multimodal User Interfaces}, booktitle={Proceedings of EHCI-DSVIS 2005},
    author={Schäfer, Robbie and Bleul, Steffen and Müller, Wolfgang}, year={2004},
    collection={Lecture Notes in Computer Science } }'
  chicago: Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “A Novel Dialog Model
    for the Design of Multimodal User Interfaces.” In <i>Proceedings of EHCI-DSVIS
    2005</i>. Lecture Notes in Computer Science . Tremsbüttel, Hamburg, 2004.
  ieee: R. Schäfer, S. Bleul, and W. Müller, “A Novel Dialog Model for the Design
    of Multimodal User Interfaces,” 2004.
  mla: Schäfer, Robbie, et al. “A Novel Dialog Model for the Design of Multimodal
    User Interfaces.” <i>Proceedings of EHCI-DSVIS 2005</i>, 2004.
  short: 'R. Schäfer, S. Bleul, W. Müller, in: Proceedings of EHCI-DSVIS 2005, Tremsbüttel,
    Hamburg, 2004.'
date_created: 2023-01-24T09:26:58Z
date_updated: 2023-01-24T09:27:03Z
department:
- _id: '672'
keyword:
- Multimodal User Interface     High Level Model     Multimodal User     High Level
  Approach     Dialog Model
language:
- iso: eng
place: Tremsbüttel, Hamburg
publication: Proceedings of EHCI-DSVIS 2005
series_title: 'Lecture Notes in Computer Science '
status: public
title: A Novel Dialog Model for the Design of Multimodal User Interfaces
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '34446'
abstract:
- lang: eng
  text: We present a formal definition of the event based SystemC V2.0 simulation
    semantics by means of distributed Abstract State Machines (ASMs). Our definition
    provides a rigorous and concise, but yet readable, definition of the SystemC specific
    operations and their interaction with the simulation scheduler that covers channel
    updates, notify, notify_delayed, wait, and next_trigger operations. We present
    the semantics in the form of rules by means of distributed ASMs reflecting the
    lines of the SystemC V2.0 Standard Manuals and reference implementation. The semantics
    introduced is defined to complement the language reference manual with aprecise
    definition reflecting an abstract model of the SystemC reference implementation,
    which can be used for advanced applications and for investigating interoperabilities
    with other languages.
author:
- 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
- first_name: Wolfgang
  full_name: Rosenstiel, Wolfgang
  last_name: Rosenstiel
citation:
  ama: 'Müller W, Ruf J, Rosenstiel W. An ASM Based SystemC Simulation Semantics.
    In: Müller W, Ruf J, Rosenstiel W, eds. <i>SystemC - Methodologies and Applications</i>.
    Kluwer; 2003:97-126. doi:<a href="https://doi.org/10.1007/0-306-48735-7_4">10.1007/0-306-48735-7_4</a>'
  apa: Müller, W., Ruf, J., &#38; Rosenstiel, W. (2003). An ASM Based SystemC Simulation
    Semantics. In W. Müller, J. Ruf, &#38; W. Rosenstiel (Eds.), <i>SystemC - Methodologies
    and Applications</i> (pp. 97–126). Kluwer. <a href="https://doi.org/10.1007/0-306-48735-7_4">https://doi.org/10.1007/0-306-48735-7_4</a>
  bibtex: '@inbook{Müller_Ruf_Rosenstiel_2003, place={Dordrecht}, title={An ASM Based
    SystemC Simulation Semantics}, DOI={<a href="https://doi.org/10.1007/0-306-48735-7_4">10.1007/0-306-48735-7_4</a>},
    booktitle={SystemC - Methodologies and Applications}, publisher={Kluwer}, author={Müller,
    Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}, editor={Müller, Wolfgang and
    Ruf, Jürgen and Rosenstiel, Wolfgang}, year={2003}, pages={97–126} }'
  chicago: 'Müller, Wolfgang, Jürgen Ruf, and Wolfgang Rosenstiel. “An ASM Based SystemC
    Simulation Semantics.” In <i>SystemC - Methodologies and Applications</i>, edited
    by Wolfgang Müller, Jürgen Ruf, and Wolfgang Rosenstiel, 97–126. Dordrecht: Kluwer,
    2003. <a href="https://doi.org/10.1007/0-306-48735-7_4">https://doi.org/10.1007/0-306-48735-7_4</a>.'
  ieee: 'W. Müller, J. Ruf, and W. Rosenstiel, “An ASM Based SystemC Simulation Semantics,”
    in <i>SystemC - Methodologies and Applications</i>, W. Müller, J. Ruf, and W.
    Rosenstiel, Eds. Dordrecht: Kluwer, 2003, pp. 97–126.'
  mla: Müller, Wolfgang, et al. “An ASM Based SystemC Simulation Semantics.” <i>SystemC
    - Methodologies and Applications</i>, edited by Wolfgang Müller et al., Kluwer,
    2003, pp. 97–126, doi:<a href="https://doi.org/10.1007/0-306-48735-7_4">10.1007/0-306-48735-7_4</a>.
  short: 'W. Müller, J. Ruf, W. Rosenstiel, in: W. Müller, J. Ruf, W. Rosenstiel (Eds.),
    SystemC - Methodologies and Applications, Kluwer, Dordrecht, 2003, pp. 97–126.'
date_created: 2022-12-15T11:30:32Z
date_updated: 2022-12-15T11:43:33Z
department:
- _id: '672'
doi: 10.1007/0-306-48735-7_4
editor:
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  last_name: Müller
- first_name: Jürgen
  full_name: Ruf, Jürgen
  last_name: Ruf
- first_name: Wolfgang
  full_name: Rosenstiel, Wolfgang
  last_name: Rosenstiel
language:
- iso: eng
page: 97 - 126
place: Dordrecht
publication: SystemC - Methodologies and Applications
publication_identifier:
  isbn:
  - 978-0-306-48735-4
publisher: Kluwer
status: public
title: An ASM Based SystemC Simulation Semantics
type: book_chapter
user_id: '5786'
year: '2003'
...
---
_id: '34565'
abstract:
- lang: eng
  text: "The textual Object Constraint Language (OCL) is primarily intended to specify
    restrictions over UML class diagrams, in particular class invariants, operation
    pre-, and postconditions. Based on several improvements in the definition of the
    language concepts in last years, a proposal for a new version of OCL has recently
    been published [43]. That document provides an extensive OCL semantic description
    that constitutes a tight integration into UML. However, OCL still lacks a semantic
    integration of UML Statecharts, although it can already be used to refer to states
    in OCL expressions.\r\n\r\nThis article presents an approach that closes this
    gap and introduces a formal semantics for such integration through a mathematical
    model. It also presents the definition of a temporal OCL extension by means of
    a UML Profile based on the metamodel of the latest OCL proposal. Our OCL extension
    enables modelers to specify behavioral state-oriented real-time constraints. It
    provides an intuitive understanding and readability at application level since
    common OCL syntax and concepts are preserved. A well-defined formal semantics
    is given through the mapping of temporal OCL expressions to temporal logics formulae. "
author:
- 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. Formal Semantics of Static and Temporal State-Oriented OCL
    Constraints. <i>Journal on Software and System Modeling (SoSyM)</i>. 2003;2(3):164-186.
    doi:<a href="https://doi.org/10.1007/s10270-003-0026-x">10.1007/s10270-003-0026-x</a>
  apa: Flake, S., &#38; Müller, W. (2003). Formal Semantics of Static and Temporal
    State-Oriented OCL Constraints. <i>Journal on Software and System Modeling (SoSyM)</i>,
    <i>2</i>(3), 164–186. <a href="https://doi.org/10.1007/s10270-003-0026-x">https://doi.org/10.1007/s10270-003-0026-x</a>
  bibtex: '@article{Flake_Müller_2003, title={Formal Semantics of Static and Temporal
    State-Oriented OCL Constraints}, volume={2}, DOI={<a href="https://doi.org/10.1007/s10270-003-0026-x">10.1007/s10270-003-0026-x</a>},
    number={3}, journal={Journal on Software and System Modeling (SoSyM)}, publisher={Springer-Verlag},
    author={Flake, Stephan and Müller, Wolfgang}, year={2003}, pages={164–186} }'
  chicago: 'Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal
    State-Oriented OCL Constraints.” <i>Journal on Software and System Modeling (SoSyM)</i>
    2, no. 3 (2003): 164–86. <a href="https://doi.org/10.1007/s10270-003-0026-x">https://doi.org/10.1007/s10270-003-0026-x</a>.'
  ieee: 'S. Flake and W. Müller, “Formal Semantics of Static and Temporal State-Oriented
    OCL Constraints,” <i>Journal on Software and System Modeling (SoSyM)</i>, vol.
    2, no. 3, pp. 164–186, 2003, doi: <a href="https://doi.org/10.1007/s10270-003-0026-x">10.1007/s10270-003-0026-x</a>.'
  mla: Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal
    State-Oriented OCL Constraints.” <i>Journal on Software and System Modeling (SoSyM)</i>,
    vol. 2, no. 3, Springer-Verlag, 2003, pp. 164–86, doi:<a href="https://doi.org/10.1007/s10270-003-0026-x">10.1007/s10270-003-0026-x</a>.
  short: S. Flake, W. Müller, Journal on Software and System Modeling (SoSyM) 2 (2003)
    164–186.
date_created: 2022-12-19T12:26:46Z
date_updated: 2022-12-19T12:27:00Z
department:
- _id: '672'
doi: 10.1007/s10270-003-0026-x
intvolume: '         2'
issue: '3'
keyword:
- Object Constraint Language     UML Statecharts     UML Profile     Real-time constraints     Temporal
  logics
language:
- iso: eng
page: 164-186
publication: Journal on Software and System Modeling (SoSyM)
publisher: Springer-Verlag
status: public
title: Formal Semantics of Static and Temporal State-Oriented OCL Constraints
type: journal_article
user_id: '5786'
volume: 2
year: '2003'
...
---
_id: '39357'
abstract:
- lang: eng
  text: 'Engineering collaboration gets its new global dimension with the omnipotent
    access to Internet. Engineers have severe requirements concerning: security of
    design data, quality of net connections, easiness of collaboration, etc. This
    article presents visions and middleware architecture to establish pan-European
    col- laborative engineering infrastructure and its application in the field of
    Electronic Design Automation (EDA). We present a transparent infrastructure to
    engineers to enable their Internet-based collaboration during the de- sign of
    complex electronic systems. In thi s context, we introduce an advanced collaborative
    infrastructure (ACI) for distance spanning, tool integration, and administration
    as well as open interfaces for XML-based data exchange. ACI constitutes a backbone
    for our collaborative research and engineering studies by fostering a combination
    of most recent plug-and-play technologies and secure, peer-to-peer data transfer
    with XML- based tool integration. ACI and its deployments have been developed
    with the EU project E-Colleg (IST- 1999-11746).'
author:
- first_name: Tomasz
  full_name: Kostienko, Tomasz
  last_name: Kostienko
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Adam
  full_name: Pawlak, Adam
  last_name: Pawlak
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
citation:
  ama: 'Kostienko T, Müller W, Pawlak A, Schattkowsky T. An Advanced Infrastructure
    for Collaborative Engineering in Electronic Design Automation. In: <i>Proceedings
    of CE 2003</i>. ; 2003.'
  apa: Kostienko, T., Müller, W., Pawlak, A., &#38; Schattkowsky, T. (2003). An Advanced
    Infrastructure for Collaborative Engineering in Electronic Design Automation.
    <i>Proceedings of CE 2003</i>.
  bibtex: '@inproceedings{Kostienko_Müller_Pawlak_Schattkowsky_2003, place={Madeira,
    Portugal}, title={An Advanced Infrastructure for Collaborative Engineering in
    Electronic Design Automation}, booktitle={Proceedings of CE 2003}, author={Kostienko,
    Tomasz and Müller, Wolfgang and Pawlak, Adam and Schattkowsky, Tim}, year={2003}
    }'
  chicago: Kostienko, Tomasz, Wolfgang Müller, Adam Pawlak, and Tim Schattkowsky.
    “An Advanced Infrastructure for Collaborative Engineering in Electronic Design
    Automation.” In <i>Proceedings of CE 2003</i>. Madeira, Portugal, 2003.
  ieee: T. Kostienko, W. Müller, A. Pawlak, and T. Schattkowsky, “An Advanced Infrastructure
    for Collaborative Engineering in Electronic Design Automation,” 2003.
  mla: Kostienko, Tomasz, et al. “An Advanced Infrastructure for Collaborative Engineering
    in Electronic Design Automation.” <i>Proceedings of CE 2003</i>, 2003.
  short: 'T. Kostienko, W. Müller, A. Pawlak, T. Schattkowsky, in: Proceedings of
    CE 2003, Madeira, Portugal, 2003.'
date_created: 2023-01-24T09:35:07Z
date_updated: 2023-01-24T09:35:11Z
department:
- _id: '672'
language:
- iso: eng
place: Madeira, Portugal
publication: Proceedings of CE 2003
status: public
title: An Advanced Infrastructure for Collaborative Engineering in Electronic Design
  Automation
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39355'
abstract:
- lang: eng
  text: "This pap er presents an approach to extend OSGi\r\nserver based home networks
    with JXTA's p eer-to-\r\np eer (P2P) technology to a multi-server home envi-\r\nronment
    connecting multiple private home networks\r\nto one true virtual environment for
    communication,\r\nmedia sharing/exchange, and distributed device con-\r\ntrol.
    We elab orate on the basic integration metho d-\r\nology and extend it to a general,
    security preserv-\r\ning, architectural concept based on a two level inte-\r\ngration
    concept for inhome and interhome networks.\r\nThe integration is achieved through
    additional OSGi\r\nservices for the management of virtual devices, p eer-\r\nto-p
    eer communication, and authentication. The ex-\r\nample of a Quality of Service
    based video streaming\r\nmanagement demonstrates one of the p otential ad-\r\nvanced
    application for which p eer-to-p eer can b e used\r\nin addition."
author:
- first_name: Chris
  full_name: Loeser, Chris
  last_name: Loeser
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Franz
  full_name: Berger, Franz
  last_name: Berger
- first_name: Heinz-Josef
  full_name: Eikerling, Heinz-Josef
  last_name: Eikerling
citation:
  ama: 'Loeser C, Müller W, Berger F, Eikerling H-J. Peer-to-Peer for Virtual Home
    Environments. In: <i>Proceedings of HICCS-36</i>. ; 2003.'
  apa: Loeser, C., Müller, W., Berger, F., &#38; Eikerling, H.-J. (2003). Peer-to-Peer
    for Virtual Home Environments. <i>Proceedings of HICCS-36</i>.
  bibtex: '@inproceedings{Loeser_Müller_Berger_Eikerling_2003, place={Hawaii, USA},
    title={Peer-to-Peer for Virtual Home Environments}, booktitle={Proceedings of
    HICCS-36}, author={Loeser, Chris and Müller, Wolfgang and Berger, Franz and Eikerling,
    Heinz-Josef}, year={2003} }'
  chicago: Loeser, Chris, Wolfgang Müller, Franz Berger, and Heinz-Josef Eikerling.
    “Peer-to-Peer for Virtual Home Environments.” In <i>Proceedings of HICCS-36</i>.
    Hawaii, USA, 2003.
  ieee: C. Loeser, W. Müller, F. Berger, and H.-J. Eikerling, “Peer-to-Peer for Virtual
    Home Environments,” 2003.
  mla: Loeser, Chris, et al. “Peer-to-Peer for Virtual Home Environments.” <i>Proceedings
    of HICCS-36</i>, 2003.
  short: 'C. Loeser, W. Müller, F. Berger, H.-J. Eikerling, in: Proceedings of HICCS-36,
    Hawaii, USA, 2003.'
date_created: 2023-01-24T09:33:08Z
date_updated: 2023-01-24T09:33:14Z
department:
- _id: '672'
language:
- iso: eng
place: Hawaii, USA
publication: Proceedings of HICCS-36
status: public
title: Peer-to-Peer for Virtual Home Environments
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39354'
author:
- first_name: Heinz-Josef
  full_name: Eikerling, Heinz-Josef
  last_name: Eikerling
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Tim
  full_name: Schattkowski, Tim
  last_name: Schattkowski
- first_name: J.
  full_name: Wegner, J.
  last_name: Wegner
citation:
  ama: 'Eikerling H-J, Müller W, Schattkowski T, Wegner J. Tool Integration and Management
    in Heterogeneous Computer Networks. In: <i>Proceedings of DATE’03</i>. ; 2003.'
  apa: Eikerling, H.-J., Müller, W., Schattkowski, T., &#38; Wegner, J. (2003). Tool
    Integration and Management in Heterogeneous Computer Networks. <i>Proceedings
    of DATE’03</i>.
  bibtex: '@inproceedings{Eikerling_Müller_Schattkowski_Wegner_2003, place={Munich,
    Germany}, title={Tool Integration and Management in Heterogeneous Computer Networks},
    booktitle={Proceedings of DATE’03}, author={Eikerling, Heinz-Josef and Müller,
    Wolfgang and Schattkowski, Tim and Wegner, J.}, year={2003} }'
  chicago: Eikerling, Heinz-Josef, Wolfgang Müller, Tim Schattkowski, and J. Wegner.
    “Tool Integration and Management in Heterogeneous Computer Networks.” In <i>Proceedings
    of DATE’03</i>. Munich, Germany, 2003.
  ieee: H.-J. Eikerling, W. Müller, T. Schattkowski, and J. Wegner, “Tool Integration
    and Management in Heterogeneous Computer Networks,” 2003.
  mla: Eikerling, Heinz-Josef, et al. “Tool Integration and Management in Heterogeneous
    Computer Networks.” <i>Proceedings of DATE’03</i>, 2003.
  short: 'H.-J. Eikerling, W. Müller, T. Schattkowski, J. Wegner, in: Proceedings
    of DATE’03, Munich, Germany, 2003.'
date_created: 2023-01-24T09:31:07Z
date_updated: 2023-01-24T09:31:12Z
department:
- _id: '672'
language:
- iso: eng
place: Munich, Germany
publication: Proceedings of DATE’03
status: public
title: Tool Integration and Management in Heterogeneous Computer Networks
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39365'
abstract:
- lang: eng
  text: Large-scale mobility in the era of embedded and mobile computers yields significant
    challenges with respect to personalization, networking, and security. Currently,
    mobile computing devices cannot be seamlessly and flexibly obtain information
    about the context in which computing takes place. This requires dedicated personalization
    and localization in combination with advanced autocustomization techniques in
    order to adapt them to the needs of the current context. For natural interaction,
    for instance, many devices offer different input and output modalities, which
    enable different modes of operation to perform the same task. Auto-customization
    of modalities and devices in range can be obtained, if the system has sufficient
    information on the user’s preferences, abilities, the current situation, and the
    device that performs a specific task. To aid the system’s decision, we propose
    a set of interrelated and expandable profiles, which are prepared for automated
    adaptation, what will play a central part in making the technology to become invisible.
author:
- first_name: Robbie
  full_name: Schäfer, Robbie
  last_name: Schäfer
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Schäfer R, Müller W. Adaptive profiles for Multi-Modal Interaction in Intelligent
    Frameworks. In: <i>Proceedings of the Joint Workshop IJCAI Workshop on Artificial
    Intelligence, Information Access, and Mobile Computing</i>. ; 2003.'
  apa: Schäfer, R., &#38; Müller, W. (2003). Adaptive profiles for Multi-Modal Interaction
    in Intelligent Frameworks. <i>Proceedings of the Joint Workshop IJCAI Workshop
    on Artificial Intelligence, Information Access, and Mobile Computing</i>.
  bibtex: '@inproceedings{Schäfer_Müller_2003, place={Acapulco, Mexico}, title={Adaptive
    profiles for Multi-Modal Interaction in Intelligent Frameworks}, booktitle={Proceedings
    of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access,
    and Mobile Computing}, author={Schäfer, Robbie and Müller, Wolfgang}, year={2003}
    }'
  chicago: Schäfer, Robbie, and Wolfgang Müller. “Adaptive Profiles for Multi-Modal
    Interaction in Intelligent Frameworks.” In <i>Proceedings of the Joint Workshop
    IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing</i>.
    Acapulco, Mexico, 2003.
  ieee: R. Schäfer and W. Müller, “Adaptive profiles for Multi-Modal Interaction in
    Intelligent Frameworks,” 2003.
  mla: Schäfer, Robbie, and Wolfgang Müller. “Adaptive Profiles for Multi-Modal Interaction
    in Intelligent Frameworks.” <i>Proceedings of the Joint Workshop IJCAI Workshop
    on Artificial Intelligence, Information Access, and Mobile Computing</i>, 2003.
  short: 'R. Schäfer, W. Müller, in: Proceedings of the Joint Workshop IJCAI Workshop
    on Artificial Intelligence, Information Access, and Mobile Computing, Acapulco,
    Mexico, 2003.'
date_created: 2023-01-24T09:47:49Z
date_updated: 2023-01-24T09:47:54Z
department:
- _id: '672'
language:
- iso: eng
place: Acapulco, Mexico
publication: Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence,
  Information Access, and Mobile Computing
status: public
title: Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39364'
abstract:
- lang: eng
  text: "The textual Object Constraint Language (OCL) is an of-\r\nficial part of
    the Unified Modeling Language (UML). OCL\r\nis primarily used to formulate restrictions
    over UML mod-\r\nels, in particular, invariants and operation pre- and post-\r\nconditions
    in the context of class diagrams. However, OCL\r\nis missing means to specify
    constraints over the dynamic\r\nbehavior of a UML model. We have therefore developed
    a\r\ntemporal extension of OCL that enables modelers to specify\r\nbehavioral
    state-oriented constraints. That work provides\r\nan alternative to the rather
    cryptic temporal logic formulae\r\nthat are commonly used to specify behavioral
    system prop-\r\nerties.\r\nThis article now illustrates that our OCL extension
    al-\r\nlows for specifying all kinds of properties that are regarded\r\nas relevant
    in practice. We present according temporal OCL\r\nexpressions for property specification
    patterns that have\r\nbeen identified in the area of formal specification."
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. Expressing Property Specification Patterns with OCL. In:
    <i>Proceedings of SERP’03</i>. ; 2003.'
  apa: Flake, S., &#38; Müller, W. (2003). Expressing Property Specification Patterns
    with OCL. <i>Proceedings of SERP’03</i>.
  bibtex: '@inproceedings{Flake_Müller_2003, place={Las Vegas, NV}, title={Expressing
    Property Specification Patterns with OCL}, booktitle={Proceedings of SERP’03},
    author={Flake, Stephan and Müller, Wolfgang}, year={2003} }'
  chicago: Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification
    Patterns with OCL.” In <i>Proceedings of SERP’03</i>. Las Vegas, NV, 2003.
  ieee: S. Flake and W. Müller, “Expressing Property Specification Patterns with OCL,”
    2003.
  mla: Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns
    with OCL.” <i>Proceedings of SERP’03</i>, 2003.
  short: 'S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.'
date_created: 2023-01-24T09:45:49Z
date_updated: 2023-01-24T09:45:54Z
department:
- _id: '672'
keyword:
- UML
- Object Constraint Language
- Patterns
- Property Specification
language:
- iso: eng
place: Las Vegas, NV
publication: Proceedings of SERP'03
status: public
title: Expressing Property Specification Patterns with OCL
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39366'
abstract:
- lang: eng
  text: Computer supported collaborative work (CSCW) is currently of growing interest
    for application industrial context. Integrated workflow systems are available
    to allow the integration of globally distributed teams. However, in many areas
    (i.e. in electronic design automation), tool integration remains to be a critical
    issue since existing legacy tools have to be integrated into distributed workflows.
    By integrating tools based on the operational semantics, dynamic assignment and
    replacement of tools in the workflows becomes possible. We present a middleware
    for secure collaborative engineering that enables flexible tool management and
    overcomes existing networking problems through a peer-to-peer based network infrastructure.
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Schattkowsky T, Müller W. Distributed Engineering Environment for the Design
    of Electronic Systems. In: <i>Proceedings of CCE’03</i>. ; 2003.'
  apa: Schattkowsky, T., &#38; Müller, W. (2003). Distributed Engineering Environment
    for the Design of Electronic Systems. <i>Proceedings of CCE’03</i>.
  bibtex: '@inproceedings{Schattkowsky_Müller_2003, place={Poznan Poland}, title={Distributed
    Engineering Environment for the Design of Electronic Systems}, booktitle={Proceedings
    of CCE’03}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2003} }'
  chicago: Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment
    for the Design of Electronic Systems.” In <i>Proceedings of CCE’03</i>. Poznan
    Poland, 2003.
  ieee: T. Schattkowsky and W. Müller, “Distributed Engineering Environment for the
    Design of Electronic Systems,” 2003.
  mla: Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment
    for the Design of Electronic Systems.” <i>Proceedings of CCE’03</i>, 2003.
  short: 'T. Schattkowsky, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.'
date_created: 2023-01-24T09:49:18Z
date_updated: 2023-01-24T09:49:23Z
department:
- _id: '672'
language:
- iso: eng
place: Poznan Poland
publication: Proceedings of CCE'03
status: public
title: Distributed Engineering Environment for the Design of Electronic Systems
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39363'
abstract:
- lang: eng
  text: "The textual Object Constraint Language (OCL) is an of-\r\nficial part of
    the Unified Modeling Language (UML). It is\r\nprimarily used to formulate restrictions
    for UML class di-\r\nagrams. Additionally, it is possible to refer to UML State-\r\nchart
    states in OCL expressions to reason about currently\r\nactivated states.\r\nHowever,
    neither the current OCL standard nor the pro-\r\nposal for the new OCL 2.0 version
    integrate Statecharts on\r\nthe language definition level, i.e., the semantics
    of State-\r\nchart states in the context of OCL expressions is not suf-\r\nficiently
    defined so far. To overcome this deficiency, this\r\narticle provides a formal
    semantics for state-oriented OCL\r\nexpressions for application with UML Statecharts."
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. Semantics of State-Oriented Expressions in the Object Constraint
    Language. In: <i>Proceedings of SEKE 2003</i>. ; 2003.'
  apa: Flake, S., &#38; Müller, W. (2003). Semantics of State-Oriented Expressions
    in the Object Constraint Language. <i>Proceedings of SEKE 2003</i>.
  bibtex: '@inproceedings{Flake_Müller_2003, place={San Francisco}, title={Semantics
    of State-Oriented Expressions in the Object Constraint Language}, booktitle={Proceedings
    of SEKE 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }'
  chicago: Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions
    in the Object Constraint Language.” In <i>Proceedings of SEKE 2003</i>. San Francisco,
    2003.
  ieee: S. Flake and W. Müller, “Semantics of State-Oriented Expressions in the Object
    Constraint Language,” 2003.
  mla: Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions
    in the Object Constraint Language.” <i>Proceedings of SEKE 2003</i>, 2003.
  short: 'S. Flake, W. Müller, in: Proceedings of SEKE 2003, San Francisco, 2003.'
date_created: 2023-01-24T09:44:11Z
date_updated: 2023-01-24T09:44:24Z
department:
- _id: '672'
language:
- iso: eng
place: San Francisco
publication: Proceedings of SEKE 2003
status: public
title: Semantics of State-Oriented Expressions in the Object Constraint Language
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39367'
abstract:
- lang: eng
  text: 'Confidentiality and security in data access and transmission over multiple
    open networks are of utmost importance for most collaborative engineering environments.
    In this article, we review smart card based security technologies for their application
    in computer-based collaborative engineering environments. We focus on most recent
    microprocessor-based smart cards and on JavaCard as a development infrastructure
    and operating system. Since JavaCard supports the integration of multiple applications
    on one card, it enables smart cards to integrate large sets of additional applications.
    In that context, we identify and discuss three potential key applications: authentication
    with biometrics, certification, and advanced profile management.'
author:
- first_name: J.
  full_name: Wang, J.
  last_name: Wang
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Wang J, Müller W. SmartCard for Secure Collaborative Engineering. In: <i>Proceedings
    of CCE’03</i>. ; 2003.'
  apa: Wang, J., &#38; Müller, W. (2003). SmartCard for Secure Collaborative Engineering.
    <i>Proceedings of CCE’03</i>.
  bibtex: '@inproceedings{Wang_Müller_2003, place={Poznan Poland}, title={SmartCard
    for Secure Collaborative Engineering}, booktitle={Proceedings of CCE’03}, author={Wang,
    J. and Müller, Wolfgang}, year={2003} }'
  chicago: Wang, J., and Wolfgang Müller. “SmartCard for Secure Collaborative Engineering.”
    In <i>Proceedings of CCE’03</i>. Poznan Poland, 2003.
  ieee: J. Wang and W. Müller, “SmartCard for Secure Collaborative Engineering,” 2003.
  mla: Wang, J., and Wolfgang Müller. “SmartCard for Secure Collaborative Engineering.”
    <i>Proceedings of CCE’03</i>, 2003.
  short: 'J. Wang, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.'
date_created: 2023-01-24T09:51:15Z
date_updated: 2023-01-24T09:51:20Z
department:
- _id: '672'
language:
- iso: eng
place: Poznan Poland
publication: Proceedings of CCE'03
status: public
title: SmartCard for Secure Collaborative Engineering
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39360'
author:
- first_name: Alexander
  full_name: Krupp, Alexander
  last_name: Krupp
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: Krupp A, Müller W. Formale Verfeinerung und Modelchecking von zeitbehafteten
    endlichen Automaten. Published online 2003.
  apa: Krupp, A., &#38; Müller, W. (2003). <i>Formale Verfeinerung und Modelchecking
    von zeitbehafteten endlichen Automaten</i>.
  bibtex: '@article{Krupp_Müller_2003, place={Bremen}, series={Methoden und Beschreibungssprachen
    zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, title={Formale
    Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten}, author={Krupp,
    Alexander and Müller, Wolfgang}, year={2003}, collection={Methoden und Beschreibungssprachen
    zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)} }'
  chicago: Krupp, Alexander, and Wolfgang Müller. “Formale Verfeinerung Und Modelchecking
    von Zeitbehafteten Endlichen Automaten.” Methoden Und Beschreibungssprachen Zur
    Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Bremen, 2003.
  ieee: A. Krupp and W. Müller, “Formale Verfeinerung und Modelchecking von zeitbehafteten
    endlichen Automaten.” Bremen, 2003.
  mla: Krupp, Alexander, and Wolfgang Müller. <i>Formale Verfeinerung Und Modelchecking
    von Zeitbehafteten Endlichen Automaten</i>. 2003.
  short: A. Krupp, W. Müller, (2003).
date_created: 2023-01-24T09:36:32Z
date_updated: 2023-01-24T09:36:37Z
department:
- _id: '672'
language:
- iso: eng
place: Bremen
series_title: Methoden und Beschreibungssprachen zur Modellierung und Verifikation
  von Schaltungen und Systemen (MBMV)
status: public
title: Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39368'
author:
- first_name: Alexander
  full_name: Krupp, Alexander
  last_name: Krupp
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Krupp A, Müller W. Combining Formal Refinement and Model Checking for Analysis
    of Realtime Systems. In: <i>Proceedings of FDL’03</i>. ; 2003.'
  apa: Krupp, A., &#38; Müller, W. (2003). Combining Formal Refinement and Model Checking
    for Analysis of Realtime Systems. <i>Proceedings of FDL’03</i>.
  bibtex: '@inproceedings{Krupp_Müller_2003, place={Frankfurt, Germany}, title={Combining
    Formal Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Proceedings
    of FDL’03}, author={Krupp, Alexander and Müller, Wolfgang}, year={2003} }'
  chicago: Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and
    Model Checking for Analysis of Realtime Systems.” In <i>Proceedings of FDL’03</i>.
    Frankfurt, Germany, 2003.
  ieee: A. Krupp and W. Müller, “Combining Formal Refinement and Model Checking for
    Analysis of Realtime Systems,” 2003.
  mla: Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model
    Checking for Analysis of Realtime Systems.” <i>Proceedings of FDL’03</i>, 2003.
  short: 'A. Krupp, W. Müller, in: Proceedings of FDL’03, Frankfurt, Germany, 2003.'
date_created: 2023-01-24T09:53:01Z
date_updated: 2023-01-24T09:53:06Z
department:
- _id: '672'
language:
- iso: eng
place: Frankfurt, Germany
publication: Proceedings of FDL'03
status: public
title: Combining Formal Refinement and Model Checking for Analysis of Realtime Systems
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39369'
abstract:
- lang: eng
  text: The latest OCL 2.0 proposal provides two semantic descriptions, i.e., a metamodel
    based semantics that uses UML itself to associate the semantic domain with the
    language concepts and a formal semantics based on a set-theoretic approach called
    object model. Unfortunately, these two semantics are currently neither consistent
    nor complete, as (a) the formal semantics does not consider the newly introduced
    concept of OCL messages and (b) both semantics lack an integration of Statecharts
    and a semantic denition of state-related operations. This article focuses on a
    formal semantics for OCL messages as a foundation for consistency among,the two
    OCL semantics. We extend object models and present an extended denition of a system
    state that comprises all relevant information to be able to evaluate OCL expressions
    also w.r.t. OCL messages.
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. Formal Semantics of OCL Messages. In: <i>Proceedings of
    the Workshop OCL 2.0 at UML 2003</i>. ; 2003.'
  apa: Flake, S., &#38; Müller, W. (2003). Formal Semantics of OCL Messages. <i>Proceedings
    of the Workshop OCL 2.0 at UML 2003</i>.
  bibtex: '@inproceedings{Flake_Müller_2003, place={San Francisco, USA}, title={Formal
    Semantics of OCL Messages}, booktitle={Proceedings of the Workshop OCL 2.0 at
    UML 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }'
  chicago: Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.”
    In <i>Proceedings of the Workshop OCL 2.0 at UML 2003</i>. San Francisco, USA,
    2003.
  ieee: S. Flake and W. Müller, “Formal Semantics of OCL Messages,” 2003.
  mla: Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” <i>Proceedings
    of the Workshop OCL 2.0 at UML 2003</i>, 2003.
  short: 'S. Flake, W. Müller, in: Proceedings of the Workshop OCL 2.0 at UML 2003,
    San Francisco, USA, 2003.'
date_created: 2023-01-24T09:54:09Z
date_updated: 2023-01-24T09:54:24Z
department:
- _id: '672'
language:
- iso: eng
place: San Francisco, USA
publication: Proceedings of the Workshop OCL 2.0 at UML 2003
status: public
title: Formal Semantics of OCL Messages
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '34447'
abstract:
- lang: eng
  text: "The Object Constraint Language (OCL) was introduced to support the specification
    of constraints for UML diagrams and is mainly used to formulate invariants and
    operation pre- and postconditions. Though OCL is also applied in behavioral diagrams,
    e.g., as guards for state transitions, it is currently not possible to specify
    constraints concerning the dynamic behavior and timing properties of such diagrams.\r\n\r\nThis
    article discusses OCL’s application for the dynamic behavior of UML Statechart
    diagrams and presents an OCL extension for specification of state-oriented time-bounded
    constraints.We introduce operations to extract state configurations from diagrams
    and define additional predicates over states and state configurations. The semantics
    of our OCL extension is given by employing time-bounded Computational Tree Logic
    (CTL) formulae. An example of a flexible manufacturing system with automated guided
    vehicles demonstrates the application of our extension."
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. An OCL Extension for Real-Time Constraints. In: Clark T,
    Warmer J, eds. <i>Advances in Object Modelling with the OCL</i>. Springer-Verlag;
    2002:150-171. doi:<a href="https://doi.org/10.1007/3-540-45669-4_8">10.1007/3-540-45669-4_8</a>'
  apa: Flake, S., &#38; Müller, W. (2002). An OCL Extension for Real-Time Constraints.
    In T. Clark &#38; J. Warmer (Eds.), <i>Advances in Object Modelling with the OCL</i>
    (pp. 150–171). Springer-Verlag. <a href="https://doi.org/10.1007/3-540-45669-4_8">https://doi.org/10.1007/3-540-45669-4_8</a>
  bibtex: '@inbook{Flake_Müller_2002, place={Berlin, Heidelberg}, title={An OCL Extension
    for Real-Time Constraints}, DOI={<a href="https://doi.org/10.1007/3-540-45669-4_8">10.1007/3-540-45669-4_8</a>},
    booktitle={Advances in Object Modelling with the OCL}, publisher={Springer-Verlag},
    author={Flake, Stephan and Müller, Wolfgang}, editor={Clark, T. and Warmer, J.},
    year={2002}, pages={150–171} }'
  chicago: 'Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.”
    In <i>Advances in Object Modelling with the OCL</i>, edited by T. Clark and J.
    Warmer, 150–71. Berlin, Heidelberg: Springer-Verlag, 2002. <a href="https://doi.org/10.1007/3-540-45669-4_8">https://doi.org/10.1007/3-540-45669-4_8</a>.'
  ieee: 'S. Flake and W. Müller, “An OCL Extension for Real-Time Constraints,” in
    <i>Advances in Object Modelling with the OCL</i>, T. Clark and J. Warmer, Eds.
    Berlin, Heidelberg: Springer-Verlag, 2002, pp. 150–171.'
  mla: Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.”
    <i>Advances in Object Modelling with the OCL</i>, edited by T. Clark and J. Warmer,
    Springer-Verlag, 2002, pp. 150–71, doi:<a href="https://doi.org/10.1007/3-540-45669-4_8">10.1007/3-540-45669-4_8</a>.
  short: 'S. Flake, W. Müller, in: T. Clark, J. Warmer (Eds.), Advances in Object
    Modelling with the OCL, Springer-Verlag, Berlin, Heidelberg, 2002, pp. 150–171.'
date_created: 2022-12-15T11:38:20Z
date_updated: 2022-12-15T11:38:47Z
department:
- _id: '672'
doi: 10.1007/3-540-45669-4_8
editor:
- first_name: T.
  full_name: Clark, T.
  last_name: Clark
- first_name: J.
  full_name: Warmer, J.
  last_name: Warmer
keyword:
- Model Check     Temporal Logic     Object Constraint Language     Execution Path     Kripke
  Structure
language:
- iso: eng
page: 150 - 171
place: Berlin, Heidelberg
publication: Advances in Object Modelling with the OCL
publication_identifier:
  isbn:
  - 978-3-540-45669-8
publisher: Springer-Verlag
status: public
title: An OCL Extension for Real-Time Constraints
type: book_chapter
user_id: '5786'
year: '2002'
...
---
_id: '34576'
author:
- first_name: H. J.
  full_name: Eikerling, H. J.
  last_name: Eikerling
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: J.
  full_name: Wegener, J.
  last_name: Wegener
citation:
  ama: Eikerling HJ, Müller W, Wegener J. Werkzeugintegration und -verwaltung in heterogenen
    Computernetzwerken. <i>it+ti</i>. Published online 2002:128-136.
  apa: Eikerling, H. J., Müller, W., &#38; Wegener, J. (2002). Werkzeugintegration
    und -verwaltung in heterogenen Computernetzwerken. <i>It+ti</i>, 128–136.
  bibtex: '@article{Eikerling_Müller_Wegener_2002, title={Werkzeugintegration und
    -verwaltung in heterogenen Computernetzwerken}, journal={it+ti}, publisher={Oldenbourg
    Verlag}, author={Eikerling, H. J. and Müller, Wolfgang and Wegener, J.}, year={2002},
    pages={128–136} }'
  chicago: Eikerling, H. J., Wolfgang Müller, and J. Wegener. “Werkzeugintegration
    Und -Verwaltung in Heterogenen Computernetzwerken.” <i>It+ti</i>, 2002, 128–36.
  ieee: H. J. Eikerling, W. Müller, and J. Wegener, “Werkzeugintegration und -verwaltung
    in heterogenen Computernetzwerken,” <i>it+ti</i>, pp. 128–136, 2002.
  mla: Eikerling, H. J., et al. “Werkzeugintegration Und -Verwaltung in Heterogenen
    Computernetzwerken.” <i>It+ti</i>, Oldenbourg Verlag, 2002, pp. 128–36.
  short: H.J. Eikerling, W. Müller, J. Wegener, It+ti (2002) 128–136.
date_created: 2022-12-20T09:41:02Z
date_updated: 2022-12-20T09:41:28Z
department:
- _id: '672'
language:
- iso: eng
page: 128-136
publication: it+ti
publisher: Oldenbourg Verlag
status: public
title: Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken
type: journal_article
user_id: '5786'
year: '2002'
...
---
_id: '53586'
citation:
  ama: Bücker U, Eikerling HJ, Müller W, eds. <i>Proceedings of the VHE Workshop</i>.;
    2002.
  apa: Bücker, U., Eikerling, H. J., &#38; Müller, W. (Eds.). (2002). <i>Proceedings
    of the VHE Workshop</i>.
  bibtex: '@book{Bücker_Eikerling_Müller_2002, place={Paderborn, Germany}, title={Proceedings
    of the VHE Workshop}, year={2002} }'
  chicago: Bücker, Ulrich, Heinz Josef Eikerling, and Wolfgang Müller, eds. <i>Proceedings
    of the VHE Workshop</i>. Paderborn, Germany, 2002.
  ieee: U. Bücker, H. J. Eikerling, and W. Müller, Eds., <i>Proceedings of the VHE
    Workshop</i>. Paderborn, Germany, 2002.
  mla: Bücker, Ulrich, et al., editors. <i>Proceedings of the VHE Workshop</i>. 2002.
  short: U. Bücker, H.J. Eikerling, W. Müller, eds., Proceedings of the VHE Workshop,
    Paderborn, Germany, 2002.
date_created: 2024-04-18T20:51:22Z
date_updated: 2024-04-18T20:51:27Z
department:
- _id: '58'
editor:
- first_name: Ulrich
  full_name: Bücker, Ulrich
  last_name: Bücker
- first_name: Heinz Josef
  full_name: Eikerling, Heinz Josef
  last_name: Eikerling
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
language:
- iso: eng
place: Paderborn, Germany
publication_identifier:
  isbn:
  - 3-826598-84-9
status: public
title: Proceedings of the VHE Workshop
type: book_editor
user_id: '16243'
year: '2002'
...
---
_id: '39371'
abstract:
- lang: eng
  text: With the increasing availability of various web-enabled mobile devices, content
    has to be effectively adapted to their different limitations. So, web content
    need rearrangement, i.e., a transcoding, to better fit on small displays when,
    for instance, layout specific HTML structures like tables and frames are used.
    In this article, we present a description language to define generic rules for
    this purpose and introduce RDL/TT (Rule Description Language for Tree Transformation).
    RDL/TT specifies sets of transcoding functions generic to user and hardware profiles.
    A Java-oriented syntax is used to describe the transcoding functions which operate
    on the DOM (Document Object Model) tree representation of an HTML or XML document.
author:
- first_name: Robbie
  full_name: Schäfer, Robbie
  last_name: Schäfer
- 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: 'Schäfer R, Dangberg A, Müller W. RDL/TT - A Description Language for Profile-Dependent
    Transcoding of XML Documents. In: <i>Proceedings of the VHE Workshop</i>. ; 2002.'
  apa: Schäfer, R., Dangberg, A., &#38; Müller, W. (2002). RDL/TT - A Description
    Language for Profile-Dependent Transcoding of XML Documents. <i>Proceedings of
    the VHE Workshop</i>.
  bibtex: '@inproceedings{Schäfer_Dangberg_Müller_2002, place={Paderborn, Germany},
    title={RDL/TT - A Description Language for Profile-Dependent Transcoding of XML
    Documents}, booktitle={Proceedings of the VHE Workshop}, author={Schäfer, Robbie
    and Dangberg, Andreas and Müller, Wolfgang}, year={2002} }'
  chicago: Schäfer, Robbie, Andreas Dangberg, and Wolfgang Müller. “RDL/TT - A Description
    Language for Profile-Dependent Transcoding of XML Documents.” In <i>Proceedings
    of the VHE Workshop</i>. Paderborn, Germany, 2002.
  ieee: R. Schäfer, A. Dangberg, and W. Müller, “RDL/TT - A Description Language for
    Profile-Dependent Transcoding of XML Documents,” 2002.
  mla: Schäfer, Robbie, et al. “RDL/TT - A Description Language for Profile-Dependent
    Transcoding of XML Documents.” <i>Proceedings of the VHE Workshop</i>, 2002.
  short: 'R. Schäfer, A. Dangberg, W. Müller, in: Proceedings of the VHE Workshop,
    Paderborn, Germany, 2002.'
date_created: 2023-01-24T10:02:35Z
date_updated: 2023-01-24T10:02:46Z
department:
- _id: '672'
language:
- iso: eng
place: Paderborn, Germany
publication: Proceedings of the VHE Workshop
status: public
title: RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39370'
abstract:
- lang: eng
  text: Within this paper we propose architecture ideas of a distributed Video on
    Demand network which base on peer to peer technology. Each peer offers video streams
    to other peers and may receive a video stream from another peer simultaneously.
    This results in an optimization problem depending on different factors which we
    approximate with the help of an simulation environment. Our approach bases on
    a peer to peer framework by Sun called Project JXTA which provides a set of protocols
    for P2P applications.
author:
- first_name: Chris
  full_name: Loeser, Chris
  last_name: Loeser
- first_name: Peter
  full_name: Altenbernd, Peter
  last_name: Altenbernd
- first_name: Michael
  full_name: Ditze, Michael
  last_name: Ditze
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Loeser C, Altenbernd P, Ditze M, Müller W. Distributed Video-on-Demand Services
    on Peer to Peer Basis. In: <i>Proceedings of the Intl. Workshop on Real-Time LANs
    in the Internet Age (RTLIA 2002)</i>. ; 2002.'
  apa: Loeser, C., Altenbernd, P., Ditze, M., &#38; Müller, W. (2002). Distributed
    Video-on-Demand Services on Peer to Peer Basis. <i>Proceedings of the Intl. Workshop
    on Real-Time LANs in the Internet Age (RTLIA 2002)</i>.
  bibtex: '@inproceedings{Loeser_Altenbernd_Ditze_Müller_2002, title={Distributed
    Video-on-Demand Services on Peer to Peer Basis}, booktitle={Proceedings of the
    Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002)}, author={Loeser,
    Chris and Altenbernd, Peter and Ditze, Michael and Müller, Wolfgang}, year={2002}
    }'
  chicago: Loeser, Chris, Peter Altenbernd, Michael Ditze, and Wolfgang Müller. “Distributed
    Video-on-Demand Services on Peer to Peer Basis.” In <i>Proceedings of the Intl.
    Workshop on Real-Time LANs in the Internet Age (RTLIA 2002)</i>, 2002.
  ieee: C. Loeser, P. Altenbernd, M. Ditze, and W. Müller, “Distributed Video-on-Demand
    Services on Peer to Peer Basis,” 2002.
  mla: Loeser, Chris, et al. “Distributed Video-on-Demand Services on Peer to Peer
    Basis.” <i>Proceedings of the Intl. Workshop on Real-Time LANs in the Internet
    Age (RTLIA 2002)</i>, 2002.
  short: 'C. Loeser, P. Altenbernd, M. Ditze, W. Müller, in: Proceedings of the Intl.
    Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), 2002.'
date_created: 2023-01-24T10:00:17Z
date_updated: 2023-01-24T10:00:24Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age
  (RTLIA 2002)
status: public
title: Distributed Video-on-Demand Services on Peer to Peer Basis
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39378'
author:
- first_name: Robbie
  full_name: Schäfer, Robbie
  last_name: Schäfer
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Andreas
  full_name: Dangberg, Andreas
  last_name: Dangberg
citation:
  ama: 'Schäfer R, Müller W, Dangberg A. Fuzzy Rules for the Transcoding of HTML Files.
    In: <i>Proceedings of the HICSS-35</i>. ; 2002.'
  apa: Schäfer, R., Müller, W., &#38; Dangberg, A. (2002). Fuzzy Rules for the Transcoding
    of HTML Files. <i>Proceedings of the HICSS-35</i>.
  bibtex: '@inproceedings{Schäfer_Müller_Dangberg_2002, place={Hawaii, USA}, title={Fuzzy
    Rules for the Transcoding of HTML Files}, booktitle={Proceedings of the HICSS-35},
    author={Schäfer, Robbie and Müller, Wolfgang and Dangberg, Andreas}, year={2002}
    }'
  chicago: Schäfer, Robbie, Wolfgang Müller, and Andreas Dangberg. “Fuzzy Rules for
    the Transcoding of HTML Files.” In <i>Proceedings of the HICSS-35</i>. Hawaii,
    USA, 2002.
  ieee: R. Schäfer, W. Müller, and A. Dangberg, “Fuzzy Rules for the Transcoding of
    HTML Files,” 2002.
  mla: Schäfer, Robbie, et al. “Fuzzy Rules for the Transcoding of HTML Files.” <i>Proceedings
    of the HICSS-35</i>, 2002.
  short: 'R. Schäfer, W. Müller, A. Dangberg, in: Proceedings of the HICSS-35, Hawaii,
    USA, 2002.'
date_created: 2023-01-24T10:07:18Z
date_updated: 2023-01-24T10:07:22Z
department:
- _id: '672'
language:
- iso: eng
place: Hawaii, USA
publication: Proceedings of the HICSS-35
status: public
title: Fuzzy Rules for the Transcoding of HTML Files
type: conference
user_id: '5786'
year: '2002'
...
