---
_id: '332'
author:
- first_name: Maximilian
  full_name: Lange, Maximilian
  last_name: Lange
citation:
  ama: Lange M. <i>Was tun um Kunden von der Qualität seiner Produkte zu überzeugen
    - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten</i>.
    Universität Paderborn; 2014.
  apa: Lange, M. (2014). <i>Was tun um Kunden von der Qualität seiner Produkte zu
    überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf
    Onlinemärkten</i>. Universität Paderborn.
  bibtex: '@book{Lange_2014, title={Was tun um Kunden von der Qualität seiner Produkte
    zu überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf
    Onlinemärkten}, publisher={Universität Paderborn}, author={Lange, Maximilian},
    year={2014} }'
  chicago: Lange, Maximilian. <i>Was tun um Kunden von der Qualität seiner Produkte
    zu überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf
    Onlinemärkten</i>. Universität Paderborn, 2014.
  ieee: M. Lange, <i>Was tun um Kunden von der Qualität seiner Produkte zu überzeugen
    - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten</i>.
    Universität Paderborn, 2014.
  mla: Lange, Maximilian. <i>Was tun um Kunden von der Qualität seiner Produkte zu
    überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf
    Onlinemärkten</i>. Universität Paderborn, 2014.
  short: M. Lange, Was tun um Kunden von der Qualität seiner Produkte zu überzeugen
    - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten,
    Universität Paderborn, 2014.
date_created: 2017-10-17T12:41:56Z
date_updated: 2022-01-06T06:59:10Z
language:
- iso: ger
project:
- _id: '1'
  name: SFB 901
- _id: '8'
  name: SFB 901 - Subprojekt A4
- _id: '2'
  name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
title: Was tun um Kunden von der Qualität seiner Produkte zu überzeugen - Möglichkeiten
  der Zertifizierung und von Reputationssystemen auf Onlinemärkten
type: bachelorsthesis
user_id: '477'
year: '2014'
...
---
_id: '333'
author:
- first_name: Sebastian
  full_name: Osterbrink, Sebastian
  last_name: Osterbrink
citation:
  ama: Osterbrink S. <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität Paderborn;
    2014.
  apa: Osterbrink, S. (2014). <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität
    Paderborn.
  bibtex: '@book{Osterbrink_2014, title={Visualisierung von SMT-Solver-Ausgaben},
    publisher={Universität Paderborn}, author={Osterbrink, Sebastian}, year={2014}
    }'
  chicago: Osterbrink, Sebastian. <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität
    Paderborn, 2014.
  ieee: S. Osterbrink, <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität
    Paderborn, 2014.
  mla: Osterbrink, Sebastian. <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität
    Paderborn, 2014.
  short: S. Osterbrink, Visualisierung von SMT-Solver-Ausgaben, Universität Paderborn,
    2014.
date_created: 2017-10-17T12:41:56Z
date_updated: 2022-01-06T06:59:10Z
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '3'
  name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Visualisierung von SMT-Solver-Ausgaben
type: bachelorsthesis
user_id: '477'
year: '2014'
...
---
_id: '334'
author:
- first_name: Peter
  full_name: Wagener, Peter
  last_name: Wagener
citation:
  ama: Wagener P. <i>Vertical Thread Migration in FPGA Based Sound Localization</i>.
    Universität Paderborn; 2014.
  apa: Wagener, P. (2014). <i>Vertical Thread Migration in FPGA based Sound Localization</i>.
    Universität Paderborn.
  bibtex: '@book{Wagener_2014, title={Vertical Thread Migration in FPGA based Sound
    Localization}, publisher={Universität Paderborn}, author={Wagener, Peter}, year={2014}
    }'
  chicago: Wagener, Peter. <i>Vertical Thread Migration in FPGA Based Sound Localization</i>.
    Universität Paderborn, 2014.
  ieee: P. Wagener, <i>Vertical Thread Migration in FPGA based Sound Localization</i>.
    Universität Paderborn, 2014.
  mla: Wagener, Peter. <i>Vertical Thread Migration in FPGA Based Sound Localization</i>.
    Universität Paderborn, 2014.
  short: P. Wagener, Vertical Thread Migration in FPGA Based Sound Localization, Universität
    Paderborn, 2014.
date_created: 2017-10-17T12:41:57Z
date_updated: 2022-01-06T06:59:10Z
project:
- _id: '1'
  name: SFB 901
- _id: '14'
  name: SFB 901 - Subprojekt C2
- _id: '4'
  name: SFB 901 - Project Area C
publisher: Universität Paderborn
status: public
title: Vertical Thread Migration in FPGA based Sound Localization
type: bachelorsthesis
user_id: '477'
year: '2014'
...
---
_id: '336'
abstract:
- lang: eng
  text: Today, service compositions often need to be assembled or changed on-the-fly,
    which leaves only little time for quality assurance. Moreover, quality assurance
    is complicated by service providers only giving information on their services
    in terms of domain specific concepts with only limited semantic meaning. In this
    paper, we propose a method to construct service compositions based on pre-verifiedtemplates.
    Templates, given as workflow descriptions, are typed over a (domain-independent)
    template ontology defining concepts and predicates. Templates are proven correct
    using an abstract semantics, leaving the specific meaning of ontology concepts
    open, however, only up to given ontology rules. Construction of service compositions
    amounts to instantiation of templates with domain-specific services.Correctness
    of an instantiation can then simply be checked by verifying that the domain ontology(a)
    adheres to the rules of the template ontology, and (b) fulfills the constraints
    of the employed template.
author:
- first_name: Sven
  full_name: Walther, Sven
  last_name: Walther
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Walther S, Wehrheim H. Verified Service Compositions by Template-Based Construction.
    In: Lanese I, Madelaine E, eds. <i>Proceedings of the 11th International Symposium
    on Formal Aspects of Component Software (FACS)</i>. LNCS. ; 2014:31-48. doi:<a
    href="https://doi.org/10.1007/978-3-319-15317-9_3">10.1007/978-3-319-15317-9_3</a>'
  apa: Walther, S., &#38; Wehrheim, H. (2014). Verified Service Compositions by Template-Based
    Construction. In I. Lanese &#38; E. Madelaine (Eds.), <i>Proceedings of the 11th
    International Symposium on Formal Aspects of Component Software (FACS)</i> (pp.
    31–48). <a href="https://doi.org/10.1007/978-3-319-15317-9_3">https://doi.org/10.1007/978-3-319-15317-9_3</a>
  bibtex: '@inproceedings{Walther_Wehrheim_2014, series={LNCS}, title={Verified Service
    Compositions by Template-Based Construction}, DOI={<a href="https://doi.org/10.1007/978-3-319-15317-9_3">10.1007/978-3-319-15317-9_3</a>},
    booktitle={Proceedings of the 11th International Symposium on Formal Aspects of
    Component Software (FACS)}, author={Walther, Sven and Wehrheim, Heike}, editor={Lanese,
    Ivan and Madelaine, EricEditors}, year={2014}, pages={31–48}, collection={LNCS}
    }'
  chicago: Walther, Sven, and Heike Wehrheim. “Verified Service Compositions by Template-Based
    Construction.” In <i>Proceedings of the 11th International Symposium on Formal
    Aspects of Component Software (FACS)</i>, edited by Ivan Lanese and Eric Madelaine,
    31–48. LNCS, 2014. <a href="https://doi.org/10.1007/978-3-319-15317-9_3">https://doi.org/10.1007/978-3-319-15317-9_3</a>.
  ieee: S. Walther and H. Wehrheim, “Verified Service Compositions by Template-Based
    Construction,” in <i>Proceedings of the 11th International Symposium on Formal
    Aspects of Component Software (FACS)</i>, 2014, pp. 31–48.
  mla: Walther, Sven, and Heike Wehrheim. “Verified Service Compositions by Template-Based
    Construction.” <i>Proceedings of the 11th International Symposium on Formal Aspects
    of Component Software (FACS)</i>, edited by Ivan Lanese and Eric Madelaine, 2014,
    pp. 31–48, doi:<a href="https://doi.org/10.1007/978-3-319-15317-9_3">10.1007/978-3-319-15317-9_3</a>.
  short: 'S. Walther, H. Wehrheim, in: I. Lanese, E. Madelaine (Eds.), Proceedings
    of the 11th International Symposium on Formal Aspects of Component Software (FACS),
    2014, pp. 31–48.'
