--- _id: '34576' author: - first_name: H. J. full_name: Eikerling, H. J. last_name: Eikerling - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller - first_name: J. full_name: Wegener, J. last_name: Wegener citation: ama: Eikerling HJ, Müller W, Wegener J. Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken. it+ti. Published online 2002:128-136. apa: Eikerling, H. J., Müller, W., & Wegener, J. (2002). Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken. It+ti, 128–136. bibtex: '@article{Eikerling_Müller_Wegener_2002, title={Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken}, journal={it+ti}, publisher={Oldenbourg Verlag}, author={Eikerling, H. J. and Müller, Wolfgang and Wegener, J.}, year={2002}, pages={128–136} }' chicago: Eikerling, H. J., Wolfgang Müller, and J. Wegener. “Werkzeugintegration Und -Verwaltung in Heterogenen Computernetzwerken.” It+ti, 2002, 128–36. ieee: H. J. Eikerling, W. Müller, and J. Wegener, “Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken,” it+ti, pp. 128–136, 2002. mla: Eikerling, H. J., et al. “Werkzeugintegration Und -Verwaltung in Heterogenen Computernetzwerken.” It+ti, Oldenbourg Verlag, 2002, pp. 128–36. short: H.J. Eikerling, W. Müller, J. Wegener, It+ti (2002) 128–136. date_created: 2022-12-20T09:41:02Z date_updated: 2022-12-20T09:41:28Z department: - _id: '672' language: - iso: eng page: 128-136 publication: it+ti publisher: Oldenbourg Verlag status: public title: Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken type: journal_article user_id: '5786' year: '2002' ... --- _id: '3041' author: - first_name: Johannes full_name: Blömer, Johannes id: '23' last_name: Blömer citation: ama: 'Blömer J. Computing sums of radicals in polynomial time. In: [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science. IEEE Comput. Soc. Press; 2002. doi:10.1109/sfcs.1991.185434' apa: Blömer, J. (2002). Computing sums of radicals in polynomial time. [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science. https://doi.org/10.1109/sfcs.1991.185434 bibtex: '@inproceedings{Blömer_2002, title={Computing sums of radicals in polynomial time}, DOI={10.1109/sfcs.1991.185434}, booktitle={[1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science}, publisher={IEEE Comput. Soc. Press}, author={Blömer, Johannes}, year={2002} }' chicago: Blömer, Johannes. “Computing Sums of Radicals in Polynomial Time.” In [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science. IEEE Comput. Soc. Press, 2002. https://doi.org/10.1109/sfcs.1991.185434. ieee: 'J. Blömer, “Computing sums of radicals in polynomial time,” 2002, doi: 10.1109/sfcs.1991.185434.' mla: Blömer, Johannes. “Computing Sums of Radicals in Polynomial Time.” [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science, IEEE Comput. Soc. Press, 2002, doi:10.1109/sfcs.1991.185434. short: 'J. Blömer, in: [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science, IEEE Comput. Soc. Press, 2002.' date_created: 2018-06-05T08:44:18Z date_updated: 2023-01-10T13:49:25Z ddc: - '000' department: - _id: '64' doi: 10.1109/sfcs.1991.185434 extern: '1' file: - access_level: closed content_type: application/pdf creator: feidens date_created: 2018-06-05T08:45:15Z date_updated: 2018-06-05T08:45:15Z file_id: '3042' file_name: ComputingSumsOfRadicals_01.pdf file_size: 335754 relation: main_file success: 1 file_date_updated: 2018-06-05T08:45:15Z has_accepted_license: '1' publication: '[1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science' publication_identifier: isbn: - '0818624450' publication_status: published publisher: IEEE Comput. Soc. Press status: public title: Computing sums of radicals in polynomial time type: conference user_id: '25078' year: '2002' ... --- _id: '35857' author: - first_name: J. full_name: Blömer, J. last_name: Blömer citation: ama: Blömer J. Denesting by Bounded Degree Radicals. Algorithmica. 2002;28(1):2-15. doi:10.1007/s004530010028 apa: Blömer, J. (2002). Denesting by Bounded Degree Radicals. Algorithmica, 28(1), 2–15. https://doi.org/10.1007/s004530010028 bibtex: '@article{Blömer_2002, title={Denesting by Bounded Degree Radicals}, volume={28}, DOI={10.1007/s004530010028}, number={1}, journal={Algorithmica}, publisher={Springer Science and Business Media LLC}, author={Blömer, J.}, year={2002}, pages={2–15} }' chicago: 'Blömer, J. “Denesting by Bounded Degree Radicals.” Algorithmica 28, no. 1 (2002): 2–15. https://doi.org/10.1007/s004530010028.' ieee: 'J. Blömer, “Denesting by Bounded Degree Radicals,” Algorithmica, vol. 28, no. 1, pp. 2–15, 2002, doi: 10.1007/s004530010028.' mla: Blömer, J. “Denesting by Bounded Degree Radicals.” Algorithmica, vol. 28, no. 1, Springer Science and Business Media LLC, 2002, pp. 2–15, doi:10.1007/s004530010028. short: J. Blömer, Algorithmica 28 (2002) 2–15. date_created: 2023-01-10T13:44:28Z date_updated: 2023-01-10T13:48:53Z department: - _id: '64' doi: 10.1007/s004530010028 intvolume: ' 28' issue: '1' keyword: - Applied Mathematics - Computer Science Applications - General Computer Science language: - iso: eng page: 2-15 publication: Algorithmica publication_identifier: issn: - 0178-4617 - 1432-0541 publication_status: published publisher: Springer Science and Business Media LLC status: public title: Denesting by Bounded Degree Radicals type: journal_article user_id: '23' volume: 28 year: '2002' ... --- _id: '47698' author: - first_name: Birgitta full_name: Fricke, Birgitta last_name: Fricke citation: ama: Fricke B. Construction of Pseudorandom Functions.; 2002. apa: Fricke, B. (2002). Construction of Pseudorandom Functions. bibtex: '@book{Fricke_2002, title={Construction of Pseudorandom Functions}, author={Fricke, Birgitta}, year={2002} }' chicago: Fricke, Birgitta. Construction of Pseudorandom Functions, 2002. ieee: B. Fricke, Construction of Pseudorandom Functions. 2002. mla: Fricke, Birgitta. Construction of Pseudorandom Functions. 2002. short: B. Fricke, Construction of Pseudorandom Functions, 2002. date_created: 2023-10-05T16:39:34Z date_updated: 2023-10-05T16:54:44Z ddc: - '000' department: - _id: '34' - _id: '64' file: - access_level: open_access content_type: application/postscript creator: bhenrik date_created: 2023-10-05T16:39:26Z date_updated: 2023-10-05T16:54:44Z file_id: '47726' file_name: 2002_Fricke_Pseudorandom.ps file_size: 3696785 relation: main_file file_date_updated: 2023-10-05T16:54:44Z has_accepted_license: '1' keyword: - Diplomarbeit language: - iso: eng oa: '1' status: public title: Construction of Pseudorandom Functions type: misc user_id: '41047' year: '2002' ... --- _id: '47697' author: - first_name: Deniz full_name: Deveci, Deniz last_name: Deveci citation: ama: Deveci D. Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems.; 2002. apa: Deveci, D. (2002). Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems. bibtex: '@book{Deveci_2002, title={Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems}, author={Deveci, Deniz}, year={2002} }' chicago: Deveci, Deniz. Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems, 2002. ieee: D. Deveci, Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems. 2002. mla: Deveci, Deniz. Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems. 2002. short: D. Deveci, Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems, 2002. date_created: 2023-10-05T16:38:45Z date_updated: 2023-10-05T16:42:39Z department: - _id: '34' - _id: '64' keyword: - Diplomarbeit language: - iso: ger status: public title: Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems type: misc user_id: '41047' year: '2002' ... --- _id: '47699' author: - first_name: Anke full_name: Helbich, Anke last_name: Helbich citation: ama: Helbich A. The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography.; 2002. apa: Helbich, A. (2002). The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography. bibtex: '@book{Helbich_2002, title={The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography}, author={Helbich, Anke}, year={2002} }' chicago: Helbich, Anke. The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography, 2002. ieee: A. Helbich, The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography. 2002. mla: Helbich, Anke. The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography. 2002. short: A. Helbich, The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography, 2002. date_created: 2023-10-05T16:40:05Z date_updated: 2023-10-05T16:42:35Z department: - _id: '34' - _id: '64' keyword: - Diplomarbeit language: - iso: eng status: public title: The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography type: misc user_id: '41047' year: '2002' ... --- _id: '47700' author: - first_name: Daniel full_name: Schepers, Daniel last_name: Schepers citation: ama: Schepers D. Timing Attacks for Cryptosystems Based on Elliptic Curves.; 2002. apa: Schepers, D. (2002). Timing Attacks for Cryptosystems based on Elliptic Curves. bibtex: '@book{Schepers_2002, title={Timing Attacks for Cryptosystems based on Elliptic Curves}, author={Schepers, Daniel}, year={2002} }' chicago: Schepers, Daniel. Timing Attacks for Cryptosystems Based on Elliptic Curves, 2002. ieee: D. Schepers, Timing Attacks for Cryptosystems based on Elliptic Curves. 2002. mla: Schepers, Daniel. Timing Attacks for Cryptosystems Based on Elliptic Curves. 2002. short: D. Schepers, Timing Attacks for Cryptosystems Based on Elliptic Curves, 2002. date_created: 2023-10-05T16:41:01Z date_updated: 2023-10-05T16:42:34Z department: - _id: '34' - _id: '64' keyword: - Diplomarbeit language: - iso: eng status: public title: Timing Attacks for Cryptosystems based on Elliptic Curves type: misc user_id: '41047' year: '2002' ... --- _id: '47633' author: - first_name: Ulrich full_name: Hoppe, Ulrich last_name: Hoppe citation: ama: Hoppe U. Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen Paritätssymbolen.; 2002. apa: Hoppe, U. (2002). Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen Paritätssymbolen. bibtex: '@book{Hoppe_2002, title={Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen Paritätssymbolen}, author={Hoppe, Ulrich}, year={2002} }' chicago: Hoppe, Ulrich. Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen Paritätssymbolen, 2002. ieee: U. Hoppe, Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen Paritätssymbolen. 2002. mla: Hoppe, Ulrich. Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen Paritätssymbolen. 2002. short: U. Hoppe, Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen Paritätssymbolen, 2002. date_created: 2023-10-05T13:29:41Z date_updated: 2023-10-05T22:03:17Z ddc: - '000' department: - _id: '34' - _id: '64' file: - access_level: open_access content_type: application/postscript creator: bhenrik date_created: 2023-10-05T22:02:59Z date_updated: 2023-10-05T22:02:59Z file_id: '47786' file_name: 2002_Hoppe_MDS-Codes.ps file_size: 361052 relation: main_file file_date_updated: 2023-10-05T22:02:59Z has_accepted_license: '1' language: - iso: ger oa: '1' status: public title: Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen Paritätssymbolen type: bachelorsthesis user_id: '41047' year: '2002' ... --- _id: '39371' abstract: - lang: eng text: With the increasing availability of various web-enabled mobile devices, content has to be effectively adapted to their different limitations. So, web content need rearrangement, i.e., a transcoding, to better fit on small displays when, for instance, layout specific HTML structures like tables and frames are used. In this article, we present a description language to define generic rules for this purpose and introduce RDL/TT (Rule Description Language for Tree Transformation). RDL/TT specifies sets of transcoding functions generic to user and hardware profiles. A Java-oriented syntax is used to describe the transcoding functions which operate on the DOM (Document Object Model) tree representation of an HTML or XML document. author: - first_name: Robbie full_name: Schäfer, Robbie last_name: Schäfer - first_name: Andreas full_name: Dangberg, Andreas last_name: Dangberg - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller citation: ama: 'Schäfer R, Dangberg A, Müller W. RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents. In: Proceedings of the VHE Workshop. ; 2002.' apa: Schäfer, R., Dangberg, A., & Müller, W. (2002). RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents. Proceedings of the VHE Workshop. bibtex: '@inproceedings{Schäfer_Dangberg_Müller_2002, place={Paderborn, Germany}, title={RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents}, booktitle={Proceedings of the VHE Workshop}, author={Schäfer, Robbie and Dangberg, Andreas and Müller, Wolfgang}, year={2002} }' chicago: Schäfer, Robbie, Andreas Dangberg, and Wolfgang Müller. “RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents.” In Proceedings of the VHE Workshop. Paderborn, Germany, 2002. ieee: R. Schäfer, A. Dangberg, and W. Müller, “RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents,” 2002. mla: Schäfer, Robbie, et al. “RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents.” Proceedings of the VHE Workshop, 2002. short: 'R. Schäfer, A. Dangberg, W. Müller, in: Proceedings of the VHE Workshop, Paderborn, Germany, 2002.' date_created: 2023-01-24T10:02:35Z date_updated: 2023-01-24T10:02:46Z department: - _id: '672' language: - iso: eng place: Paderborn, Germany publication: Proceedings of the VHE Workshop status: public title: RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents type: conference user_id: '5786' year: '2002' ... --- _id: '39370' abstract: - lang: eng text: Within this paper we propose architecture ideas of a distributed Video on Demand network which base on peer to peer technology. Each peer offers video streams to other peers and may receive a video stream from another peer simultaneously. This results in an optimization problem depending on different factors which we approximate with the help of an simulation environment. Our approach bases on a peer to peer framework by Sun called Project JXTA which provides a set of protocols for P2P applications. author: - first_name: Chris full_name: Loeser, Chris last_name: Loeser - first_name: Peter full_name: Altenbernd, Peter last_name: Altenbernd - first_name: Michael full_name: Ditze, Michael last_name: Ditze - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller citation: ama: 'Loeser C, Altenbernd P, Ditze M, Müller W. Distributed Video-on-Demand Services on Peer to Peer Basis. In: Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002). ; 2002.' apa: Loeser, C., Altenbernd, P., Ditze, M., & Müller, W. (2002). Distributed Video-on-Demand Services on Peer to Peer Basis. Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002). bibtex: '@inproceedings{Loeser_Altenbernd_Ditze_Müller_2002, title={Distributed Video-on-Demand Services on Peer to Peer Basis}, booktitle={Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002)}, author={Loeser, Chris and Altenbernd, Peter and Ditze, Michael and Müller, Wolfgang}, year={2002} }' chicago: Loeser, Chris, Peter Altenbernd, Michael Ditze, and Wolfgang Müller. “Distributed Video-on-Demand Services on Peer to Peer Basis.” In Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), 2002. ieee: C. Loeser, P. Altenbernd, M. Ditze, and W. Müller, “Distributed Video-on-Demand Services on Peer to Peer Basis,” 2002. mla: Loeser, Chris, et al. “Distributed Video-on-Demand Services on Peer to Peer Basis.” Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), 2002. short: 'C. Loeser, P. Altenbernd, M. Ditze, W. Müller, in: Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), 2002.' date_created: 2023-01-24T10:00:17Z date_updated: 2023-01-24T10:00:24Z department: - _id: '672' language: - iso: eng publication: Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002) status: public title: Distributed Video-on-Demand Services on Peer to Peer Basis type: conference user_id: '5786' year: '2002' ... --- _id: '39378' author: - first_name: Robbie full_name: Schäfer, Robbie last_name: Schäfer - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller - first_name: Andreas full_name: Dangberg, Andreas last_name: Dangberg citation: ama: 'Schäfer R, Müller W, Dangberg A. Fuzzy Rules for the Transcoding of HTML Files. In: Proceedings of the HICSS-35. ; 2002.' apa: Schäfer, R., Müller, W., & Dangberg, A. (2002). Fuzzy Rules for the Transcoding of HTML Files. Proceedings of the HICSS-35. bibtex: '@inproceedings{Schäfer_Müller_Dangberg_2002, place={Hawaii, USA}, title={Fuzzy Rules for the Transcoding of HTML Files}, booktitle={Proceedings of the HICSS-35}, author={Schäfer, Robbie and Müller, Wolfgang and Dangberg, Andreas}, year={2002} }' chicago: Schäfer, Robbie, Wolfgang Müller, and Andreas Dangberg. “Fuzzy Rules for the Transcoding of HTML Files.” In Proceedings of the HICSS-35. Hawaii, USA, 2002. ieee: R. Schäfer, W. Müller, and A. Dangberg, “Fuzzy Rules for the Transcoding of HTML Files,” 2002. mla: Schäfer, Robbie, et al. “Fuzzy Rules for the Transcoding of HTML Files.” Proceedings of the HICSS-35, 2002. short: 'R. Schäfer, W. Müller, A. Dangberg, in: Proceedings of the HICSS-35, Hawaii, USA, 2002.' date_created: 2023-01-24T10:07:18Z date_updated: 2023-01-24T10:07:22Z department: - _id: '672' language: - iso: eng place: Hawaii, USA publication: Proceedings of the HICSS-35 status: public title: Fuzzy Rules for the Transcoding of HTML Files type: conference user_id: '5786' year: '2002' ... --- _id: '39398' abstract: - lang: eng text: This article presents a UML profile for an OCL extension that enables modelers to specify behavioral, state-oriented real-time constraints in OCL. In order to perform a seamless integration into the upcoming UML2.0 standard, we take the latest OCL2.0 metamodel proposal by Warmer et al. [22] as a basis. A formal semantics of our temporal OCL extension is given by a mapping to time-annotated temporal logics formulae. To give an example of the applicability of our extension, we consider a modeling approach for manufacturing systems called MFERT. We present a corresponding UML profile for that approach and combine both profiles for formal verification by real-time model checking. author: - first_name: Stephan full_name: Flake, Stephan last_name: Flake - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller citation: ama: 'Flake S, Müller W. A UML Profile for Real-Time Constraints with the OCL. In: Proceedings of the UML 2002 - The Unified Modeling Language. Springer-Verlag; 2002.' apa: Flake, S., & Müller, W. (2002). A UML Profile for Real-Time Constraints with the OCL. Proceedings of the UML 2002 - The Unified Modeling Language. bibtex: '@inproceedings{Flake_Müller_2002, place={Dresden, Germany}, title={A UML Profile for Real-Time Constraints with the OCL}, booktitle={Proceedings of the UML 2002 - The Unified Modeling Language}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, year={2002} }' chicago: 'Flake, Stephan, and Wolfgang Müller. “A UML Profile for Real-Time Constraints with the OCL.” In Proceedings of the UML 2002 - The Unified Modeling Language. Dresden, Germany: Springer-Verlag, 2002.' ieee: S. Flake and W. Müller, “A UML Profile for Real-Time Constraints with the OCL,” 2002. mla: Flake, Stephan, and Wolfgang Müller. “A UML Profile for Real-Time Constraints with the OCL.” Proceedings of the UML 2002 - The Unified Modeling Language, Springer-Verlag, 2002. short: 'S. Flake, W. Müller, in: Proceedings of the UML 2002 - The Unified Modeling Language, Springer-Verlag, Dresden, Germany, 2002.' date_created: 2023-01-24T10:17:16Z date_updated: 2023-01-24T10:18:16Z department: - _id: '672' language: - iso: eng place: Dresden, Germany publication: Proceedings of the UML 2002 - The Unified Modeling Language publisher: Springer-Verlag status: public title: A UML Profile for Real-Time Constraints with the OCL type: conference user_id: '5786' year: '2002' ... --- _id: '39393' author: - first_name: Wilhelm full_name: Dangelmeier, Wilhelm last_name: Dangelmeier - first_name: C. full_name: Darnedde, C. last_name: Darnedde - first_name: Stephan full_name: Flake, Stephan last_name: Flake - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller - first_name: U. full_name: Pape, U. last_name: Pape citation: ama: Dangelmeier W, Darnedde C, Flake S, Müller W, Pape U. Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen. Published online 2002. apa: Dangelmeier, W., Darnedde, C., Flake, S., Müller, W., & Pape, U. (2002). Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen. bibtex: '@article{Dangelmeier_Darnedde_Flake_Müller_Pape_2002, place={Paderborn, Germany}, series={Tagungsband: 4. Paderborner Frühlingstagung}, title={Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen}, author={Dangelmeier, Wilhelm and Darnedde, C. and Flake, Stephan and Müller, Wolfgang and Pape, U.}, year={2002}, collection={Tagungsband: 4. Paderborner Frühlingstagung} }' chicago: 'Dangelmeier, Wilhelm, C. Darnedde, Stephan Flake, Wolfgang Müller, and U. Pape. “Graphische Spezifikation Und Echtzeitverifikation von Produktionsautomatisierungssystemen.” Tagungsband: 4. Paderborner Frühlingstagung. Paderborn, Germany, 2002.' ieee: W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, and U. Pape, “Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen.” Paderborn, Germany, 2002. mla: Dangelmeier, Wilhelm, et al. Graphische Spezifikation Und Echtzeitverifikation von Produktionsautomatisierungssystemen. 2002. short: W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, U. Pape, (2002). date_created: 2023-01-24T10:15:34Z date_updated: 2023-01-24T10:15:39Z department: - _id: '672' language: - iso: eng place: Paderborn, Germany series_title: 'Tagungsband: 4. Paderborner Frühlingstagung' status: public title: Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen type: conference user_id: '5786' year: '2002' ... --- _id: '39382' abstract: - lang: eng text: We present a rigorous but transparent semantics definition of the SpecC language that covers the execution of SpecC behaviors and their interaction with the kernel process. The semantics include wait, wait for, par, and try statements as they are introduced in SpecC. We present our definition in form of distributed abstract state machine (ASM) rules strictly following the lines of the SpecC Language Reference Manual. We mainly see our formal semantics in three application areas. First, it is a concise, unambiguous description for documentation and standardization. Second, it applies as a high-level, pseudo code-oriented specification for the implementation of a SpecC simulator. Finally, it is a first step for SpecC synthesis in order to identify similar concepts with other languages like VHDL and SystemC for the definition of common patterns and language subsets. author: - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller - first_name: Rainer full_name: Dömer, Rainer last_name: Dömer - first_name: Andreas full_name: Gerstlauer, Andreas last_name: Gerstlauer citation: ama: 'Müller W, Dömer R, Gerstlauer A. The Formal Execution Semantics of SpecC. In: Proceedings of the ISSS02. ; 2002. doi:10.1145/581199.581234 ' apa: Müller, W., Dömer, R., & Gerstlauer, A. (2002). The Formal Execution Semantics of SpecC. Proceedings of the ISSS02. https://doi.org/10.1145/581199.581234 bibtex: '@inproceedings{Müller_Dömer_Gerstlauer_2002, place={Nagoya, Japan}, title={The Formal Execution Semantics of SpecC}, DOI={10.1145/581199.581234 }, booktitle={Proceedings of the ISSS02}, author={Müller, Wolfgang and Dömer, Rainer and Gerstlauer, Andreas}, year={2002} }' chicago: Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution Semantics of SpecC.” In Proceedings of the ISSS02. Nagoya, Japan, 2002. https://doi.org/10.1145/581199.581234 . ieee: 'W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of SpecC,” 2002, doi: 10.1145/581199.581234 .' mla: Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.” Proceedings of the ISSS02, 2002, doi:10.1145/581199.581234 . short: 'W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya, Japan, 2002.' date_created: 2023-01-24T10:10:24Z date_updated: 2023-01-24T10:10:28Z department: - _id: '672' doi: '10.1145/581199.581234 ' keyword: - Standardization - Kernel - Permission - Formal verification - Logic functions - Documentation - Reasoning about programs - Specification languages - Formal specifications - Software systems language: - iso: eng place: Nagoya, Japan publication: Proceedings of the ISSS02 publication_identifier: isbn: - 1-58113-576-9 status: public title: The Formal Execution Semantics of SpecC type: conference user_id: '5786' year: '2002' ... --- _id: '39387' abstract: - lang: eng text: This paper compares the use of three different approaches to transcoding of XML [Extensible Markup Language]-based user interface descriptions to other target formats. The source is the interface section of the XML-based markup language for user interfaces, UIML [User Interface Markup Language], which has been extended with a vocabulary for the description of generic user interfaces. Target formats used as examples for the comparison are HTML [Hypertext Markup Language], and VoiceXML. The compared means for transcoding are XSLT [Extensible Stylesheet Language Transformation], the UIML peers section with enhancements for transcoding, and RDL/TT [Rule Description Language for Tree Transformation], a Java-like transcoding language. Rendered by www.RenderX.com Comparing Transcoding Tools for Use with a Generic User Interface Format. author: - first_name: Johan full_name: Plomp, Johan last_name: Plomp - first_name: Robbie full_name: Schäfer, Robbie last_name: Schäfer - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller citation: ama: 'Plomp J, Schäfer R, Müller W. Comparing Transcoding Tools for Use with a Generic User Interface Format. In: Proceedings of the Extreme Markup Languages 2002. ; 2002.' apa: Plomp, J., Schäfer, R., & Müller, W. (2002). Comparing Transcoding Tools for Use with a Generic User Interface Format. Proceedings of the Extreme Markup Languages 2002. bibtex: '@inproceedings{Plomp_Schäfer_Müller_2002, place={Montreal, Canada}, title={Comparing Transcoding Tools for Use with a Generic User Interface Format}, booktitle={Proceedings of the Extreme Markup Languages 2002}, author={Plomp, Johan and Schäfer, Robbie and Müller, Wolfgang}, year={2002} }' chicago: Plomp, Johan, Robbie Schäfer, and Wolfgang Müller. “Comparing Transcoding Tools for Use with a Generic User Interface Format.” In Proceedings of the Extreme Markup Languages 2002. Montreal, Canada, 2002. ieee: J. Plomp, R. Schäfer, and W. Müller, “Comparing Transcoding Tools for Use with a Generic User Interface Format,” 2002. mla: Plomp, Johan, et al. “Comparing Transcoding Tools for Use with a Generic User Interface Format.” Proceedings of the Extreme Markup Languages 2002, 2002. short: 'J. Plomp, R. Schäfer, W. Müller, in: Proceedings of the Extreme Markup Languages 2002, Montreal, Canada, 2002.' date_created: 2023-01-24T10:12:41Z date_updated: 2023-01-24T10:12:45Z department: - _id: '672' language: - iso: eng place: Montreal, Canada publication: Proceedings of the Extreme Markup Languages 2002 status: public title: Comparing Transcoding Tools for Use with a Generic User Interface Format type: conference user_id: '5786' year: '2002' ... --- _id: '39403' abstract: - lang: eng text: The Unified Modeling Language (UML) has received wide acceptance as a standard language in the field of software specification by means of different diagram types. In a recent version of UML, the textual Object Constraint Language (OCL) was introduced to support specification of constraints for UML models. But OCL currently does not provide sufficient means to specify constraints over the dynamic behavior of a model. This article presents an OCL extension that is consistent with current OCL and enables modelers to specify state-related time-bounded constraints. We consider the case study of a flexible manufacturing system and identify typical real-time constraints. The constraints are presented in our temporal OCL extension as well as in temporal logic formulae. For general application, we define a semantics of our OCL extension by means of a time-bounded temporal logic based on Computational Tree Logic (CTL). author: - first_name: Stephan full_name: Flake, Stephan last_name: Flake - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller citation: ama: 'Flake S, Müller W. Specification of Real-Time Properties for UML Models. In: Proceedings of HICSS-35. ; 2002. doi:10.1109/HICSS.2002.994469' apa: Flake, S., & Müller, W. (2002). Specification of Real-Time Properties for UML Models. Proceedings of HICSS-35. Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA . https://doi.org/10.1109/HICSS.2002.994469 bibtex: '@inproceedings{Flake_Müller_2002, place={Big Island, HI, USA }, title={Specification of Real-Time Properties for UML Models}, DOI={10.1109/HICSS.2002.994469}, booktitle={Proceedings of HICSS-35}, author={Flake, Stephan and Müller, Wolfgang}, year={2002} }' chicago: Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” In Proceedings of HICSS-35. Big Island, HI, USA , 2002. https://doi.org/10.1109/HICSS.2002.994469. ieee: 'S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,” presented at the Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA , 2002, doi: 10.1109/HICSS.2002.994469.' mla: Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” Proceedings of HICSS-35, 2002, doi:10.1109/HICSS.2002.994469. short: 'S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.' conference: location: 'Big Island, HI, USA ' name: Proceedings of the 35th Annual Hawaii International Conference on System Sciences date_created: 2023-01-24T10:22:12Z date_updated: 2023-01-24T10:22:16Z department: - _id: '672' doi: 10.1109/HICSS.2002.994469 keyword: - Unified modeling language - Logic - Formal verification - Real time systems - Programming profession - Vehicle dynamics - Software standards - Flexible manufacturing systems - Electronics industry - Protocols language: - iso: eng place: 'Big Island, HI, USA ' publication: Proceedings of HICSS-35 publication_identifier: isbn: - 0-7695-1435-9 status: public title: Specification of Real-Time Properties for UML Models type: conference user_id: '5786' year: '2002' ... --- _id: '39402' abstract: - lang: eng text: Die Object Constraint Language (OCL) wurde entwickelt, um Modelleinschränkungen beim objektorientierten Softwareentwurf mit der UML [14] ausdrücken zu können. Sie wird hauptsächlich benutzt, um Invarianten für Objekte sowie Vor-und Nachbedingungen von Operationen zu spezifizieren. Zurzeit bieten OCL und Echtzeiterweiterungen der UML nur bedingt geeignete Mittel, um temporale zeitbehaftete Modelleigenschaften zu beschreiben. Insbesondere kann man mit OCL keine Einschränkunge uber das dynamische Verhalten eines UML-Modells formulieren, die die Reihenfolge von Objektzuständen und Zustandsübergängen betreffen. Um ein korrektes Systemverhalten zu garantieren, ist es jedoch insbesondere bei zeitkritischen Anwendungen notwendig, solche zustandsbasierten zeitbehafteten Einschränkungen in einer formalen Art und Weise ausdrücken zu können. Es sind daher verschiedene Vorschläge veröffentlicht worden, in denen die OCL erweitert worden ist, um Modellierern die Möglichkeit zu geben, temporale Einschränkungen zu formulieren. Dieser Artikel gibt eine Überblick über die zurzeit bekannten Vorschläge und zeigt Ansätze für weitere Entwicklungen in diesem Bereich auf. author: - first_name: Stephan full_name: Flake, Stephan last_name: Flake - first_name: Wolfgang full_name: Müller, Wolfgang id: '16243' last_name: Müller citation: ama: Flake S, Müller W. Temporale Erweiterungen der OCL - Überblick und Aussichten. Published online 2002. apa: Flake, S., & Müller, W. (2002). Temporale Erweiterungen der OCL - Überblick und Aussichten. bibtex: '@article{Flake_Müller_2002, place={Halle(Saale), Germany}, series={Tagungsband: 2. Workshop “Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen”}, title={Temporale Erweiterungen der OCL - Überblick und Aussichten}, author={Flake, Stephan and Müller, Wolfgang}, year={2002}, collection={Tagungsband: 2. Workshop “Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen”} }' chicago: 'Flake, Stephan, and Wolfgang Müller. “Temporale Erweiterungen Der OCL - Überblick Und Aussichten.” Tagungsband: 2. Workshop “Ablaufmodellierung in Ingenieurwissenschaftlichen Anwendungen.” Halle(Saale), Germany, 2002.' ieee: S. Flake and W. Müller, “Temporale Erweiterungen der OCL - Überblick und Aussichten.” Halle(Saale), Germany, 2002. mla: Flake, Stephan, and Wolfgang Müller. Temporale Erweiterungen Der OCL - Überblick Und Aussichten. 2002. short: S. Flake, W. Müller, (2002). date_created: 2023-01-24T10:19:57Z date_updated: 2023-01-24T10:20:03Z department: - _id: '672' language: - iso: eng place: Halle(Saale), Germany series_title: 'Tagungsband: 2. Workshop "Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen"' status: public title: Temporale Erweiterungen der OCL - Überblick und Aussichten type: conference user_id: '5786' year: '2002' ... --- _id: '2552' author: - first_name: Holger full_name: Karl, Holger id: '126' last_name: Karl citation: ama: 'Karl H. Relaying in Wireless Access Networks –  A Capacity and Energy-Efficiency Perspective . In: Proc. Wireless World Research Forum Kickoff Meeting (WWRF). München; 2001.' apa: Karl, H. (2001). Relaying in Wireless Access Networks –  A Capacity and Energy-Efficiency Perspective . In Proc. Wireless World Research Forum Kickoff Meeting (WWRF). München. bibtex: '@inproceedings{Karl_2001, place={München}, title={Relaying in Wireless Access Networks –  A Capacity and Energy-Efficiency Perspective }, booktitle={Proc. Wireless World Research Forum Kickoff Meeting (WWRF)}, author={Karl, Holger}, year={2001} }' chicago: Karl, Holger. “Relaying in Wireless Access Networks –  A Capacity and Energy-Efficiency Perspective .” In Proc. Wireless World Research Forum Kickoff Meeting (WWRF). München, 2001. ieee: H. Karl, “Relaying in Wireless Access Networks –  A Capacity and Energy-Efficiency Perspective ,” in Proc. Wireless World Research Forum Kickoff Meeting (WWRF), 2001. mla: Karl, Holger. “Relaying in Wireless Access Networks –  A Capacity and Energy-Efficiency Perspective .” Proc. Wireless World Research Forum Kickoff Meeting (WWRF), 2001. short: 'H. Karl, in: Proc. Wireless World Research Forum Kickoff Meeting (WWRF), München, 2001.' date_created: 2018-04-26T11:37:09Z date_updated: 2022-01-06T06:57:06Z ddc: - '000' department: - _id: '75' file: - access_level: closed content_type: application/pdf creator: tabu date_created: 2018-04-26T11:37:01Z date_updated: 2018-04-26T11:37:01Z file_id: '2553' file_name: karl01relayWirelAccessNetwor.pdf file_size: 76436 relation: main_file success: 1 file_date_updated: 2018-04-26T11:37:01Z has_accepted_license: '1' place: München publication: Proc. Wireless World Research Forum Kickoff Meeting (WWRF) status: public title: 'Relaying in Wireless Access Networks – A Capacity and Energy-Efficiency Perspective ' type: conference user_id: '15572' year: '2001' ... --- _id: '2554' author: - first_name: Holger full_name: Karl, Holger id: '126' last_name: Karl citation: ama: 'Karl H. Relaying ñ bad for energy,  good for capacity? In: Rom/Italy: Eork-in-progress session of mobicom 2001; 2001.' apa: 'Karl, H. (2001). Relaying ñ bad for energy,  good for capacity? Rom/Italy: Eork-in-progress session of mobicom 2001.' bibtex: '@inproceedings{Karl_2001, place={Rom/Italy}, title={Relaying ñ bad for energy,  good for capacity?}, publisher={Eork-in-progress session of mobicom 2001}, author={Karl, Holger}, year={2001} }' chicago: 'Karl, Holger. “Relaying ñ Bad for Energy,  Good for Capacity?” Rom/Italy: Eork-in-progress session of mobicom 2001, 2001.' ieee: H. Karl, “Relaying ñ bad for energy,  good for capacity?,” 2001. mla: Karl, Holger. Relaying ñ Bad for Energy,  Good for Capacity? Eork-in-progress session of mobicom 2001, 2001. short: 'H. Karl, in: Eork-in-progress session of mobicom 2001, Rom/Italy, 2001.' date_created: 2018-04-26T11:39:05Z date_updated: 2022-01-06T06:57:07Z ddc: - '000' department: - _id: '75' file: - access_level: closed content_type: application/pdf creator: tabu date_created: 2018-04-26T11:38:56Z date_updated: 2018-04-26T11:38:56Z file_id: '2555' file_name: karl01relayWIPMobicom.pdf file_size: 74397 relation: main_file success: 1 file_date_updated: 2018-04-26T11:38:56Z has_accepted_license: '1' place: Rom/Italy publisher: Eork-in-progress session of mobicom 2001 status: public title: Relaying ñ bad for energy, good for capacity? type: conference user_id: '15572' year: '2001' ... --- _id: '2556' author: - first_name: Holger full_name: Karl, Holger id: '126' last_name: Karl - first_name: T. full_name: Hentschel, T. last_name: Hentschel citation: ama: 'Karl H, Hentschel T. IBMS 2 - Integriertes Bandbreiteneffizientes Mobiles Software-Radio System. In: Zukunftsperspektiven Der Mobilkommunikation, Symposium Bundesministerium Für Bildung Und Forschung. ; 2001.' apa: Karl, H., & Hentschel, T. (2001). IBMS 2 - Integriertes Bandbreiteneffizientes Mobiles Software-Radio System. In Zukunftsperspektiven der Mobilkommunikation, Symposium Bundesministerium für Bildung und Forschung. bibtex: '@inproceedings{Karl_Hentschel_2001, title={IBMS 2 - Integriertes Bandbreiteneffizientes Mobiles Software-Radio System}, booktitle={Zukunftsperspektiven der Mobilkommunikation, Symposium Bundesministerium für Bildung und Forschung}, author={Karl, Holger and Hentschel, T.}, year={2001} }' chicago: Karl, Holger, and T. Hentschel. “IBMS 2 - Integriertes Bandbreiteneffizientes Mobiles Software-Radio System.” In Zukunftsperspektiven Der Mobilkommunikation, Symposium Bundesministerium Für Bildung Und Forschung, 2001. ieee: H. Karl and T. Hentschel, “IBMS 2 - Integriertes Bandbreiteneffizientes Mobiles Software-Radio System,” in Zukunftsperspektiven der Mobilkommunikation, Symposium Bundesministerium für Bildung und Forschung, 2001. mla: Karl, Holger, and T. Hentschel. “IBMS 2 - Integriertes Bandbreiteneffizientes Mobiles Software-Radio System.” Zukunftsperspektiven Der Mobilkommunikation, Symposium Bundesministerium Für Bildung Und Forschung, 2001. short: 'H. Karl, T. Hentschel, in: Zukunftsperspektiven Der Mobilkommunikation, Symposium Bundesministerium Für Bildung Und Forschung, 2001.' date_created: 2018-04-26T11:41:07Z date_updated: 2022-01-06T06:57:07Z ddc: - '000' department: - _id: '75' file: - access_level: closed content_type: application/pdf creator: tabu date_created: 2018-04-26T11:40:59Z date_updated: 2018-04-26T11:40:59Z file_id: '2557' file_name: mobikom_2001.pdf file_size: 162227 relation: main_file success: 1 file_date_updated: 2018-04-26T11:40:59Z has_accepted_license: '1' publication: Zukunftsperspektiven der Mobilkommunikation, Symposium Bundesministerium für Bildung und Forschung status: public title: IBMS 2 - Integriertes Bandbreiteneffizientes Mobiles Software-Radio System type: conference user_id: '15572' year: '2001' ...