[{"user_id":"477","date_created":"2017-10-17T12:41:56Z","author":[{"first_name":"Sen","last_name":"Wu","full_name":"Wu, Sen"}],"_id":"331","date_updated":"2022-01-06T06:59:10Z","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","title":"Webcam application using virtual FPGA","type":"bachelorsthesis","status":"public","citation":{"ama":"Wu S. <i>Webcam Application Using Virtual FPGA</i>. Universität Paderborn; 2014.","chicago":"Wu, Sen. <i>Webcam Application Using Virtual FPGA</i>. Universität Paderborn, 2014.","ieee":"S. Wu, <i>Webcam application using virtual FPGA</i>. Universität Paderborn, 2014.","apa":"Wu, S. (2014). <i>Webcam application using virtual FPGA</i>. Universität Paderborn.","short":"S. Wu, Webcam Application Using Virtual FPGA, Universität Paderborn, 2014.","mla":"Wu, Sen. <i>Webcam Application Using Virtual FPGA</i>. Universität Paderborn, 2014.","bibtex":"@book{Wu_2014, title={Webcam application using virtual FPGA}, publisher={Universität Paderborn}, author={Wu, Sen}, year={2014} }"},"year":"2014"},{"date_created":"2017-10-17T12:41:56Z","user_id":"477","author":[{"first_name":"Maximilian","last_name":"Lange","full_name":"Lange, Maximilian"}],"date_updated":"2022-01-06T06:59:10Z","project":[{"name":"SFB 901","_id":"1"},{"_id":"8","name":"SFB 901 - Subprojekt A4"},{"name":"SFB 901 - Project Area A","_id":"2"}],"publisher":"Universität Paderborn","_id":"332","language":[{"iso":"ger"}],"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","citation":{"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.","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.","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.","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.","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} }"},"status":"public","year":"2014"},{"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"_id":"3","name":"SFB 901 - Project Area B"}],"_id":"333","user_id":"477","type":"bachelorsthesis","status":"public","date_updated":"2022-01-06T06:59:10Z","publisher":"Universität Paderborn","date_created":"2017-10-17T12:41:56Z","author":[{"last_name":"Osterbrink","full_name":"Osterbrink, Sebastian","first_name":"Sebastian"}],"title":"Visualisierung von SMT-Solver-Ausgaben","year":"2014","citation":{"mla":"Osterbrink, Sebastian. <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität Paderborn, 2014.","bibtex":"@book{Osterbrink_2014, title={Visualisierung von SMT-Solver-Ausgaben}, publisher={Universität Paderborn}, author={Osterbrink, Sebastian}, year={2014} }","short":"S. Osterbrink, Visualisierung von SMT-Solver-Ausgaben, Universität Paderborn, 2014.","apa":"Osterbrink, S. (2014). <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität Paderborn.","ieee":"S. Osterbrink, <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität Paderborn, 2014.","chicago":"Osterbrink, Sebastian. <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität Paderborn, 2014.","ama":"Osterbrink S. <i>Visualisierung von SMT-Solver-Ausgaben</i>. Universität Paderborn; 2014."}},{"year":"2014","citation":{"apa":"Wagener, P. (2014). <i>Vertical Thread Migration in FPGA based Sound Localization</i>. Universität Paderborn.","short":"P. Wagener, Vertical Thread Migration in FPGA Based Sound Localization, Universität Paderborn, 2014.","mla":"Wagener, Peter. <i>Vertical Thread Migration in FPGA Based Sound Localization</i>. Universität Paderborn, 2014.","bibtex":"@book{Wagener_2014, title={Vertical Thread Migration in FPGA based Sound Localization}, publisher={Universität Paderborn}, author={Wagener, Peter}, year={2014} }","ieee":"P. Wagener, <i>Vertical Thread Migration in FPGA based Sound Localization</i>. Universität Paderborn, 2014.","chicago":"Wagener, Peter. <i>Vertical Thread Migration in FPGA Based Sound Localization</i>. Universität Paderborn, 2014.","ama":"Wagener P. <i>Vertical Thread Migration in FPGA Based Sound Localization</i>. Universität Paderborn; 2014."},"title":"Vertical Thread Migration in FPGA based Sound Localization","date_updated":"2022-01-06T06:59:10Z","publisher":"Universität Paderborn","date_created":"2017-10-17T12:41:57Z","author":[{"full_name":"Wagener, Peter","last_name":"Wagener","first_name":"Peter"}],"status":"public","type":"bachelorsthesis","_id":"334","project":[{"_id":"1","name":"SFB 901"},{"_id":"14","name":"SFB 901 - Subprojekt C2"},{"_id":"4","name":"SFB 901 - Project Area C"}],"user_id":"477"},{"file_date_updated":"2018-03-20T07:29:29Z","user_id":"477","series_title":"LNCS","department":[{"_id":"77"}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"_id":"3","name":"SFB 901 - Project Area B"}],"_id":"336","status":"public","editor":[{"first_name":"Ivan","full_name":"Lanese, Ivan","last_name":"Lanese"},{"first_name":"Eric","last_name":"Madelaine","full_name":"Madelaine, Eric"}],"type":"conference","doi":"10.1007/978-3-319-15317-9_3","author":[{"last_name":"Walther","full_name":"Walther, Sven","first_name":"Sven"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"date_updated":"2022-01-06T06:59:13Z","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>","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.","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>.","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>","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>.","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} }","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."},"page":"31-48","has_accepted_license":"1","language":[{"iso":"eng"}],"ddc":["040"],"file":[{"date_updated":"2018-03-20T07:29:29Z","date_created":"2018-03-20T07:29:29Z","creator":"florida","file_size":484422,"file_name":"336-facs2014_walther.pdf","access_level":"closed","file_id":"1423","content_type":"application/pdf","success":1,"relation":"main_file"}],"abstract":[{"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.","lang":"eng"}],"publication":"Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS)","title":"Verified Service Compositions by Template-Based Construction","date_created":"2017-10-17T12:41:57Z","year":"2014"},{"user_id":"477","project":[{"name":"SFB 901","_id":"1"},{"_id":"7","name":"SFB 901 - Subprojekt A3"},{"_id":"2","name":"SFB 901 - Project Area A"}],"_id":"337","language":[{"iso":"ger"}],"type":"bachelorsthesis","status":"public","author":[{"last_name":"Berkemeier","full_name":"Berkemeier, Christopher","first_name":"Christopher"}],"date_created":"2017-10-17T12:41:57Z","date_updated":"2022-01-06T06:59:13Z","publisher":"Universität Paderborn","title":"Verhandlungen vs Auktionen im Beschäftigungsmanagement","citation":{"ieee":"C. Berkemeier, <i>Verhandlungen vs Auktionen im Beschäftigungsmanagement</i>. Universität Paderborn, 2014.","chicago":"Berkemeier, Christopher. <i>Verhandlungen vs Auktionen im Beschäftigungsmanagement</i>. Universität Paderborn, 2014.","ama":"Berkemeier C. <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.","mla":"Berkemeier, Christopher. <i>Verhandlungen vs Auktionen im Beschäftigungsmanagement</i>. Universität Paderborn, 2014.","bibtex":"@book{Berkemeier_2014, title={Verhandlungen vs Auktionen im Beschäftigungsmanagement}, publisher={Universität Paderborn}, author={Berkemeier, Christopher}, year={2014} }","apa":"Berkemeier, C. (2014). <i>Verhandlungen vs Auktionen im Beschäftigungsmanagement</i>. Universität Paderborn."},"year":"2014"},{"language":[{"iso":"ger"}],"title":"Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet Winner Verfahrens","date_created":"2017-10-17T12:41:57Z","author":[{"full_name":"Beck, Henri","last_name":"Beck","first_name":"Henri"}],"user_id":"477","date_updated":"2022-01-06T06:59:13Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt A3","_id":"7"},{"name":"SFB 901 - Project Area A","_id":"2"}],"publisher":"Universität Paderborn","_id":"338","citation":{"ama":"Beck H. <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.","chicago":"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.","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} }","mla":"Beck, Henri. <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."},"status":"public","year":"2014","type":"bachelorsthesis"},{"publisher":"Erich Schmidt Verlag","date_created":"2018-06-28T06:56:41Z","title":"Finanzierung - Grundlagen, Institutionen, Instrumente und Kapitalmarkttheorie","edition":"8","year":"2014","keyword":["Management","Wirtschaft"],"language":[{"iso":"ger"}],"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"}],"date_updated":"2022-01-06T06:59:13Z","volume":8,"author":[{"last_name":"Gräfer","full_name":"Gräfer, Horst","first_name":"Horst"},{"first_name":"Bettina","last_name":"Schiller","full_name":"Schiller, Bettina","id":"457"},{"full_name":"Rösner, Sabrina","last_name":"Rösner","first_name":"Sabrina"}],"publication_identifier":{"isbn":["978-3-503-15666-5"]},"publication_status":"published","place":"Berlin","page":"405","intvolume":"         8","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.","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.","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.","short":"H. Gräfer, B. Schiller, S. Rösner, Finanzierung - Grundlagen, Institutionen, Instrumente und Kapitalmarkttheorie, 8th ed., Erich Schmidt Verlag, Berlin, 2014.","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} }","mla":"Gräfer, Horst, et al. <i>Finanzierung - Grundlagen, Institutionen, Instrumente und Kapitalmarkttheorie</i>. 8th ed., vol. 8, Erich Schmidt Verlag, 2014."},"_id":"3389","department":[{"_id":"191"}],"user_id":"21810","type":"book","status":"public"},{"date_updated":"2022-01-06T06:59:14Z","author":[{"full_name":"Wette, Philip","last_name":"Wette","first_name":"Philip"},{"id":"126","full_name":"Karl, Holger","last_name":"Karl","first_name":"Holger"}],"date_created":"2017-10-17T12:41:58Z","title":"Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms","doi":"10.1109/ICC.2014.6883825","has_accepted_license":"1","year":"2014","citation":{"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.","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>","short":"P. Wette, H. Karl, in: Proceedings of the IEEE International Conference on Communications 2014, 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>.","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} }","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>"},"page":"3270-3276","project":[{"name":"SFB 901","_id":"1"},{"_id":"6","name":"SFB 901 - Subproject A2"},{"_id":"2","name":"SFB 901 - Project Area A"}],"_id":"339","user_id":"15504","department":[{"_id":"75"}],"ddc":["040"],"file_date_updated":"2018-03-20T07:29:00Z","type":"conference","publication":"Proceedings of the IEEE International Conference on Communications 2014","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."}],"file":[{"date_updated":"2018-03-20T07:29:00Z","creator":"florida","date_created":"2018-03-20T07:29:00Z","file_size":138062,"access_level":"closed","file_id":"1422","file_name":"339-IEEE-WK-14.pdf","content_type":"application/pdf","success":1,"relation":"main_file"}],"status":"public"},{"year":"2014","citation":{"short":"P. Korth, Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs,” Universität Paderborn, 2014.","bibtex":"@book{Korth_2014, title={Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs”}, publisher={Universität Paderborn}, author={Korth, Philipp}, year={2014} }","mla":"Korth, Philipp. <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.","ieee":"P. Korth, <i>Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.”</i> Universität Paderborn, 2014.","chicago":"Korth, Philipp. <i>Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.”</i> Universität Paderborn, 2014.","ama":"Korth P. <i>Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.”</i> Universität Paderborn; 2014."},"title":"Untersuchung transitiver Eigenschaften der Technik \"Programs from Proofs\"","date_updated":"2022-01-06T06:59:14Z","publisher":"Universität Paderborn","supervisor":[{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"author":[{"full_name":"Korth, Philipp","last_name":"Korth","first_name":"Philipp"}],"date_created":"2017-10-17T12:41:58Z","status":"public","type":"bachelorsthesis","language":[{"iso":"ger"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"_id":"3","name":"SFB 901 - Project Area B"}],"_id":"340","user_id":"15504","department":[{"_id":"77"}]},{"title":"Two-Sided Market and Game Console Vendors","author":[{"last_name":"Fang Cheng","full_name":"Fang Cheng, Terry","first_name":"Terry"}],"date_created":"2017-10-17T12:41:58Z","user_id":"477","_id":"341","publisher":"Universität Paderborn","date_updated":"2022-01-06T06:59:14Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt A3","_id":"7"},{"name":"SFB 901 - Project Area A","_id":"2"}],"status":"public","citation":{"bibtex":"@book{Fang Cheng_2014, title={Two-Sided Market and Game Console Vendors}, publisher={Universität Paderborn}, author={Fang Cheng, Terry}, year={2014} }","short":"T. Fang Cheng, Two-Sided Market and Game Console Vendors, Universität Paderborn, 2014.","mla":"Fang Cheng, Terry. <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.","ieee":"T. Fang Cheng, <i>Two-Sided Market and Game Console Vendors</i>. Universität Paderborn, 2014.","chicago":"Fang Cheng, Terry. <i>Two-Sided Market and Game Console Vendors</i>. Universität Paderborn, 2014.","ama":"Fang Cheng T. <i>Two-Sided Market and Game Console Vendors</i>. Universität Paderborn; 2014."},"year":"2014","type":"bachelorsthesis"},{"citation":{"ieee":"C. Klauke, <i>Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen</i>. Universität Paderborn, 2014.","chicago":"Klauke, Christoph. <i>Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen</i>. Universität Paderborn, 2014.","ama":"Klauke C. <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.","bibtex":"@book{Klauke_2014, title={Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen}, publisher={Universität Paderborn}, author={Klauke, Christoph}, year={2014} }","apa":"Klauke, C. (2014). <i>Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen</i>. Universität Paderborn."},"year":"2014","date_created":"2017-10-17T12:41:58Z","author":[{"first_name":"Christoph","last_name":"Klauke","full_name":"Klauke, Christoph"}],"date_updated":"2022-01-06T06:59:15Z","publisher":"Universität Paderborn","title":"Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen","type":"bachelorsthesis","status":"public","user_id":"477","_id":"342","project":[{"name":"SFB 901","_id":"1"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"_id":"3","name":"SFB 901 - Project Area B"}]},{"year":"2014","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.","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.","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.","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.","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} }","short":"J. Künsemöller, Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market, Universität Paderborn, 2014."},"has_accepted_license":"1","title":"Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market","publisher":"Universität Paderborn","date_updated":"2022-01-06T06:59:16Z","supervisor":[{"first_name":"Holger","id":"126","full_name":"Karl, Holger","last_name":"Karl"}],"date_created":"2017-10-17T12:41:58Z","author":[{"first_name":"Jörn","full_name":"Künsemöller, Jörn","last_name":"Künsemöller"}],"file":[{"content_type":"application/pdf","success":1,"relation":"main_file","date_updated":"2018-03-20T07:28:26Z","creator":"florida","date_created":"2018-03-20T07:28:26Z","file_size":1378657,"file_name":"343-2014_Diss_Kuensemoeller.pdf","file_id":"1421","access_level":"closed"}],"status":"public","type":"dissertation","ddc":["040"],"file_date_updated":"2018-03-20T07:28:26Z","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"}],"_id":"343","user_id":"477","department":[{"_id":"75"}]},{"publication":"Proceedings of the Multikonferenz Wirtschaftsinformatik 2014 (MKWI 2014)","type":"conference","status":"public","_id":"3439","department":[{"_id":"526"}],"user_id":"21671","year":"2014","place":"Paderborn","page":"2047--2066","citation":{"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.","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.","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} }","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.","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.","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.","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."},"date_updated":"2022-01-06T06:59:16Z","date_created":"2018-07-05T13:00:25Z","author":[{"last_name":"Klör","full_name":"Klör, Benjamin","first_name":"Benjamin"},{"full_name":"Bräuer, Sebastian","last_name":"Bräuer","first_name":"Sebastian"},{"last_name":"Beverungen","full_name":"Beverungen, Daniel","id":"59677","first_name":"Daniel"},{"full_name":"Matzner, Martin","last_name":"Matzner","first_name":"Martin"}],"title":"IT-basierte Dienstleistungen für die Elektromobilität --- Konzeptioneller Rahmen und Literaturanalyse","conference":{"location":"Paderborn","name":"Multikonferenz Wirtschaftsinformatik 2014"}},{"date_updated":"2022-01-06T06:59:17Z","date_created":"2017-10-17T12:41:59Z","author":[{"last_name":"Becker","full_name":"Becker, Matthias","first_name":"Matthias"},{"full_name":"Becker, Steffen","last_name":"Becker","first_name":"Steffen"},{"last_name":"Besova","full_name":"Besova, Galina","first_name":"Galina"},{"last_name":"Walther","full_name":"Walther, Sven","first_name":"Sven"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"title":"Towards Systematic Configuration for Architecture Validation","has_accepted_license":"1","year":"2014","citation":{"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} }","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.","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.","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.","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."},"_id":"344","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"_id":"3","name":"SFB 901 - Project Area B"}],"department":[{"_id":"77"}],"user_id":"477","ddc":["040"],"file_date_updated":"2018-03-20T07:27:54Z","language":[{"iso":"eng"}],"publication":"Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session)","type":"conference","status":"public","file":[{"file_size":80674,"file_name":"344-paper_CAMERA_READY.pdf","access_level":"closed","file_id":"1420","date_updated":"2018-03-20T07:27:54Z","date_created":"2018-03-20T07:27:54Z","creator":"florida","success":1,"relation":"main_file","content_type":"application/pdf"}]},{"file":[{"access_level":"closed","file_name":"345-cloudcom2014-Jungmann.pdf","file_id":"1419","file_size":508878,"creator":"florida","date_created":"2018-03-20T07:27:24Z","date_updated":"2018-03-20T07:27:24Z","relation":"main_file","success":1,"content_type":"application/pdf"}],"status":"public","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."}],"type":"conference","publication":"Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom)","file_date_updated":"2018-03-20T07:27:24Z","ddc":["040"],"user_id":"15504","project":[{"name":"SFB 901","_id":"1"},{"_id":"10","name":"SFB 901 - Subprojekt B2"},{"name":"SFB 901 - Project Area B","_id":"3"}],"_id":"345","citation":{"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.","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>.","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>","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>.","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} }","short":"A. Jungmann, B. Kleinjohann, in: Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom), 2014, pp. 755–758.","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>"},"page":"755-758","year":"2014","has_accepted_license":"1","doi":"10.1109/CloudCom.2014.154","title":"Towards Context-Sensitive Service Composition for Service-Oriented Image Processing","author":[{"first_name":"Alexander","full_name":"Jungmann, Alexander","last_name":"Jungmann"},{"last_name":"Kleinjohann","full_name":"Kleinjohann, Bernd","first_name":"Bernd"}],"date_created":"2017-10-17T12:41:59Z","date_updated":"2022-01-06T06:59:17Z"},{"has_accepted_license":"1","citation":{"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.","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.","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} }","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).","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.","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.","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."},"page":"49-57","year":"2014","date_created":"2017-10-17T12:41:59Z","author":[{"first_name":"Sonja","last_name":"Brangewitz","full_name":"Brangewitz, Sonja"},{"last_name":"Jungmann","full_name":"Jungmann, Alexander","first_name":"Alexander"},{"full_name":"Petrlic, Ronald","last_name":"Petrlic","first_name":"Ronald"},{"full_name":"Platenius, Marie Christin","last_name":"Platenius","first_name":"Marie Christin"}],"date_updated":"2022-01-06T06:59:18Z","title":"Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services","type":"conference","publication":"Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION)","file":[{"relation":"main_file","success":1,"content_type":"application/pdf","file_id":"1418","file_name":"346-service_computation_2014_3_10_10005.pdf","access_level":"closed","file_size":334101,"date_created":"2018-03-20T07:26:49Z","creator":"florida","date_updated":"2018-03-20T07:26:49Z"}],"status":"public","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."}],"user_id":"477","department":[{"_id":"205"},{"_id":"76"}],"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt C1","_id":"13"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"_id":"7","name":"SFB 901 - Subprojekt A3"},{"name":"SFB 901 - Subproject B2","_id":"10"},{"name":"SFB 901 - Project Area A","_id":"2"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"4","name":"SFB 901 - Project Area C"}],"_id":"346","file_date_updated":"2018-03-20T07:26:49Z","language":[{"iso":"eng"}],"ddc":["040"]},{"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>","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.","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>.","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>","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.","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} }","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>."},"page":"283-290","has_accepted_license":"1","doi":"10.1007/978-3-319-05960-0_30","date_updated":"2022-01-06T06:59:18Z","author":[{"last_name":"Meisner","full_name":"Meisner, Sebastian","first_name":"Sebastian"},{"id":"398","full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"}],"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","last_name":"Bertels","full_name":"Bertels, Koen"}],"status":"public","type":"conference","file_date_updated":"2018-03-20T07:26:16Z","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt C2","_id":"14"},{"_id":"4","name":"SFB 901 - Project Area C"}],"_id":"347","user_id":"398","series_title":"Lecture Notes in Computer Science","department":[{"_id":"78"}],"year":"2014","title":"Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-cores for Error Detection","publisher":"Springer","date_created":"2017-10-17T12:41:59Z","abstract":[{"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.","lang":"eng"}],"file":[{"success":1,"relation":"main_file","content_type":"application/pdf","file_size":1168877,"file_id":"1417","file_name":"347-meisner13_xx_SFB1__1_.pdf","access_level":"closed","date_updated":"2018-03-20T07:26:16Z","creator":"florida","date_created":"2018-03-20T07:26:16Z"}],"publication":"Proceedings of the 10th International Symposium on Applied Reconfigurable Computing (ARC)","ddc":["040"],"language":[{"iso":"eng"}]},{"project":[{"name":"SFB 901","_id":"1"},{"_id":"14","name":"SFB 901 - Subprojekt C2"},{"_id":"4","name":"SFB 901 - Project Area C"}],"_id":"348","user_id":"477","status":"public","type":"bachelorsthesis","title":"The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores","date_updated":"2022-01-06T06:59:18Z","publisher":"Universität Paderborn","author":[{"first_name":"Christoph","last_name":"Rüthing","full_name":"Rüthing, Christoph"}],"date_created":"2017-10-17T12:41:59Z","year":"2014","citation":{"apa":"Rüthing, C. (2014). <i>The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores</i>. Universität Paderborn.","short":"C. Rüthing, The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores, Universität Paderborn, 2014.","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} }","mla":"Rüthing, Christoph. <i>The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores</i>. Universität Paderborn, 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.","ama":"Rüthing C. <i>The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores</i>. Universität Paderborn; 2014."}},{"abstract":[{"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.","lang":"eng"}],"file":[{"relation":"main_file","success":1,"content_type":"application/pdf","access_level":"closed","file_name":"349-CompLawSorge14.pdf","file_id":"1568","file_size":232052,"creator":"florida","date_created":"2018-03-21T13:08:36Z","date_updated":"2018-03-21T13:08:36Z"}],"status":"public","type":"report","ddc":["040"],"file_date_updated":"2018-03-21T13:08:36Z","project":[{"_id":"1","name":"SFB 901"},{"_id":"13","name":"SFB 901 - Subproject C1"},{"name":"SFB 901 - Project Area C","_id":"4"}],"_id":"349","user_id":"15504","year":"2014","citation":{"ama":"Sorge C. <i>The Legal Classification of Identity-Based Signatures</i>.; 2014.","ieee":"C. Sorge, <i>The Legal Classification of Identity-Based Signatures</i>. 2014.","chicago":"Sorge, Christoph. <i>The Legal Classification of Identity-Based Signatures</i>, 2014.","short":"C. Sorge, The Legal Classification of Identity-Based Signatures, 2014.","bibtex":"@book{Sorge_2014, title={The Legal Classification of Identity-Based Signatures}, author={Sorge, Christoph}, year={2014} }","mla":"Sorge, Christoph. <i>The Legal Classification of Identity-Based Signatures</i>. 2014.","apa":"Sorge, C. (2014). <i>The Legal Classification of Identity-Based Signatures</i>."},"has_accepted_license":"1","related_material":{"link":[{"url":"https://eprint.iacr.org/2013/271","relation":"confirmation"}]},"title":"The Legal Classification of Identity-Based Signatures","date_updated":"2022-01-06T06:59:19Z","author":[{"full_name":"Sorge, Christoph","last_name":"Sorge","first_name":"Christoph"}],"date_created":"2017-10-17T12:42:00Z"}]