date_created: 2017-10-17T12:41:57Z
date_updated: 2022-01-06T06:59:13Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1007/978-3-319-15317-9_3
editor:
- first_name: Ivan
  full_name: Lanese, Ivan
  last_name: Lanese
- first_name: Eric
  full_name: Madelaine, Eric
  last_name: Madelaine
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-20T07:29:29Z
  date_updated: 2018-03-20T07:29:29Z
  file_id: '1423'
  file_name: 336-facs2014_walther.pdf
  file_size: 484422
  relation: main_file
  success: 1
file_date_updated: 2018-03-20T07:29:29Z
has_accepted_license: '1'
language:
- iso: eng
page: 31-48
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the 11th International Symposium on Formal Aspects of
  Component Software (FACS)
series_title: LNCS
status: public
title: Verified Service Compositions by Template-Based Construction
type: conference
user_id: '477'
year: '2014'
...
---
_id: '337'
author:
- first_name: Christopher
  full_name: Berkemeier, Christopher
  last_name: Berkemeier
citation:
  ama: Berkemeier C. <i>Verhandlungen vs Auktionen im Beschäftigungsmanagement</i>.
    Universität Paderborn; 2014.
  apa: Berkemeier, C. (2014). <i>Verhandlungen vs Auktionen im Beschäftigungsmanagement</i>.
    Universität Paderborn.
  bibtex: '@book{Berkemeier_2014, title={Verhandlungen vs Auktionen im Beschäftigungsmanagement},
    publisher={Universität Paderborn}, author={Berkemeier, Christopher}, year={2014}
    }'
  chicago: Berkemeier, Christopher. <i>Verhandlungen vs Auktionen im Beschäftigungsmanagement</i>.
    Universität Paderborn, 2014.
  ieee: C. Berkemeier, <i>Verhandlungen vs Auktionen im Beschäftigungsmanagement</i>.
    Universität Paderborn, 2014.
  mla: Berkemeier, Christopher. <i>Verhandlungen vs Auktionen im Beschäftigungsmanagement</i>.
    Universität Paderborn, 2014.
  short: C. Berkemeier, Verhandlungen vs Auktionen im Beschäftigungsmanagement, Universität
    Paderborn, 2014.
date_created: 2017-10-17T12:41:57Z
date_updated: 2022-01-06T06:59:13Z
language:
- iso: ger
project:
- _id: '1'
  name: SFB 901
- _id: '7'
  name: SFB 901 - Subprojekt A3
- _id: '2'
  name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
title: Verhandlungen vs Auktionen im Beschäftigungsmanagement
type: bachelorsthesis
user_id: '477'
year: '2014'
...
---
_id: '338'
author:
- first_name: Henri
  full_name: Beck, Henri
  last_name: Beck
citation:
  ama: 'Beck H. <i>Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet
    Winner Verfahrens</i>. Universität Paderborn; 2014.'
  apa: 'Beck, H. (2014). <i>Verhandlungen bei variablem status quo: Eine Modifikation
    des Adjustet Winner Verfahrens</i>. Universität Paderborn.'
  bibtex: '@book{Beck_2014, title={Verhandlungen bei variablem status quo: Eine Modifikation
    des Adjustet Winner Verfahrens}, publisher={Universität Paderborn}, author={Beck,
    Henri}, year={2014} }'
  chicago: 'Beck, Henri. <i>Verhandlungen bei variablem status quo: Eine Modifikation
    des Adjustet Winner Verfahrens</i>. Universität Paderborn, 2014.'
  ieee: 'H. Beck, <i>Verhandlungen bei variablem status quo: Eine Modifikation des
    Adjustet Winner Verfahrens</i>. Universität Paderborn, 2014.'
  mla: 'Beck, Henri. <i>Verhandlungen bei variablem status quo: Eine Modifikation
    des Adjustet Winner Verfahrens</i>. Universität Paderborn, 2014.'
  short: 'H. Beck, Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet
    Winner Verfahrens, Universität Paderborn, 2014.'
date_created: 2017-10-17T12:41:57Z
date_updated: 2022-01-06T06:59:13Z
language:
- iso: ger
project:
- _id: '1'
  name: SFB 901
- _id: '7'
  name: SFB 901 - Subprojekt A3
- _id: '2'
  name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
title: 'Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet Winner
  Verfahrens'
type: bachelorsthesis
user_id: '477'
year: '2014'
...
---
_id: '3389'
abstract:
- lang: ger
  text: "Dieses Lehr- und Arbeitsbuch präsentiert Ihnen die wichtigsten Grundlagen
    der Unternehmensfinanzierung auf dem neuesten fachlichen Stand. Der perfekte Einstieg
    in ein zentrales finanzwirtschaftliches Fach- und Praxisgebiet – mit vielen Beispielen
    und Übungen.\r\n"
author:
- first_name: Horst
  full_name: Gräfer, Horst
  last_name: Gräfer
- first_name: Bettina
  full_name: Schiller, Bettina
  id: '457'
  last_name: Schiller
- first_name: Sabrina
  full_name: Rösner, Sabrina
  last_name: Rösner
