---
_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. SystemC - Methodologies and Applications.
Kluwer; 2003:97-126. doi:10.1007/0-306-48735-7_4'
apa: Müller, W., Ruf, J., & Rosenstiel, W. (2003). An ASM Based SystemC Simulation
Semantics. In W. Müller, J. Ruf, & W. Rosenstiel (Eds.), SystemC - Methodologies
and Applications (pp. 97–126). Kluwer. https://doi.org/10.1007/0-306-48735-7_4
bibtex: '@inbook{Müller_Ruf_Rosenstiel_2003, place={Dordrecht}, title={An ASM Based
SystemC Simulation Semantics}, DOI={10.1007/0-306-48735-7_4},
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 SystemC - Methodologies and Applications, edited
by Wolfgang Müller, Jürgen Ruf, and Wolfgang Rosenstiel, 97–126. Dordrecht: Kluwer,
2003. https://doi.org/10.1007/0-306-48735-7_4.'
ieee: 'W. Müller, J. Ruf, and W. Rosenstiel, “An ASM Based SystemC Simulation Semantics,”
in SystemC - Methodologies and Applications, 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.” SystemC
- Methodologies and Applications, edited by Wolfgang Müller et al., Kluwer,
2003, pp. 97–126, doi:10.1007/0-306-48735-7_4.
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. Journal on Software and System Modeling (SoSyM). 2003;2(3):164-186.
doi:10.1007/s10270-003-0026-x
apa: Flake, S., & Müller, W. (2003). Formal Semantics of Static and Temporal
State-Oriented OCL Constraints. Journal on Software and System Modeling (SoSyM),
2(3), 164–186. https://doi.org/10.1007/s10270-003-0026-x
bibtex: '@article{Flake_Müller_2003, title={Formal Semantics of Static and Temporal
State-Oriented OCL Constraints}, volume={2}, DOI={10.1007/s10270-003-0026-x},
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.” Journal on Software and System Modeling (SoSyM)
2, no. 3 (2003): 164–86. https://doi.org/10.1007/s10270-003-0026-x.'
ieee: 'S. Flake and W. Müller, “Formal Semantics of Static and Temporal State-Oriented
OCL Constraints,” Journal on Software and System Modeling (SoSyM), vol.
2, no. 3, pp. 164–186, 2003, doi: 10.1007/s10270-003-0026-x.'
mla: Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal
State-Oriented OCL Constraints.” Journal on Software and System Modeling (SoSyM),
vol. 2, no. 3, Springer-Verlag, 2003, pp. 164–86, doi:10.1007/s10270-003-0026-x.
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: '47641'
author:
- first_name: Matthias
full_name: Ernst, Matthias
last_name: Ernst
citation:
ama: Ernst M. Asymptotische Optimalität von LZ77 bei beschränktem Speicher.;
2003.
apa: Ernst, M. (2003). Asymptotische Optimalität von LZ77 bei beschränktem Speicher.
bibtex: '@book{Ernst_2003, title={Asymptotische Optimalität von LZ77 bei beschränktem
Speicher}, author={Ernst, Matthias}, year={2003} }'
chicago: Ernst, Matthias. Asymptotische Optimalität von LZ77 bei beschränktem
Speicher, 2003.
ieee: M. Ernst, Asymptotische Optimalität von LZ77 bei beschränktem Speicher.
2003.
mla: Ernst, Matthias. Asymptotische Optimalität von LZ77 bei beschränktem Speicher.
2003.
short: M. Ernst, Asymptotische Optimalität von LZ77 bei beschränktem Speicher, 2003.
date_created: 2023-10-05T13:33:11Z
date_updated: 2023-10-05T13:39:01Z
department:
- _id: '34'
- _id: '64'
language:
- iso: ger
status: public
title: Asymptotische Optimalität von LZ77 bei beschränktem Speicher
type: bachelorsthesis
user_id: '41047'
year: '2003'
...
---
_id: '47635'
author:
- first_name: Kerstin
full_name: Voß, Kerstin
last_name: Voß
citation:
ama: Voß K. Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen.;
2003.
apa: Voß, K. (2003). Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen.
bibtex: '@book{Voß_2003, title={Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen},
author={Voß, Kerstin}, year={2003} }'
chicago: Voß, Kerstin. Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen,
2003.
ieee: K. Voß, Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen.
2003.
mla: Voß, Kerstin. Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen.
2003.
short: K. Voß, Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen, 2003.
date_created: 2023-10-05T13:30:48Z
date_updated: 2023-10-05T13:39:08Z
department:
- _id: '34'
- _id: '64'
language:
- iso: ger
status: public
title: Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen
type: bachelorsthesis
user_id: '41047'
year: '2003'
...
---
_id: '47696'
author:
- first_name: Ulrich
full_name: Hoppe, Ulrich
last_name: Hoppe
citation:
ama: Hoppe U. Markovprozesse zur Modellierung bei Codekompression.; 2003.
apa: Hoppe, U. (2003). Markovprozesse zur Modellierung bei Codekompression.
bibtex: '@book{Hoppe_2003, title={Markovprozesse zur Modellierung bei Codekompression},
author={Hoppe, Ulrich}, year={2003} }'
chicago: Hoppe, Ulrich. Markovprozesse zur Modellierung bei Codekompression,
2003.
ieee: U. Hoppe, Markovprozesse zur Modellierung bei Codekompression. 2003.
mla: Hoppe, Ulrich. Markovprozesse zur Modellierung bei Codekompression.
2003.
short: U. Hoppe, Markovprozesse zur Modellierung bei Codekompression, 2003.
date_created: 2023-10-05T16:38:19Z
date_updated: 2023-10-05T16:54:38Z
ddc:
- '000'
department:
- _id: '34'
- _id: '64'
file:
- access_level: open_access
content_type: application/postscript
creator: bhenrik
date_created: 2023-10-05T16:38:12Z
date_updated: 2023-10-05T16:54:38Z
file_id: '47724'
file_name: 2003_Hoppe_MarkowprozesseZurModellierungBeiCodekompression.ps
file_size: 1902248
relation: main_file
file_date_updated: 2023-10-05T16:54:38Z
has_accepted_license: '1'
keyword:
- Diplomarbeit
language:
- iso: ger
oa: '1'
status: public
title: Markovprozesse zur Modellierung bei Codekompression
type: misc
user_id: '41047'
year: '2003'
...
---
_id: '47636'
author:
- first_name: Claudia
full_name: Unterkirchner, Claudia
last_name: Unterkirchner
citation:
ama: Unterkirchner C. Implementierung eines arithmetischen Dekodierers in Java.;
2003.
apa: Unterkirchner, C. (2003). Implementierung eines arithmetischen Dekodierers
in Java.
bibtex: '@book{Unterkirchner_2003, title={Implementierung eines arithmetischen Dekodierers
in Java}, author={Unterkirchner, Claudia}, year={2003} }'
chicago: Unterkirchner, Claudia. Implementierung eines arithmetischen Dekodierers
in Java, 2003.
ieee: C. Unterkirchner, Implementierung eines arithmetischen Dekodierers in Java.
2003.
mla: Unterkirchner, Claudia. Implementierung eines arithmetischen Dekodierers
in Java. 2003.
short: C. Unterkirchner, Implementierung eines arithmetischen Dekodierers in Java,
2003.
date_created: 2023-10-05T13:31:16Z
date_updated: 2023-10-05T22:08:27Z
ddc:
- '000'
department:
- _id: '34'
- _id: '64'
file:
- access_level: open_access
content_type: application/pdf
creator: bhenrik
date_created: 2023-10-05T22:03:44Z
date_updated: 2023-10-05T22:08:27Z
file_id: '47787'
file_name: 2003_Unterkircher_ImplementierungEinesArithmetischenDekodierersInJava.pdf
file_size: 809237
relation: main_file
file_date_updated: 2023-10-05T22:08:27Z
has_accepted_license: '1'
language:
- iso: ger
oa: '1'
status: public
title: Implementierung eines arithmetischen Dekodierers in Java
type: bachelorsthesis
user_id: '41047'
year: '2003'
...
---
_id: '47640'
author:
- first_name: Daniel
full_name: Kuntze, Daniel
last_name: Kuntze
citation:
ama: Kuntze D. Tabellenbasierte arithmetische Codierung.; 2003.
apa: Kuntze, D. (2003). Tabellenbasierte arithmetische Codierung.
bibtex: '@book{Kuntze_2003, title={Tabellenbasierte arithmetische Codierung}, author={Kuntze,
Daniel}, year={2003} }'
chicago: Kuntze, Daniel. Tabellenbasierte arithmetische Codierung, 2003.
ieee: D. Kuntze, Tabellenbasierte arithmetische Codierung. 2003.
mla: Kuntze, Daniel. Tabellenbasierte arithmetische Codierung. 2003.
short: D. Kuntze, Tabellenbasierte arithmetische Codierung, 2003.
date_created: 2023-10-05T13:32:54Z
date_updated: 2023-10-05T22:08:52Z
ddc:
- '000'
department:
- _id: '34'
- _id: '64'
file:
- access_level: open_access
content_type: application/pdf
creator: bhenrik
date_created: 2023-10-05T22:04:08Z
date_updated: 2023-10-05T22:08:52Z
file_id: '47788'
file_name: 2003_Kuntze_TabellenbasierteArithmetischeCodierung.pdf
file_size: 304544
relation: main_file
file_date_updated: 2023-10-05T22:08:52Z
has_accepted_license: '1'
language:
- iso: ger
oa: '1'
status: public
title: Tabellenbasierte arithmetische Codierung
type: bachelorsthesis
user_id: '41047'
year: '2003'
...
---
_id: '47638'
author:
- first_name: Christian
full_name: Soltenborn, Christian
last_name: Soltenborn
citation:
ama: Soltenborn C. Kompressionsverlust bei arithmetischer Codierung mit endlicher
Präzision.; 2003.
apa: Soltenborn, C. (2003). Kompressionsverlust bei arithmetischer Codierung
mit endlicher Präzision.
bibtex: '@book{Soltenborn_2003, title={Kompressionsverlust bei arithmetischer Codierung
mit endlicher Präzision}, author={Soltenborn, Christian}, year={2003} }'
chicago: Soltenborn, Christian. Kompressionsverlust bei arithmetischer Codierung
mit endlicher Präzision, 2003.
ieee: C. Soltenborn, Kompressionsverlust bei arithmetischer Codierung mit endlicher
Präzision. 2003.
mla: Soltenborn, Christian. Kompressionsverlust bei arithmetischer Codierung
mit endlicher Präzision. 2003.
short: C. Soltenborn, Kompressionsverlust bei arithmetischer Codierung mit endlicher
Präzision, 2003.
date_created: 2023-10-05T13:32:10Z
date_updated: 2023-10-05T13:39:29Z
department:
- _id: '34'
- _id: '64'
language:
- iso: ger
status: public
title: Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision
type: bachelorsthesis
user_id: '41047'
year: '2003'
...
---
_id: '47637'
author:
- first_name: Christian
full_name: Todtenbier, Christian
last_name: Todtenbier
citation:
ama: Todtenbier C. Implementierung eines arithmetischen Kodierers in Java.;
2003.
apa: Todtenbier, C. (2003). Implementierung eines arithmetischen Kodierers in
Java.
bibtex: '@book{Todtenbier_2003, title={Implementierung eines arithmetischen Kodierers
in Java}, author={Todtenbier, Christian}, year={2003} }'
chicago: Todtenbier, Christian. Implementierung eines arithmetischen Kodierers
in Java, 2003.
ieee: C. Todtenbier, Implementierung eines arithmetischen Kodierers in Java.
2003.
mla: Todtenbier, Christian. Implementierung eines arithmetischen Kodierers in
Java. 2003.
short: C. Todtenbier, Implementierung eines arithmetischen Kodierers in Java, 2003.
date_created: 2023-10-05T13:31:45Z
date_updated: 2023-10-05T13:39:26Z
department:
- _id: '34'
- _id: '64'
language:
- iso: ger
status: public
title: Implementierung eines arithmetischen Kodierers in Java
type: bachelorsthesis
user_id: '41047'
year: '2003'
...
---
_id: '47634'
author:
- first_name: Max
full_name: Ziegler, Max
last_name: Ziegler
citation:
ama: Ziegler M. Fehlerangriffe Auf Spezielle Implementierungen von RSA.;
2003.
apa: Ziegler, M. (2003). Fehlerangriffe auf spezielle Implementierungen von RSA.
bibtex: '@book{Ziegler_2003, title={Fehlerangriffe auf spezielle Implementierungen
von RSA}, author={Ziegler, Max}, year={2003} }'
chicago: Ziegler, Max. Fehlerangriffe Auf Spezielle Implementierungen von RSA,
2003.
ieee: M. Ziegler, Fehlerangriffe auf spezielle Implementierungen von RSA.
2003.
mla: Ziegler, Max. Fehlerangriffe Auf Spezielle Implementierungen von RSA.
2003.
short: M. Ziegler, Fehlerangriffe Auf Spezielle Implementierungen von RSA, 2003.
date_created: 2023-10-05T13:30:15Z
date_updated: 2023-10-05T13:39:11Z
department:
- _id: '34'
- _id: '64'
language:
- iso: eng
status: public
title: Fehlerangriffe auf spezielle Implementierungen von RSA
type: bachelorsthesis
user_id: '41047'
year: '2003'
...
---
_id: '47639'
author:
- first_name: Marvin
full_name: Lindner, Marvin
last_name: Lindner
citation:
ama: Lindner M. Verkürzte Huffman-Codierung zur Codekompression.; 2003.
apa: Lindner, M. (2003). Verkürzte Huffman-Codierung zur Codekompression.
bibtex: '@book{Lindner_2003, title={Verkürzte Huffman-Codierung zur Codekompression},
author={Lindner, Marvin}, year={2003} }'
chicago: Lindner, Marvin. Verkürzte Huffman-Codierung zur Codekompression,
2003.
ieee: M. Lindner, Verkürzte Huffman-Codierung zur Codekompression. 2003.
mla: Lindner, Marvin. Verkürzte Huffman-Codierung zur Codekompression. 2003.
short: M. Lindner, Verkürzte Huffman-Codierung zur Codekompression, 2003.
date_created: 2023-10-05T13:32:32Z
date_updated: 2023-10-05T13:42:10Z
department:
- _id: '34'
- _id: '64'
language:
- iso: ger
status: public
title: Verkürzte Huffman-Codierung zur Codekompression
type: bachelorsthesis
user_id: '41047'
year: '2003'
...
---
_id: '47695'
author:
- first_name: Marcel R.
full_name: Ackermann, Marcel R.
last_name: Ackermann
citation:
ama: Ackermann MR. Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten.;
2003.
apa: Ackermann, M. R. (2003). Tabellenbasierte arithmetische Kodierung bei allgemeinen
Alphabeten.
bibtex: '@book{Ackermann_2003, title={Tabellenbasierte arithmetische Kodierung bei
allgemeinen Alphabeten}, author={Ackermann, Marcel R.}, year={2003} }'
chicago: Ackermann, Marcel R. Tabellenbasierte arithmetische Kodierung bei allgemeinen
Alphabeten, 2003.
ieee: M. R. Ackermann, Tabellenbasierte arithmetische Kodierung bei allgemeinen
Alphabeten. 2003.
mla: Ackermann, Marcel R. Tabellenbasierte arithmetische Kodierung bei allgemeinen
Alphabeten. 2003.
short: M.R. Ackermann, Tabellenbasierte arithmetische Kodierung bei allgemeinen
Alphabeten, 2003.
date_created: 2023-10-05T16:37:47Z
date_updated: 2023-10-05T16:54:32Z
ddc:
- '000'
department:
- _id: '34'
- _id: '64'
file:
- access_level: open_access
content_type: application/postscript
creator: bhenrik
date_created: 2023-10-05T16:37:41Z
date_updated: 2023-10-05T16:54:32Z
file_id: '47722'
file_name: 2003_Ackermann_TabellenbasierteArithmetischeKodierungBeiAllgemeinenAlphabeten.ps
file_size: 8764824
relation: main_file
file_date_updated: 2023-10-05T16:54:32Z
has_accepted_license: '1'
keyword:
- Diplomarbeit
language:
- iso: ger
oa: '1'
status: public
title: Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten
type: misc
user_id: '41047'
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: Proceedings
of CE 2003. ; 2003.'
apa: Kostienko, T., Müller, W., Pawlak, A., & Schattkowsky, T. (2003). An Advanced
Infrastructure for Collaborative Engineering in Electronic Design Automation.
Proceedings of CE 2003.
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 Proceedings of CE 2003. 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.” Proceedings of CE 2003, 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: Proceedings of HICCS-36. ; 2003.'
apa: Loeser, C., Müller, W., Berger, F., & Eikerling, H.-J. (2003). Peer-to-Peer
for Virtual Home Environments. Proceedings of HICCS-36.
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 Proceedings of HICCS-36.
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.” Proceedings
of HICCS-36, 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: Proceedings of DATE’03. ; 2003.'
apa: Eikerling, H.-J., Müller, W., Schattkowski, T., & Wegner, J. (2003). Tool
Integration and Management in Heterogeneous Computer Networks. Proceedings
of DATE’03.
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 Proceedings
of DATE’03. 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.” Proceedings of DATE’03, 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: Proceedings of the Joint Workshop IJCAI Workshop on Artificial
Intelligence, Information Access, and Mobile Computing. ; 2003.'
apa: Schäfer, R., & Müller, W. (2003). Adaptive profiles for Multi-Modal Interaction
in Intelligent Frameworks. Proceedings of the Joint Workshop IJCAI Workshop
on Artificial Intelligence, Information Access, and Mobile Computing.
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 Proceedings of the Joint Workshop
IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing.
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.” Proceedings of the Joint Workshop IJCAI Workshop
on Artificial Intelligence, Information Access, and Mobile Computing, 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:
Proceedings of SERP’03. ; 2003.'
apa: Flake, S., & Müller, W. (2003). Expressing Property Specification Patterns
with OCL. Proceedings of SERP’03.
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 Proceedings of SERP’03. 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.” Proceedings of SERP’03, 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: Proceedings of CCE’03. ; 2003.'
apa: Schattkowsky, T., & Müller, W. (2003). Distributed Engineering Environment
for the Design of Electronic Systems. Proceedings of CCE’03.
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 Proceedings of CCE’03. 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.” Proceedings of CCE’03, 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: Proceedings of SEKE 2003. ; 2003.'
apa: Flake, S., & Müller, W. (2003). Semantics of State-Oriented Expressions
in the Object Constraint Language. Proceedings of SEKE 2003.
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 Proceedings of SEKE 2003. 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.” Proceedings of SEKE 2003, 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: Proceedings
of CCE’03. ; 2003.'
apa: Wang, J., & Müller, W. (2003). SmartCard for Secure Collaborative Engineering.
Proceedings of CCE’03.
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 Proceedings of CCE’03. 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.”
Proceedings of CCE’03, 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'
...