citation:
  ama: 'Gräfer H, Schiller B, Rösner S. <i>Finanzierung - Grundlagen, Institutionen,
    Instrumente und Kapitalmarkttheorie</i>. Vol 8. 8th ed. Berlin: Erich Schmidt
    Verlag; 2014.'
  apa: 'Gräfer, H., Schiller, B., &#38; Rösner, S. (2014). <i>Finanzierung - Grundlagen,
    Institutionen, Instrumente und Kapitalmarkttheorie</i> (8th ed., Vol. 8). Berlin:
    Erich Schmidt Verlag.'
  bibtex: '@book{Gräfer_Schiller_Rösner_2014, place={Berlin}, edition={8}, title={Finanzierung
    - Grundlagen, Institutionen, Instrumente und Kapitalmarkttheorie}, volume={8},
    publisher={Erich Schmidt Verlag}, author={Gräfer, Horst and Schiller, Bettina
    and Rösner, Sabrina}, year={2014} }'
  chicago: 'Gräfer, Horst, Bettina Schiller, and Sabrina Rösner. <i>Finanzierung -
    Grundlagen, Institutionen, Instrumente und Kapitalmarkttheorie</i>. 8th ed. Vol.
    8. Berlin: Erich Schmidt Verlag, 2014.'
  ieee: 'H. Gräfer, B. Schiller, and S. Rösner, <i>Finanzierung - Grundlagen, Institutionen,
    Instrumente und Kapitalmarkttheorie</i>, 8th ed., vol. 8. Berlin: Erich Schmidt
    Verlag, 2014.'
  mla: Gräfer, Horst, et al. <i>Finanzierung - Grundlagen, Institutionen, Instrumente
    und Kapitalmarkttheorie</i>. 8th ed., vol. 8, Erich Schmidt Verlag, 2014.
  short: H. Gräfer, B. Schiller, S. Rösner, Finanzierung - Grundlagen, Institutionen,
    Instrumente und Kapitalmarkttheorie, 8th ed., Erich Schmidt Verlag, Berlin, 2014.
date_created: 2018-06-28T06:56:41Z
date_updated: 2022-01-06T06:59:13Z
department:
- _id: '191'
edition: '8'
intvolume: '         8'
keyword:
- Management
- Wirtschaft
language:
- iso: ger
page: '405'
place: Berlin
publication_identifier:
  isbn:
  - 978-3-503-15666-5
publication_status: published
publisher: Erich Schmidt Verlag
status: public
title: Finanzierung - Grundlagen, Institutionen, Instrumente und Kapitalmarkttheorie
type: book
user_id: '21810'
volume: 8
year: '2014'
...
---
_id: '339'
abstract:
- lang: eng
  text: 'Preemptive Routing and Wavelength Assignment (RWA) algorithms preempt established
    lightpaths in case notenough resources are available to set up a new lightpath
    in aWavelength Division Multiplexing (WDM) network. The selectionof lightpaths
    to be preempted relies on internal decisions of theRWA algorithm. Thus, if dedicated
    properties of the networktopology are required by the applications running on
    the network,these requirements have to be known to the RWA algorithm.We present
    a family of preemptive RWA algorithms for WDMnetworks. These algorithms have two
    distinguishing features: a)they can handle dynamic traffic by on-the-fly reconfiguration,and
    b) users can give feedback for reconfiguration decisions andthus influence the
    preemption decision of the RWA algorithm,leading to networks which adapt directly
    to application needs.This is different from traffic engineering where the network
    is(slowly) adapted to observed traffic patterns.Our algorithms handle various
    WDM network configurationsincluding networks consisting of heterogeneous WDM hardware.To
    this end, we are using the layered graph approach togetherwith a newly developed
    graph model that is used to determineconflicting lightpaths.'
author:
- first_name: Philip
  full_name: Wette, Philip
  last_name: Wette
- first_name: Holger
  full_name: Karl, Holger
  id: '126'
  last_name: Karl
citation:
  ama: 'Wette P, Karl H. Using Application Layer Knowledge in Routing and Wavelength
    Assignment Algorithms. In: <i>Proceedings of the IEEE International Conference
    on Communications 2014</i>. ; 2014:3270-3276. doi:<a href="https://doi.org/10.1109/ICC.2014.6883825">10.1109/ICC.2014.6883825</a>'
  apa: Wette, P., &#38; Karl, H. (2014). Using Application Layer Knowledge in Routing
    and Wavelength Assignment Algorithms. In <i>Proceedings of the IEEE International
    Conference on Communications 2014</i> (pp. 3270–3276). <a href="https://doi.org/10.1109/ICC.2014.6883825">https://doi.org/10.1109/ICC.2014.6883825</a>
  bibtex: '@inproceedings{Wette_Karl_2014, title={Using Application Layer Knowledge
    in Routing and Wavelength Assignment Algorithms}, DOI={<a href="https://doi.org/10.1109/ICC.2014.6883825">10.1109/ICC.2014.6883825</a>},
    booktitle={Proceedings of the IEEE International Conference on Communications
    2014}, author={Wette, Philip and Karl, Holger}, year={2014}, pages={3270–3276}
    }'
  chicago: Wette, Philip, and Holger Karl. “Using Application Layer Knowledge in Routing
    and Wavelength Assignment Algorithms.” In <i>Proceedings of the IEEE International
    Conference on Communications 2014</i>, 3270–76, 2014. <a href="https://doi.org/10.1109/ICC.2014.6883825">https://doi.org/10.1109/ICC.2014.6883825</a>.
  ieee: P. Wette and H. Karl, “Using Application Layer Knowledge in Routing and Wavelength
    Assignment Algorithms,” in <i>Proceedings of the IEEE International Conference
    on Communications 2014</i>, 2014, pp. 3270–3276.
  mla: Wette, Philip, and Holger Karl. “Using Application Layer Knowledge in Routing
    and Wavelength Assignment Algorithms.” <i>Proceedings of the IEEE International
    Conference on Communications 2014</i>, 2014, pp. 3270–76, doi:<a href="https://doi.org/10.1109/ICC.2014.6883825">10.1109/ICC.2014.6883825</a>.
  short: 'P. Wette, H. Karl, in: Proceedings of the IEEE International Conference
    on Communications 2014, 2014, pp. 3270–3276.'
date_created: 2017-10-17T12:41:58Z
date_updated: 2022-01-06T06:59:14Z
ddc:
- '040'
department:
- _id: '75'
doi: 10.1109/ICC.2014.6883825
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-20T07:29:00Z
  date_updated: 2018-03-20T07:29:00Z
  file_id: '1422'
  file_name: 339-IEEE-WK-14.pdf
  file_size: 138062
  relation: main_file
  success: 1
file_date_updated: 2018-03-20T07:29:00Z
has_accepted_license: '1'
page: 3270-3276
project:
- _id: '1'
  name: SFB 901
- _id: '6'
  name: SFB 901 - Subproject A2
- _id: '2'
  name: SFB 901 - Project Area A
publication: Proceedings of the IEEE International Conference on Communications 2014
status: public
title: Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms
type: conference
user_id: '15504'
year: '2014'
...
---
_id: '340'
author:
- first_name: Philipp
  full_name: Korth, Philipp
  last_name: Korth
citation:
  ama: Korth P. <i>Untersuchung transitiver Eigenschaften der Technik “Programs from
    Proofs.”</i> Universität Paderborn; 2014.
  apa: Korth, P. (2014). <i>Untersuchung transitiver Eigenschaften der Technik “Programs
    from Proofs.”</i> Universität Paderborn.
  bibtex: '@book{Korth_2014, title={Untersuchung transitiver Eigenschaften der Technik
    “Programs from Proofs”}, publisher={Universität Paderborn}, author={Korth, Philipp},
    year={2014} }'
  chicago: Korth, Philipp. <i>Untersuchung transitiver Eigenschaften der Technik “Programs
    from Proofs.”</i> Universität Paderborn, 2014.
  ieee: P. Korth, <i>Untersuchung transitiver Eigenschaften der Technik “Programs
    from Proofs.”</i> Universität Paderborn, 2014.
  mla: Korth, Philipp. <i>Untersuchung transitiver Eigenschaften der Technik “Programs
    from Proofs.”</i> Universität Paderborn, 2014.
  short: P. Korth, Untersuchung transitiver Eigenschaften der Technik “Programs from
    Proofs,” Universität Paderborn, 2014.
date_created: 2017-10-17T12:41:58Z
date_updated: 2022-01-06T06:59:14Z
department:
- _id: '77'
language:
- iso: ger
project:
- _id: '1'
  name: SFB 901
- _id: '12'
  name: SFB 901 - Subprojekt B4
- _id: '3'
  name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Heike
  full_name: Wehrheim, Heike
  last_name: Wehrheim
title: Untersuchung transitiver Eigenschaften der Technik "Programs from Proofs"
type: bachelorsthesis
user_id: '15504'
year: '2014'
...
---
_id: '341'
author:
- first_name: Terry
  full_name: Fang Cheng, Terry
  last_name: Fang Cheng
citation:
  ama: Fang Cheng T. <i>Two-Sided Market and Game Console Vendors</i>. Universität
    Paderborn; 2014.
  apa: Fang Cheng, T. (2014). <i>Two-Sided Market and Game Console Vendors</i>. Universität
    Paderborn.
  bibtex: '@book{Fang Cheng_2014, title={Two-Sided Market and Game Console Vendors},
    publisher={Universität Paderborn}, author={Fang Cheng, Terry}, year={2014} }'
  chicago: Fang Cheng, Terry. <i>Two-Sided Market and Game Console Vendors</i>. Universität
    Paderborn, 2014.
  ieee: T. Fang Cheng, <i>Two-Sided Market and Game Console Vendors</i>. Universität
    Paderborn, 2014.
  mla: Fang Cheng, Terry. <i>Two-Sided Market and Game Console Vendors</i>. Universität
    Paderborn, 2014.
  short: T. Fang Cheng, Two-Sided Market and Game Console Vendors, Universität Paderborn,
    2014.
date_created: 2017-10-17T12:41:58Z
date_updated: 2022-01-06T06:59:14Z
project:
- _id: '1'
  name: SFB 901
- _id: '7'
  name: SFB 901 - Subprojekt A3
- _id: '2'
  name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
title: Two-Sided Market and Game Console Vendors
type: bachelorsthesis
user_id: '477'
year: '2014'
...
---
_id: '342'
author:
- first_name: Christoph
  full_name: Klauke, Christoph
  last_name: Klauke
citation:
  ama: Klauke C. <i>Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen</i>.
    Universität Paderborn; 2014.
  apa: Klauke, C. (2014). <i>Transformation graphischer Protokollspezifikationen in
    Model-Checker-Anfragen</i>. Universität Paderborn.
  bibtex: '@book{Klauke_2014, title={Transformation graphischer Protokollspezifikationen
    in Model-Checker-Anfragen}, publisher={Universität Paderborn}, author={Klauke,
    Christoph}, year={2014} }'
  chicago: Klauke, Christoph. <i>Transformation Graphischer Protokollspezifikationen
    in Model-Checker-Anfragen</i>. Universität Paderborn, 2014.
  ieee: C. Klauke, <i>Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen</i>.
    Universität Paderborn, 2014.
  mla: Klauke, Christoph. <i>Transformation Graphischer Protokollspezifikationen in
    Model-Checker-Anfragen</i>. Universität Paderborn, 2014.
  short: C. Klauke, Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen,
    Universität Paderborn, 2014.
date_created: 2017-10-17T12:41:58Z
date_updated: 2022-01-06T06:59:15Z
project:
- _id: '1'
  name: SFB 901
- _id: '12'
  name: SFB 901 - Subprojekt B4
- _id: '3'
  name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen
type: bachelorsthesis
user_id: '477'
year: '2014'
...
---
_id: '343'
author:
- first_name: Jörn
  full_name: Künsemöller, Jörn
  last_name: Künsemöller
citation:
  ama: Künsemöller J. <i>Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service
    Market</i>. Universität Paderborn; 2014.
  apa: Künsemöller, J. (2014). <i>Tragedy of the Common Cloud - Game Theory on the
    Infrastructure-as-a-Service Market</i>. Universität Paderborn.
  bibtex: '@book{Künsemöller_2014, title={Tragedy of the Common Cloud - Game Theory
    on the Infrastructure-as-a-Service Market}, publisher={Universität Paderborn},
    author={Künsemöller, Jörn}, year={2014} }'
  chicago: Künsemöller, Jörn. <i>Tragedy of the Common Cloud - Game Theory on the
    Infrastructure-as-a-Service Market</i>. Universität Paderborn, 2014.
  ieee: J. Künsemöller, <i>Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service
    Market</i>. Universität Paderborn, 2014.
  mla: Künsemöller, Jörn. <i>Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service
    Market</i>. Universität Paderborn, 2014.
  short: J. Künsemöller, Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service
    Market, Universität Paderborn, 2014.
date_created: 2017-10-17T12:41:58Z
date_updated: 2022-01-06T06:59:16Z
ddc:
- '040'
department:
- _id: '75'
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-20T07:28:26Z
  date_updated: 2018-03-20T07:28:26Z
  file_id: '1421'
  file_name: 343-2014_Diss_Kuensemoeller.pdf
  file_size: 1378657
  relation: main_file
  success: 1
file_date_updated: 2018-03-20T07:28:26Z
has_accepted_license: '1'
project:
- _id: '1'
  name: SFB 901
- _id: '6'
  name: SFB 901 - Subprojekt A2
- _id: '7'
  name: SFB 901 - Subprojekt A3
- _id: '2'
  name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Holger
  full_name: Karl, Holger
  id: '126'
  last_name: Karl
title: Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service
  Market
type: dissertation
user_id: '477'
year: '2014'
...
---
_id: '3439'
author:
- first_name: Benjamin
  full_name: Klör, Benjamin
  last_name: Klör
- first_name: Sebastian
  full_name: Bräuer, Sebastian
  last_name: Bräuer
- first_name: Daniel
  full_name: Beverungen, Daniel
  id: '59677'
  last_name: Beverungen
- first_name: Martin
  full_name: Matzner, Martin
  last_name: Matzner
citation:
  ama: 'Klör B, Bräuer S, Beverungen D, Matzner M. IT-basierte Dienstleistungen für
    die Elektromobilität --- Konzeptioneller Rahmen und Literaturanalyse. In: <i>Proceedings
    of the Multikonferenz Wirtschaftsinformatik 2014 (MKWI 2014)</i>. Paderborn; 2014:2047--2066.'
  apa: Klör, B., Bräuer, S., Beverungen, D., &#38; Matzner, M. (2014). IT-basierte
    Dienstleistungen für die Elektromobilität --- Konzeptioneller Rahmen und Literaturanalyse.
    In <i>Proceedings of the Multikonferenz Wirtschaftsinformatik 2014 (MKWI 2014)</i>
    (pp. 2047--2066). Paderborn.
  bibtex: '@inproceedings{Klör_Bräuer_Beverungen_Matzner_2014, place={Paderborn},
    title={IT-basierte Dienstleistungen für die Elektromobilität --- Konzeptioneller
    Rahmen und Literaturanalyse}, booktitle={Proceedings of the Multikonferenz Wirtschaftsinformatik
    2014 (MKWI 2014)}, author={Klör, Benjamin and Bräuer, Sebastian and Beverungen,
    Daniel and Matzner, Martin}, year={2014}, pages={2047--2066} }'
  chicago: Klör, Benjamin, Sebastian Bräuer, Daniel Beverungen, and Martin Matzner.
    “IT-Basierte Dienstleistungen Für Die Elektromobilität --- Konzeptioneller Rahmen
    Und Literaturanalyse.” In <i>Proceedings of the Multikonferenz Wirtschaftsinformatik
    2014 (MKWI 2014)</i>, 2047--2066. Paderborn, 2014.
  ieee: B. Klör, S. Bräuer, D. Beverungen, and M. Matzner, “IT-basierte Dienstleistungen
    für die Elektromobilität --- Konzeptioneller Rahmen und Literaturanalyse,” in
    <i>Proceedings of the Multikonferenz Wirtschaftsinformatik 2014 (MKWI 2014)</i>,
    Paderborn, 2014, pp. 2047--2066.
  mla: Klör, Benjamin, et al. “IT-Basierte Dienstleistungen Für Die Elektromobilität
    --- Konzeptioneller Rahmen Und Literaturanalyse.” <i>Proceedings of the Multikonferenz
    Wirtschaftsinformatik 2014 (MKWI 2014)</i>, 2014, pp. 2047--2066.
  short: 'B. Klör, S. Bräuer, D. Beverungen, M. Matzner, in: Proceedings of the Multikonferenz
    Wirtschaftsinformatik 2014 (MKWI 2014), Paderborn, 2014, pp. 2047--2066.'
conference:
  location: Paderborn
  name: Multikonferenz Wirtschaftsinformatik 2014
date_created: 2018-07-05T13:00:25Z
date_updated: 2022-01-06T06:59:16Z
department:
- _id: '526'
page: 2047--2066
place: Paderborn
publication: Proceedings of the Multikonferenz Wirtschaftsinformatik 2014 (MKWI 2014)
status: public
title: IT-basierte Dienstleistungen für die Elektromobilität --- Konzeptioneller Rahmen
  und Literaturanalyse
type: conference
user_id: '21671'
year: '2014'
...
---
_id: '344'
author:
- first_name: Matthias
  full_name: Becker, Matthias
  last_name: Becker
- first_name: Steffen
  full_name: Becker, Steffen
  last_name: Becker
- first_name: Galina
  full_name: Besova, Galina
  last_name: Besova
- first_name: Sven
  full_name: Walther, Sven
  last_name: Walther
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Becker M, Becker S, Besova G, Walther S, Wehrheim H. Towards Systematic Configuration
    for Architecture Validation. In: <i>Proceedings of the 40th Euromicro Conference
    on Software Engineering and Advanced Applications (Work in Progress Session)</i>.
    ; 2014.'
  apa: Becker, M., Becker, S., Besova, G., Walther, S., &#38; Wehrheim, H. (2014).
    Towards Systematic Configuration for Architecture Validation. In <i>Proceedings
    of the 40th Euromicro Conference on Software Engineering and Advanced Applications
    (Work in Progress Session)</i>.
  bibtex: '@inproceedings{Becker_Becker_Besova_Walther_Wehrheim_2014, title={Towards
    Systematic Configuration for Architecture Validation}, booktitle={Proceedings
    of the 40th Euromicro Conference on Software Engineering and Advanced Applications
    (Work in Progress Session)}, author={Becker, Matthias and Becker, Steffen and
    Besova, Galina and Walther, Sven and Wehrheim, Heike}, year={2014} }'
  chicago: Becker, Matthias, Steffen Becker, Galina Besova, Sven Walther, and Heike
    Wehrheim. “Towards Systematic Configuration for Architecture Validation.” In <i>Proceedings
    of the 40th Euromicro Conference on Software Engineering and Advanced Applications
    (Work in Progress Session)</i>, 2014.
  ieee: M. Becker, S. Becker, G. Besova, S. Walther, and H. Wehrheim, “Towards Systematic
    Configuration for Architecture Validation,” in <i>Proceedings of the 40th Euromicro
    Conference on Software Engineering and Advanced Applications (Work in Progress
    Session)</i>, 2014.
  mla: Becker, Matthias, et al. “Towards Systematic Configuration for Architecture
    Validation.” <i>Proceedings of the 40th Euromicro Conference on Software Engineering
    and Advanced Applications (Work in Progress Session)</i>, 2014.
  short: 'M. Becker, S. Becker, G. Besova, S. Walther, H. Wehrheim, in: Proceedings
    of the 40th Euromicro Conference on Software Engineering and Advanced Applications
    (Work in Progress Session), 2014.'
date_created: 2017-10-17T12:41:59Z
date_updated: 2022-01-06T06:59:17Z
ddc:
- '040'
department:
- _id: '77'
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-20T07:27:54Z
  date_updated: 2018-03-20T07:27:54Z
  file_id: '1420'
  file_name: 344-paper_CAMERA_READY.pdf
  file_size: 80674
  relation: main_file
  success: 1
file_date_updated: 2018-03-20T07:27:54Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the 40th Euromicro Conference on Software Engineering
  and Advanced Applications (Work in Progress Session)
status: public
title: Towards Systematic Configuration for Architecture Validation
type: conference
user_id: '477'
year: '2014'
...
---
_id: '345'
abstract:
- lang: eng
  text: Automatically composing service-based software solutions is a challenging
    task. Considering context information during this service composition process
    is even more challenging. In domains such as image processing, however, context-sensitivity
    is inherent and cannot be ignored when developing techniques for automatic service
    composition. Formal approaches tend to create ambiguous solutions, whenever the
    expressive power of the applied formalism is limited. For example, services may
    have the same formal specification, although their actual functionality depends
    on the concrete context. In order to satisfy individual user requests while providing
    data-dependent functionality, formal approaches have to be extended. We propose
    to incorporate Reinforcement Learning techniques and combine them with planning
    based composition approaches. While planning ensures formally correct solutions,
    learning enables the composition process to resolve ambiguity by implicitly considering
    context information. Preliminary results show that our combined approach adapts
    to a static context while still satisfying formally specified requirements.
author:
- first_name: Alexander
  full_name: Jungmann, Alexander
  last_name: Jungmann
- first_name: Bernd
  full_name: Kleinjohann, Bernd
  last_name: Kleinjohann
citation:
  ama: 'Jungmann A, Kleinjohann B. Towards Context-Sensitive Service Composition for
    Service-Oriented Image Processing. In: <i>Proceedings of the 6th International
    Conference on Cloud Computing Technology and Science (CloudCom)</i>. ; 2014:755-758.
    doi:<a href="https://doi.org/10.1109/CloudCom.2014.154">10.1109/CloudCom.2014.154</a>'
  apa: Jungmann, A., &#38; Kleinjohann, B. (2014). Towards Context-Sensitive Service
    Composition for Service-Oriented Image Processing. In <i>Proceedings of the 6th
    International Conference on Cloud Computing Technology and Science (CloudCom)</i>
    (pp. 755–758). <a href="https://doi.org/10.1109/CloudCom.2014.154">https://doi.org/10.1109/CloudCom.2014.154</a>
  bibtex: '@inproceedings{Jungmann_Kleinjohann_2014, title={Towards Context-Sensitive
    Service Composition for Service-Oriented Image Processing}, DOI={<a href="https://doi.org/10.1109/CloudCom.2014.154">10.1109/CloudCom.2014.154</a>},
    booktitle={Proceedings of the 6th International Conference on Cloud Computing
    Technology and Science (CloudCom)}, author={Jungmann, Alexander and Kleinjohann,
    Bernd}, year={2014}, pages={755–758} }'
  chicago: Jungmann, Alexander, and Bernd Kleinjohann. “Towards Context-Sensitive
    Service Composition for Service-Oriented Image Processing.” In <i>Proceedings
    of the 6th International Conference on Cloud Computing Technology and Science
    (CloudCom)</i>, 755–58, 2014. <a href="https://doi.org/10.1109/CloudCom.2014.154">https://doi.org/10.1109/CloudCom.2014.154</a>.
  ieee: A. Jungmann and B. Kleinjohann, “Towards Context-Sensitive Service Composition
    for Service-Oriented Image Processing,” in <i>Proceedings of the 6th International
    Conference on Cloud Computing Technology and Science (CloudCom)</i>, 2014, pp.
    755–758.
  mla: Jungmann, Alexander, and Bernd Kleinjohann. “Towards Context-Sensitive Service
    Composition for Service-Oriented Image Processing.” <i>Proceedings of the 6th
    International Conference on Cloud Computing Technology and Science (CloudCom)</i>,
    2014, pp. 755–58, doi:<a href="https://doi.org/10.1109/CloudCom.2014.154">10.1109/CloudCom.2014.154</a>.
  short: 'A. Jungmann, B. Kleinjohann, in: Proceedings of the 6th International Conference
    on Cloud Computing Technology and Science (CloudCom), 2014, pp. 755–758.'
date_created: 2017-10-17T12:41:59Z
date_updated: 2022-01-06T06:59:17Z
ddc:
- '040'
doi: 10.1109/CloudCom.2014.154
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-20T07:27:24Z
  date_updated: 2018-03-20T07:27:24Z
  file_id: '1419'
  file_name: 345-cloudcom2014-Jungmann.pdf
  file_size: 508878
  relation: main_file
  success: 1
file_date_updated: 2018-03-20T07:27:24Z
has_accepted_license: '1'
page: 755-758
project:
- _id: '1'
  name: SFB 901
- _id: '10'
  name: SFB 901 - Subprojekt B2
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the 6th International Conference on Cloud Computing Technology
  and Science (CloudCom)
status: public
title: Towards Context-Sensitive Service Composition for Service-Oriented Image Processing
type: conference
user_id: '15504'
year: '2014'
...
---
_id: '346'
abstract:
- lang: eng
  text: One future goal of service-oriented computing is to realize global markets
    of composed services. On such markets, service providers offer services that can
    be flexibly combined with each other. However, most often, market participants
    are not able to individually estimate the quality of traded services in advance.
    As a consequence, even potentially profitable transactions between customers and
    providers might not take place. In the worst case, this can induce a market failure.
    To overcome this problem, we propose the incorporation of reputation information
    as an indicator for expected service quality. We address On-The-Fly Computing
    as a representative environment of markets of composed services. In this environment,
    customers provide feedback on transactions. We present a conceptual design of
    a reputation system which collects and processes user feedback, and provides it
    to participants in the market. Our contribution includes the identification of
    requirements for such a reputation system from a technical and an economic perspective.
    Based on these requirements, we propose a flexible solution that facilitates the
    incorporation of reputation information into markets of composed services while
    simultaneously preserving privacy of customers who provide feedback. The requirements
    we formulate in this paper have just been partially met in literature. An integrated
    approach, however, has not been addressed yet.
author:
- first_name: Sonja
  full_name: Brangewitz, Sonja
  last_name: Brangewitz
- first_name: Alexander
  full_name: Jungmann, Alexander
  last_name: Jungmann
- first_name: Ronald
  full_name: Petrlic, Ronald
  last_name: Petrlic
- first_name: Marie Christin
  full_name: Platenius, Marie Christin
  last_name: Platenius
citation:
  ama: 'Brangewitz S, Jungmann A, Petrlic R, Platenius MC. Towards a Flexible and
    Privacy-Preserving Reputation System for Markets of Composed Services. In: <i>Proceedings
    of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>.
    ; 2014:49-57.'
  apa: Brangewitz, S., Jungmann, A., Petrlic, R., &#38; Platenius, M. C. (2014). Towards
    a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services.
    In <i>Proceedings of the 6th International Conferences on Advanced Service Computing
    (SERVICE COMPUTATION)</i> (pp. 49–57).
  bibtex: '@inproceedings{Brangewitz_Jungmann_Petrlic_Platenius_2014, title={Towards
    a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services},
    booktitle={Proceedings of the 6th International Conferences on Advanced Service
    Computing (SERVICE COMPUTATION)}, author={Brangewitz, Sonja and Jungmann, Alexander
    and Petrlic, Ronald and Platenius, Marie Christin}, year={2014}, pages={49–57}
    }'
  chicago: Brangewitz, Sonja, Alexander Jungmann, Ronald Petrlic, and Marie Christin
    Platenius. “Towards a Flexible and Privacy-Preserving Reputation System for Markets
    of Composed Services.” In <i>Proceedings of the 6th International Conferences
    on Advanced Service Computing (SERVICE COMPUTATION)</i>, 49–57, 2014.
  ieee: S. Brangewitz, A. Jungmann, R. Petrlic, and M. C. Platenius, “Towards a Flexible
    and Privacy-Preserving Reputation System for Markets of Composed Services,” in
    <i>Proceedings of the 6th International Conferences on Advanced Service Computing
    (SERVICE COMPUTATION)</i>, 2014, pp. 49–57.
  mla: Brangewitz, Sonja, et al. “Towards a Flexible and Privacy-Preserving Reputation
    System for Markets of Composed Services.” <i>Proceedings of the 6th International
    Conferences on Advanced Service Computing (SERVICE COMPUTATION)</i>, 2014, pp.
    49–57.
  short: 'S. Brangewitz, A. Jungmann, R. Petrlic, M.C. Platenius, in: Proceedings
    of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION),
    2014, pp. 49–57.'
date_created: 2017-10-17T12:41:59Z
date_updated: 2022-01-06T06:59:18Z
ddc:
- '040'
department:
- _id: '205'
- _id: '76'
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-20T07:26:49Z
  date_updated: 2018-03-20T07:26:49Z
  file_id: '1418'
  file_name: 346-service_computation_2014_3_10_10005.pdf
  file_size: 334101
  relation: main_file
  success: 1
file_date_updated: 2018-03-20T07:26:49Z
has_accepted_license: '1'
language:
- iso: eng
page: 49-57
project:
- _id: '1'
  name: SFB 901
- _id: '13'
  name: SFB 901 - Subprojekt C1
- _id: '9'
  name: SFB 901 - Subprojekt B1
- _id: '7'
  name: SFB 901 - Subprojekt A3
- _id: '10'
  name: SFB 901 - Subproject B2
- _id: '2'
  name: SFB 901 - Project Area A
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '4'
  name: SFB 901 - Project Area C
publication: Proceedings of the 6th International Conferences on Advanced Service
  Computing (SERVICE COMPUTATION)
status: public
title: Towards a Flexible and Privacy-Preserving Reputation System for Markets of
  Composed Services
type: conference
user_id: '477'
year: '2014'
...
---
_id: '347'
abstract:
- lang: eng
  text: Dynamic thread duplication is a known redundancy technique for multi-cores.
    The approach duplicates a thread under observation for some time period and compares
    the signatures of the two threads to detect errors. Hybrid multi-cores, typically
    implemented on platform FPGAs, enable the unique option of running the thread
    under observation and its copy in different modalities, i.e., software and hardware.
    We denote our dynamic redundancy technique on hybrid multi-cores as thread shadowing.
    In this paper we present the concept of thread shadowing and an implementation
    on a multi-threaded hybrid multi-core architecture. We report on experiments with
    a block-processing application and demonstrate the overheads, detection latencies
    and coverage for a range of thread shadowing modes. The results show that trans-modal
    thread shadowing, although bearing long detection latencies, offers attractive
    coverage at a low overhead.
author:
- first_name: Sebastian
  full_name: Meisner, Sebastian
  last_name: Meisner
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: 'Meisner S, Platzner M. Thread Shadowing: Using Dynamic Redundancy on Hybrid
    Multi-cores for Error Detection. In: Goehringer D, Santambrogio M, Cardoso JP,
    Bertels K, eds. <i>Proceedings of the 10th International Symposium on Applied
    Reconfigurable Computing (ARC)</i>. Lecture Notes in Computer Science. Springer;
    2014:283-290. doi:<a href="https://doi.org/10.1007/978-3-319-05960-0_30">10.1007/978-3-319-05960-0_30</a>'
  apa: 'Meisner, S., &#38; Platzner, M. (2014). Thread Shadowing: Using Dynamic Redundancy
    on Hybrid Multi-cores for Error Detection. In D. Goehringer, M. Santambrogio,
    J. P. Cardoso, &#38; K. Bertels (Eds.), <i>Proceedings of the 10th International
    Symposium on Applied Reconfigurable Computing (ARC)</i> (pp. 283–290). Springer.
    <a href="https://doi.org/10.1007/978-3-319-05960-0_30">https://doi.org/10.1007/978-3-319-05960-0_30</a>'
  bibtex: '@inproceedings{Meisner_Platzner_2014, series={Lecture Notes in Computer
    Science}, title={Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-cores
    for Error Detection}, DOI={<a href="https://doi.org/10.1007/978-3-319-05960-0_30">10.1007/978-3-319-05960-0_30</a>},
    booktitle={Proceedings of the 10th International Symposium on Applied Reconfigurable
    Computing (ARC)}, publisher={Springer}, author={Meisner, Sebastian and Platzner,
    Marco}, editor={Goehringer, Diana and Santambrogio, MarcoDomenico and Cardoso,
    JoãoM.P. and Bertels, KoenEditors}, year={2014}, pages={283–290}, collection={Lecture
    Notes in Computer Science} }'
  chicago: 'Meisner, Sebastian, and Marco Platzner. “Thread Shadowing: Using Dynamic
    Redundancy on Hybrid Multi-Cores for Error Detection.” In <i>Proceedings of the
    10th International Symposium on Applied Reconfigurable Computing (ARC)</i>, edited
    by Diana Goehringer, MarcoDomenico Santambrogio, JoãoM.P. Cardoso, and Koen Bertels,
    283–90. Lecture Notes in Computer Science. Springer, 2014. <a href="https://doi.org/10.1007/978-3-319-05960-0_30">https://doi.org/10.1007/978-3-319-05960-0_30</a>.'
  ieee: 'S. Meisner and M. Platzner, “Thread Shadowing: Using Dynamic Redundancy on
    Hybrid Multi-cores for Error Detection,” in <i>Proceedings of the 10th International
    Symposium on Applied Reconfigurable Computing (ARC)</i>, 2014, pp. 283–290.'
  mla: 'Meisner, Sebastian, and Marco Platzner. “Thread Shadowing: Using Dynamic Redundancy
    on Hybrid Multi-Cores for Error Detection.” <i>Proceedings of the 10th International
    Symposium on Applied Reconfigurable Computing (ARC)</i>, edited by Diana Goehringer
    et al., Springer, 2014, pp. 283–90, doi:<a href="https://doi.org/10.1007/978-3-319-05960-0_30">10.1007/978-3-319-05960-0_30</a>.'
  short: 'S. Meisner, M. Platzner, in: D. Goehringer, M. Santambrogio, J.P. Cardoso,
    K. Bertels (Eds.), Proceedings of the 10th International Symposium on Applied
    Reconfigurable Computing (ARC), Springer, 2014, pp. 283–290.'
date_created: 2017-10-17T12:41:59Z
date_updated: 2022-01-06T06:59:18Z
ddc:
- '040'
department:
- _id: '78'
doi: 10.1007/978-3-319-05960-0_30
editor:
- first_name: Diana
  full_name: Goehringer, Diana
  last_name: Goehringer
- first_name: MarcoDomenico
  full_name: Santambrogio, MarcoDomenico
  last_name: Santambrogio
- first_name: JoãoM.P.
  full_name: Cardoso, JoãoM.P.
  last_name: Cardoso
- first_name: Koen
  full_name: Bertels, Koen
  last_name: Bertels
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-20T07:26:16Z
  date_updated: 2018-03-20T07:26:16Z
  file_id: '1417'
  file_name: 347-meisner13_xx_SFB1__1_.pdf
  file_size: 1168877
  relation: main_file
  success: 1
file_date_updated: 2018-03-20T07:26:16Z
has_accepted_license: '1'
language:
- iso: eng
page: 283-290
project:
- _id: '1'
  name: SFB 901
- _id: '14'
  name: SFB 901 - Subprojekt C2
- _id: '4'
  name: SFB 901 - Project Area C
publication: Proceedings of the 10th International Symposium on Applied Reconfigurable
  Computing (ARC)
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: 'Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-cores for Error
  Detection'
type: conference
user_id: '398'
year: '2014'
...
---
_id: '348'
author:
- first_name: Christoph
  full_name: Rüthing, Christoph
  last_name: Rüthing
citation:
  ama: Rüthing C. <i>The Xilinx Zynq Architecture as a Platform for Reconfigurable
    Heterogeneous Multi-Cores</i>. Universität Paderborn; 2014.
  apa: Rüthing, C. (2014). <i>The Xilinx Zynq Architecture as a Platform for Reconfigurable
    Heterogeneous Multi-Cores</i>. Universität Paderborn.
  bibtex: '@book{Rüthing_2014, title={The Xilinx Zynq Architecture as a Platform for
    Reconfigurable Heterogeneous Multi-Cores}, publisher={Universität Paderborn},
    author={Rüthing, Christoph}, year={2014} }'
  chicago: Rüthing, Christoph. <i>The Xilinx Zynq Architecture as a Platform for Reconfigurable
    Heterogeneous Multi-Cores</i>. Universität Paderborn, 2014.
  ieee: C. Rüthing, <i>The Xilinx Zynq Architecture as a Platform for Reconfigurable
    Heterogeneous Multi-Cores</i>. Universität Paderborn, 2014.
  mla: Rüthing, Christoph. <i>The Xilinx Zynq Architecture as a Platform for Reconfigurable
    Heterogeneous Multi-Cores</i>. Universität Paderborn, 2014.
  short: C. Rüthing, The Xilinx Zynq Architecture as a Platform for Reconfigurable
    Heterogeneous Multi-Cores, Universität Paderborn, 2014.
date_created: 2017-10-17T12:41:59Z
date_updated: 2022-01-06T06:59:18Z
project:
- _id: '1'
  name: SFB 901
- _id: '14'
  name: SFB 901 - Subprojekt C2
- _id: '4'
  name: SFB 901 - Project Area C
publisher: Universität Paderborn
status: public
title: The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous
  Multi-Cores
type: bachelorsthesis
user_id: '477'
year: '2014'
...
---
_id: '349'
abstract:
- lang: eng
  text: Identity-based cryptography has attracted attention in the cryptographic research
    communityin recent years. Despite the importance of cryptographic schemes for
    applicationsin business and law, the legal implications of identity-based cryptography
    have not yetbeen discussed. We investigate how identity-based signatures fit into
    the legal framework.We focus on the European Signature Directive, but also take
    the UNCITRAL Model Law onElectronic Signatures into account. In contrast to previous
    assumptions, identity-basedsignature schemes can, in principle, be used even for
    qualified electronic signatures,which can replace handwritten signatures in the
    member states of the European Union.We derive requirements to be taken into account
    in the development of future identitybasedsignature schemes.
author:
- first_name: Christoph
  full_name: Sorge, Christoph
  last_name: Sorge
citation:
  ama: Sorge C. <i>The Legal Classification of Identity-Based Signatures</i>.; 2014.
  apa: Sorge, C. (2014). <i>The Legal Classification of Identity-Based Signatures</i>.
  bibtex: '@book{Sorge_2014, title={The Legal Classification of Identity-Based Signatures},
    author={Sorge, Christoph}, year={2014} }'
  chicago: Sorge, Christoph. <i>The Legal Classification of Identity-Based Signatures</i>,
    2014.
  ieee: C. Sorge, <i>The Legal Classification of Identity-Based Signatures</i>. 2014.
  mla: Sorge, Christoph. <i>The Legal Classification of Identity-Based Signatures</i>.
    2014.
  short: C. Sorge, The Legal Classification of Identity-Based Signatures, 2014.
date_created: 2017-10-17T12:42:00Z
date_updated: 2022-01-06T06:59:19Z
ddc:
- '040'
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-21T13:08:36Z
  date_updated: 2018-03-21T13:08:36Z
  file_id: '1568'
  file_name: 349-CompLawSorge14.pdf
  file_size: 232052
  relation: main_file
  success: 1
file_date_updated: 2018-03-21T13:08:36Z
has_accepted_license: '1'
project:
- _id: '1'
  name: SFB 901
- _id: '13'
  name: SFB 901 - Subproject C1
- _id: '4'
  name: SFB 901 - Project Area C
related_material:
  link:
  - relation: confirmation
    url: https://eprint.iacr.org/2013/271
status: public
title: The Legal Classification of Identity-Based Signatures
type: report
user_id: '15504'
year: '2014'
...
---
_id: '3491'
author:
- first_name: Jörg
  full_name: Becker, Jörg
  last_name: Becker
- first_name: Daniel
  full_name: Beverungen, Daniel
  id: '59677'
  last_name: Beverungen
- first_name: Ralf
  full_name: Knackstedt, Ralf
  last_name: Knackstedt
- first_name: Hans
  full_name: Peter Rauer, Hans
  last_name: Peter Rauer
- first_name: Daniel
  full_name: Sigge, Daniel
  last_name: Sigge
citation:
  ama: Becker J, Beverungen D, Knackstedt R, Peter Rauer H, Sigge D. On the Ontological
    Expressiveness of Conceptual Modeling Grammars for Service Productivity Management.
    <i>Information Systems and e-Business Management</i>. 2014;(3):337--365. doi:<a
    href="https://doi.org/10.1007/s10257-013-0219-y">10.1007/s10257-013-0219-y</a>
  apa: Becker, J., Beverungen, D., Knackstedt, R., Peter Rauer, H., &#38; Sigge, D.
    (2014). On the Ontological Expressiveness of Conceptual Modeling Grammars for
    Service Productivity Management. <i>Information Systems and E-Business Management</i>,
    (3), 337--365. <a href="https://doi.org/10.1007/s10257-013-0219-y">https://doi.org/10.1007/s10257-013-0219-y</a>
  bibtex: '@article{Becker_Beverungen_Knackstedt_Peter Rauer_Sigge_2014, title={On
    the Ontological Expressiveness of Conceptual Modeling Grammars for Service Productivity
    Management}, DOI={<a href="https://doi.org/10.1007/s10257-013-0219-y">10.1007/s10257-013-0219-y</a>},
    number={3}, journal={Information Systems and e-Business Management}, author={Becker,
    Jörg and Beverungen, Daniel and Knackstedt, Ralf and Peter Rauer, Hans and Sigge,
    Daniel}, year={2014}, pages={337--365} }'
  chicago: 'Becker, Jörg, Daniel Beverungen, Ralf Knackstedt, Hans Peter Rauer, and
    Daniel Sigge. “On the Ontological Expressiveness of Conceptual Modeling Grammars
    for Service Productivity Management.” <i>Information Systems and E-Business Management</i>,
    no. 3 (2014): 337--365. <a href="https://doi.org/10.1007/s10257-013-0219-y">https://doi.org/10.1007/s10257-013-0219-y</a>.'
  ieee: J. Becker, D. Beverungen, R. Knackstedt, H. Peter Rauer, and D. Sigge, “On
    the Ontological Expressiveness of Conceptual Modeling Grammars for Service Productivity
    Management,” <i>Information Systems and e-Business Management</i>, no. 3, pp.
    337--365, 2014.
  mla: Becker, Jörg, et al. “On the Ontological Expressiveness of Conceptual Modeling
    Grammars for Service Productivity Management.” <i>Information Systems and E-Business
    Management</i>, no. 3, 2014, pp. 337--365, doi:<a href="https://doi.org/10.1007/s10257-013-0219-y">10.1007/s10257-013-0219-y</a>.
  short: J. Becker, D. Beverungen, R. Knackstedt, H. Peter Rauer, D. Sigge, Information
    Systems and E-Business Management (2014) 337--365.
date_created: 2018-07-06T10:40:38Z
date_updated: 2022-01-06T06:59:19Z
department:
- _id: '526'
doi: 10.1007/s10257-013-0219-y
extern: '1'
issue: '3'
page: 337--365
publication: Information Systems and e-Business Management
status: public
title: On the Ontological Expressiveness of Conceptual Modeling Grammars for Service
  Productivity Management
type: journal_article
user_id: '21671'
year: '2014'
...