[{"year":"2002","citation":{"ama":"Ngo-Quynh T, Karl H, Wolisz A, Rebensburg K. New scheduling algorithm for providing proportional jitter in differentiated services network. <i>Proceedings of IST mobile communication and wireless telecommunications summit, Thessaloniki, Greece</i>. 2002.","ieee":"T. Ngo-Quynh, H. Karl, A. Wolisz, and K. Rebensburg, “New scheduling algorithm for providing proportional jitter in differentiated services network,” <i>Proceedings of IST mobile communication and wireless telecommunications summit, Thessaloniki, Greece</i>, 2002.","chicago":"Ngo-Quynh, Thu, Holger Karl, Adam Wolisz, and Klaus Rebensburg. “New Scheduling Algorithm for Providing Proportional Jitter in Differentiated Services Network.” <i>Proceedings of IST Mobile Communication and Wireless Telecommunications Summit, Thessaloniki, Greece</i>, 2002.","mla":"Ngo-Quynh, Thu, et al. “New Scheduling Algorithm for Providing Proportional Jitter in Differentiated Services Network.” <i>Proceedings of IST Mobile Communication and Wireless Telecommunications Summit, Thessaloniki, Greece</i>, 2002.","bibtex":"@article{Ngo-Quynh_Karl_Wolisz_Rebensburg_2002, title={New scheduling algorithm for providing proportional jitter in differentiated services network}, journal={Proceedings of IST mobile communication and wireless telecommunications summit, Thessaloniki, Greece}, author={Ngo-Quynh, Thu and Karl, Holger and Wolisz, Adam and Rebensburg, Klaus}, year={2002} }","short":"T. Ngo-Quynh, H. Karl, A. Wolisz, K. Rebensburg, Proceedings of IST Mobile Communication and Wireless Telecommunications Summit, Thessaloniki, Greece (2002).","apa":"Ngo-Quynh, T., Karl, H., Wolisz, A., &#38; Rebensburg, K. (2002). New scheduling algorithm for providing proportional jitter in differentiated services network. <i>Proceedings of IST Mobile Communication and Wireless Telecommunications Summit, Thessaloniki, Greece</i>."},"date_updated":"2022-01-06T06:50:31Z","date_created":"2017-11-27T10:22:29Z","author":[{"first_name":"Thu","full_name":"Ngo-Quynh, Thu","last_name":"Ngo-Quynh"},{"first_name":"Holger","full_name":"Karl, Holger","id":"126","last_name":"Karl"},{"full_name":"Wolisz, Adam","last_name":"Wolisz","first_name":"Adam"},{"last_name":"Rebensburg","full_name":"Rebensburg, Klaus","first_name":"Klaus"}],"title":"New scheduling algorithm for providing proportional jitter in differentiated services network","publication":"Proceedings of IST mobile communication and wireless telecommunications summit, Thessaloniki, Greece","type":"journal_article","status":"public","_id":"1014","department":[{"_id":"75"}],"user_id":"15572"},{"type":"conference","publication":"Proc. of 1st Intl. Conf. on Mobile and Ubiquitous Multimedia","status":"public","user_id":"15572","department":[{"_id":"75"}],"_id":"1020","citation":{"chicago":"Aguiar, A, Holger Karl, and Adam Wolisz. “Effects of Prediction Inaccuracy on the Performance of Channelstate-Aware Link Layer Schedulers.” In <i>Proc. of 1st Intl. Conf. on Mobile and Ubiquitous Multimedia</i>, 21--33, 2002.","ieee":"A. Aguiar, H. Karl, and A. Wolisz, “Effects of prediction inaccuracy on the performance of channelstate-aware link layer schedulers,” in <i>Proc. of 1st Intl. Conf. on Mobile and Ubiquitous Multimedia</i>, 2002, pp. 21--33.","ama":"Aguiar A, Karl H, Wolisz A. Effects of prediction inaccuracy on the performance of channelstate-aware link layer schedulers. In: <i>Proc. of 1st Intl. Conf. on Mobile and Ubiquitous Multimedia</i>. ; 2002:21--33.","apa":"Aguiar, A., Karl, H., &#38; Wolisz, A. (2002). Effects of prediction inaccuracy on the performance of channelstate-aware link layer schedulers. In <i>Proc. of 1st Intl. Conf. on Mobile and Ubiquitous Multimedia</i> (pp. 21--33).","bibtex":"@inproceedings{Aguiar_Karl_Wolisz_2002, title={Effects of prediction inaccuracy on the performance of channelstate-aware link layer schedulers}, booktitle={Proc. of 1st Intl. Conf. on Mobile and Ubiquitous Multimedia}, author={Aguiar, A and Karl, Holger and Wolisz, Adam}, year={2002}, pages={21--33} }","short":"A. Aguiar, H. Karl, A. Wolisz, in: Proc. of 1st Intl. Conf. on Mobile and Ubiquitous Multimedia, 2002, pp. 21--33.","mla":"Aguiar, A., et al. “Effects of Prediction Inaccuracy on the Performance of Channelstate-Aware Link Layer Schedulers.” <i>Proc. of 1st Intl. Conf. on Mobile and Ubiquitous Multimedia</i>, 2002, pp. 21--33."},"page":"21--33","year":"2002","author":[{"last_name":"Aguiar","full_name":"Aguiar, A","first_name":"A"},{"first_name":"Holger","full_name":"Karl, Holger","id":"126","last_name":"Karl"},{"full_name":"Wolisz, Adam","last_name":"Wolisz","first_name":"Adam"}],"date_created":"2017-11-27T10:22:29Z","date_updated":"2022-01-06T06:50:31Z","title":"Effects of prediction inaccuracy on the performance of channelstate-aware link layer schedulers"},{"year":"2002","citation":{"apa":"Walder, H., &#38; Platzner, M. (2002). Non-preemptive Multitasking on FPGAs: Task Placement and Footprint Transform. In <i>Proceedings of the 2nd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i> (pp. 24–30). CSREA Press.","bibtex":"@inproceedings{Walder_Platzner_2002, title={Non-preemptive Multitasking on FPGAs: Task Placement and Footprint Transform}, booktitle={Proceedings of the 2nd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)}, publisher={CSREA Press}, author={Walder, Herbert and Platzner, Marco}, year={2002}, pages={24–30} }","short":"H. Walder, M. Platzner, in: Proceedings of the 2nd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2002, pp. 24–30.","mla":"Walder, Herbert, and Marco Platzner. “Non-Preemptive Multitasking on FPGAs: Task Placement and Footprint Transform.” <i>Proceedings of the 2nd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>, CSREA Press, 2002, pp. 24–30.","ieee":"H. Walder and M. Platzner, “Non-preemptive Multitasking on FPGAs: Task Placement and Footprint Transform,” in <i>Proceedings of the 2nd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>, 2002, pp. 24–30.","chicago":"Walder, Herbert, and Marco Platzner. “Non-Preemptive Multitasking on FPGAs: Task Placement and Footprint Transform.” In <i>Proceedings of the 2nd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>, 24–30. CSREA Press, 2002.","ama":"Walder H, Platzner M. Non-preemptive Multitasking on FPGAs: Task Placement and Footprint Transform. In: <i>Proceedings of the 2nd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>. CSREA Press; 2002:24-30."},"page":"24-30","date_updated":"2022-01-06T06:51:40Z","publisher":"CSREA Press","date_created":"2019-10-04T21:13:46Z","author":[{"last_name":"Walder","full_name":"Walder, Herbert","first_name":"Herbert"},{"first_name":"Marco","id":"398","full_name":"Platzner, Marco","last_name":"Platzner"}],"title":"Non-preemptive Multitasking on FPGAs: Task Placement and Footprint Transform","type":"conference","publication":"Proceedings of the 2nd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)","status":"public","_id":"13611","user_id":"398","department":[{"_id":"78"}],"extern":"1","language":[{"iso":"eng"}]},{"status":"public","abstract":[{"text":"The Object Constraint Language (OCL) was introduced to support the specification of constraints for UML diagrams and is mainly used to formulate invariants and operation pre- and postconditions. Though OCL is also applied in behavioral diagrams, e.g., as guards for state transitions, it is currently not possible to specify constraints concerning the dynamic behavior and timing properties of such diagrams.\r\n\r\nThis article discusses OCL’s application for the dynamic behavior of UML Statechart diagrams and presents an OCL extension for specification of state-oriented time-bounded constraints.We introduce operations to extract state configurations from diagrams and define additional predicates over states and state configurations. The semantics of our OCL extension is given by employing time-bounded Computational Tree Logic (CTL) formulae. An example of a flexible manufacturing system with automated guided vehicles demonstrates the application of our extension.","lang":"eng"}],"editor":[{"last_name":"Clark","full_name":"Clark, T.","first_name":"T."},{"first_name":"J.","full_name":"Warmer, J.","last_name":"Warmer"}],"publication":"Advances in Object Modelling with the OCL","type":"book_chapter","language":[{"iso":"eng"}],"keyword":["Model Check     Temporal Logic     Object Constraint Language     Execution Path     Kripke Structure"],"department":[{"_id":"672"}],"user_id":"5786","_id":"34447","page":"150 - 171","citation":{"apa":"Flake, S., &#38; Müller, W. (2002). An OCL Extension for Real-Time Constraints. In T. Clark &#38; J. Warmer (Eds.), <i>Advances in Object Modelling with the OCL</i> (pp. 150–171). Springer-Verlag. <a href=\"https://doi.org/10.1007/3-540-45669-4_8\">https://doi.org/10.1007/3-540-45669-4_8</a>","bibtex":"@inbook{Flake_Müller_2002, place={Berlin, Heidelberg}, title={An OCL Extension for Real-Time Constraints}, DOI={<a href=\"https://doi.org/10.1007/3-540-45669-4_8\">10.1007/3-540-45669-4_8</a>}, booktitle={Advances in Object Modelling with the OCL}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, editor={Clark, T. and Warmer, J.}, year={2002}, pages={150–171} }","mla":"Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” <i>Advances in Object Modelling with the OCL</i>, edited by T. Clark and J. Warmer, Springer-Verlag, 2002, pp. 150–71, doi:<a href=\"https://doi.org/10.1007/3-540-45669-4_8\">10.1007/3-540-45669-4_8</a>.","short":"S. Flake, W. Müller, in: T. Clark, J. Warmer (Eds.), Advances in Object Modelling with the OCL, Springer-Verlag, Berlin, Heidelberg, 2002, pp. 150–171.","ama":"Flake S, Müller W. An OCL Extension for Real-Time Constraints. In: Clark T, Warmer J, eds. <i>Advances in Object Modelling with the OCL</i>. Springer-Verlag; 2002:150-171. doi:<a href=\"https://doi.org/10.1007/3-540-45669-4_8\">10.1007/3-540-45669-4_8</a>","ieee":"S. Flake and W. Müller, “An OCL Extension for Real-Time Constraints,” in <i>Advances in Object Modelling with the OCL</i>, T. Clark and J. Warmer, Eds. Berlin, Heidelberg: Springer-Verlag, 2002, pp. 150–171.","chicago":"Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” In <i>Advances in Object Modelling with the OCL</i>, edited by T. Clark and J. Warmer, 150–71. Berlin, Heidelberg: Springer-Verlag, 2002. <a href=\"https://doi.org/10.1007/3-540-45669-4_8\">https://doi.org/10.1007/3-540-45669-4_8</a>."},"place":"Berlin, Heidelberg","year":"2002","publication_identifier":{"isbn":["978-3-540-45669-8"]},"doi":"10.1007/3-540-45669-4_8","title":"An OCL Extension for Real-Time Constraints","author":[{"first_name":"Stephan","full_name":"Flake, Stephan","last_name":"Flake"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_created":"2022-12-15T11:38:20Z","date_updated":"2022-12-15T11:38:47Z","publisher":"Springer-Verlag"},{"year":"2002","citation":{"mla":"Eikerling, H. J., et al. “Werkzeugintegration Und -Verwaltung in Heterogenen Computernetzwerken.” <i>It+ti</i>, Oldenbourg Verlag, 2002, pp. 128–36.","short":"H.J. Eikerling, W. Müller, J. Wegener, It+ti (2002) 128–136.","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} }","apa":"Eikerling, H. J., Müller, W., &#38; Wegener, J. (2002). Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken. <i>It+ti</i>, 128–136.","ieee":"H. J. Eikerling, W. Müller, and J. Wegener, “Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken,” <i>it+ti</i>, pp. 128–136, 2002.","chicago":"Eikerling, H. J., Wolfgang Müller, and J. Wegener. “Werkzeugintegration Und -Verwaltung in Heterogenen Computernetzwerken.” <i>It+ti</i>, 2002, 128–36.","ama":"Eikerling HJ, Müller W, Wegener J. Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken. <i>it+ti</i>. Published online 2002:128-136."},"page":"128-136","title":"Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken","date_updated":"2022-12-20T09:41:28Z","publisher":"Oldenbourg Verlag","date_created":"2022-12-20T09:41:02Z","author":[{"last_name":"Eikerling","full_name":"Eikerling, H. J.","first_name":"H. J."},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"first_name":"J.","full_name":"Wegener, J.","last_name":"Wegener"}],"status":"public","type":"journal_article","publication":"it+ti","language":[{"iso":"eng"}],"_id":"34576","user_id":"5786","department":[{"_id":"672"}]},{"_id":"3041","user_id":"25078","department":[{"_id":"64"}],"ddc":["000"],"file_date_updated":"2018-06-05T08:45:15Z","extern":"1","type":"conference","publication":"[1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science","file":[{"content_type":"application/pdf","relation":"main_file","success":1,"creator":"feidens","date_created":"2018-06-05T08:45:15Z","date_updated":"2018-06-05T08:45:15Z","file_name":"ComputingSumsOfRadicals_01.pdf","access_level":"closed","file_id":"3042","file_size":335754}],"status":"public","date_updated":"2023-01-10T13:49:25Z","publisher":"IEEE Comput. Soc. Press","author":[{"last_name":"Blömer","id":"23","full_name":"Blömer, Johannes","first_name":"Johannes"}],"date_created":"2018-06-05T08:44:18Z","title":"Computing sums of radicals in polynomial time","doi":"10.1109/sfcs.1991.185434","publication_status":"published","publication_identifier":{"isbn":["0818624450"]},"has_accepted_license":"1","year":"2002","citation":{"ama":"Blömer J. Computing sums of radicals in polynomial time. In: <i>[1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science</i>. IEEE Comput. Soc. Press; 2002. doi:<a href=\"https://doi.org/10.1109/sfcs.1991.185434\">10.1109/sfcs.1991.185434</a>","chicago":"Blömer, Johannes. “Computing Sums of Radicals in Polynomial Time.” In <i>[1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science</i>. IEEE Comput. Soc. Press, 2002. <a href=\"https://doi.org/10.1109/sfcs.1991.185434\">https://doi.org/10.1109/sfcs.1991.185434</a>.","ieee":"J. Blömer, “Computing sums of radicals in polynomial time,” 2002, doi: <a href=\"https://doi.org/10.1109/sfcs.1991.185434\">10.1109/sfcs.1991.185434</a>.","mla":"Blömer, Johannes. “Computing Sums of Radicals in Polynomial Time.” <i>[1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science</i>, IEEE Comput. Soc. Press, 2002, doi:<a href=\"https://doi.org/10.1109/sfcs.1991.185434\">10.1109/sfcs.1991.185434</a>.","short":"J. Blömer, in: [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science, IEEE Comput. Soc. Press, 2002.","bibtex":"@inproceedings{Blömer_2002, title={Computing sums of radicals in polynomial time}, DOI={<a href=\"https://doi.org/10.1109/sfcs.1991.185434\">10.1109/sfcs.1991.185434</a>}, booktitle={[1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science}, publisher={IEEE Comput. Soc. Press}, author={Blömer, Johannes}, year={2002} }","apa":"Blömer, J. (2002). Computing sums of radicals in polynomial time. <i>[1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science</i>. <a href=\"https://doi.org/10.1109/sfcs.1991.185434\">https://doi.org/10.1109/sfcs.1991.185434</a>"}},{"keyword":["Applied Mathematics","Computer Science Applications","General Computer Science"],"language":[{"iso":"eng"}],"publication":"Algorithmica","title":"Denesting by Bounded Degree Radicals","publisher":"Springer Science and Business Media LLC","date_created":"2023-01-10T13:44:28Z","year":"2002","issue":"1","_id":"35857","user_id":"23","department":[{"_id":"64"}],"status":"public","type":"journal_article","doi":"10.1007/s004530010028","date_updated":"2023-01-10T13:48:53Z","author":[{"first_name":"J.","full_name":"Blömer, J.","last_name":"Blömer"}],"volume":28,"citation":{"ieee":"J. Blömer, “Denesting by Bounded Degree Radicals,” <i>Algorithmica</i>, vol. 28, no. 1, pp. 2–15, 2002, doi: <a href=\"https://doi.org/10.1007/s004530010028\">10.1007/s004530010028</a>.","chicago":"Blömer, J. “Denesting by Bounded Degree Radicals.” <i>Algorithmica</i> 28, no. 1 (2002): 2–15. <a href=\"https://doi.org/10.1007/s004530010028\">https://doi.org/10.1007/s004530010028</a>.","ama":"Blömer J. Denesting by Bounded Degree Radicals. <i>Algorithmica</i>. 2002;28(1):2-15. doi:<a href=\"https://doi.org/10.1007/s004530010028\">10.1007/s004530010028</a>","mla":"Blömer, J. “Denesting by Bounded Degree Radicals.” <i>Algorithmica</i>, vol. 28, no. 1, Springer Science and Business Media LLC, 2002, pp. 2–15, doi:<a href=\"https://doi.org/10.1007/s004530010028\">10.1007/s004530010028</a>.","short":"J. Blömer, Algorithmica 28 (2002) 2–15.","bibtex":"@article{Blömer_2002, title={Denesting by Bounded Degree Radicals}, volume={28}, DOI={<a href=\"https://doi.org/10.1007/s004530010028\">10.1007/s004530010028</a>}, number={1}, journal={Algorithmica}, publisher={Springer Science and Business Media LLC}, author={Blömer, J.}, year={2002}, pages={2–15} }","apa":"Blömer, J. (2002). Denesting by Bounded Degree Radicals. <i>Algorithmica</i>, <i>28</i>(1), 2–15. <a href=\"https://doi.org/10.1007/s004530010028\">https://doi.org/10.1007/s004530010028</a>"},"page":"2-15","intvolume":"        28","publication_status":"published","publication_identifier":{"issn":["0178-4617","1432-0541"]}},{"citation":{"apa":"Fricke, B. (2002). <i>Construction of Pseudorandom Functions</i>.","mla":"Fricke, Birgitta. <i>Construction of Pseudorandom Functions</i>. 2002.","short":"B. Fricke, Construction of Pseudorandom Functions, 2002.","bibtex":"@book{Fricke_2002, title={Construction of Pseudorandom Functions}, author={Fricke, Birgitta}, year={2002} }","ieee":"B. Fricke, <i>Construction of Pseudorandom Functions</i>. 2002.","chicago":"Fricke, Birgitta. <i>Construction of Pseudorandom Functions</i>, 2002.","ama":"Fricke B. <i>Construction of Pseudorandom Functions</i>.; 2002."},"year":"2002","has_accepted_license":"1","title":"Construction of Pseudorandom Functions","date_created":"2023-10-05T16:39:34Z","author":[{"full_name":"Fricke, Birgitta","last_name":"Fricke","first_name":"Birgitta"}],"oa":"1","date_updated":"2023-10-05T16:54:44Z","status":"public","file":[{"file_name":"2002_Fricke_Pseudorandom.ps","access_level":"open_access","file_id":"47726","file_size":3696785,"date_created":"2023-10-05T16:39:26Z","creator":"bhenrik","date_updated":"2023-10-05T16:54:44Z","relation":"main_file","content_type":"application/postscript"}],"type":"misc","language":[{"iso":"eng"}],"file_date_updated":"2023-10-05T16:54:44Z","keyword":["Diplomarbeit"],"ddc":["000"],"department":[{"_id":"34"},{"_id":"64"}],"user_id":"41047","_id":"47698"},{"status":"public","type":"misc","keyword":["Diplomarbeit"],"language":[{"iso":"ger"}],"_id":"47697","department":[{"_id":"34"},{"_id":"64"}],"user_id":"41047","year":"2002","citation":{"ieee":"D. Deveci, <i>Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems</i>. 2002.","chicago":"Deveci, Deniz. <i>Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems</i>, 2002.","ama":"Deveci D. <i>Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems</i>.; 2002.","apa":"Deveci, D. (2002). <i>Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems</i>.","short":"D. Deveci, Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems, 2002.","mla":"Deveci, Deniz. <i>Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems</i>. 2002.","bibtex":"@book{Deveci_2002, title={Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems}, author={Deveci, Deniz}, year={2002} }"},"title":"Evaluierung und Implementierung eines vollständig verteilten RSA-Kryptographiesystems","date_updated":"2023-10-05T16:42:39Z","date_created":"2023-10-05T16:38:45Z","author":[{"first_name":"Deniz","last_name":"Deveci","full_name":"Deveci, Deniz"}]},{"language":[{"iso":"eng"}],"keyword":["Diplomarbeit"],"user_id":"41047","department":[{"_id":"34"},{"_id":"64"}],"_id":"47699","status":"public","type":"misc","title":"The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography","date_created":"2023-10-05T16:40:05Z","author":[{"first_name":"Anke","last_name":"Helbich","full_name":"Helbich, Anke"}],"date_updated":"2023-10-05T16:42:35Z","citation":{"ieee":"A. Helbich, <i>The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography</i>. 2002.","chicago":"Helbich, Anke. <i>The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography</i>, 2002.","ama":"Helbich A. <i>The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography</i>.; 2002.","short":"A. Helbich, The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography, 2002.","bibtex":"@book{Helbich_2002, title={The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography}, author={Helbich, Anke}, year={2002} }","mla":"Helbich, Anke. <i>The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography</i>. 2002.","apa":"Helbich, A. (2002). <i>The Weil-Pairing and Signature Schemes in Elliptic Curve Cryptography</i>."},"year":"2002"},{"date_updated":"2023-10-05T16:42:34Z","author":[{"first_name":"Daniel","last_name":"Schepers","full_name":"Schepers, Daniel"}],"date_created":"2023-10-05T16:41:01Z","title":"Timing Attacks for Cryptosystems based on Elliptic Curves","year":"2002","citation":{"ama":"Schepers D. <i>Timing Attacks for Cryptosystems Based on Elliptic Curves</i>.; 2002.","ieee":"D. Schepers, <i>Timing Attacks for Cryptosystems based on Elliptic Curves</i>. 2002.","chicago":"Schepers, Daniel. <i>Timing Attacks for Cryptosystems Based on Elliptic Curves</i>, 2002.","apa":"Schepers, D. (2002). <i>Timing Attacks for Cryptosystems based on Elliptic Curves</i>.","mla":"Schepers, Daniel. <i>Timing Attacks for Cryptosystems Based on Elliptic Curves</i>. 2002.","bibtex":"@book{Schepers_2002, title={Timing Attacks for Cryptosystems based on Elliptic Curves}, author={Schepers, Daniel}, year={2002} }","short":"D. Schepers, Timing Attacks for Cryptosystems Based on Elliptic Curves, 2002."},"_id":"47700","department":[{"_id":"34"},{"_id":"64"}],"user_id":"41047","keyword":["Diplomarbeit"],"language":[{"iso":"eng"}],"type":"misc","status":"public"},{"file":[{"file_size":361052,"access_level":"open_access","file_name":"2002_Hoppe_MDS-Codes.ps","file_id":"47786","date_updated":"2023-10-05T22:02:59Z","date_created":"2023-10-05T22:02:59Z","creator":"bhenrik","relation":"main_file","content_type":"application/postscript"}],"status":"public","type":"bachelorsthesis","ddc":["000"],"language":[{"iso":"ger"}],"file_date_updated":"2023-10-05T22:02:59Z","_id":"47633","user_id":"41047","department":[{"_id":"34"},{"_id":"64"}],"year":"2002","citation":{"apa":"Hoppe, U. (2002). <i>Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen Paritätssymbolen</i>.","mla":"Hoppe, Ulrich. <i>Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen Paritätssymbolen</i>. 2002.","short":"U. Hoppe, Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen Paritätssymbolen, 2002.","bibtex":"@book{Hoppe_2002, title={Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen Paritätssymbolen}, author={Hoppe, Ulrich}, year={2002} }","ama":"Hoppe U. <i>Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen Paritätssymbolen</i>.; 2002.","chicago":"Hoppe, Ulrich. <i>Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen Paritätssymbolen</i>, 2002.","ieee":"U. Hoppe, <i>Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen Paritätssymbolen</i>. 2002."},"has_accepted_license":"1","title":"Implementierung und Evaluation eines MDS-Blockcodes mit unabhängigen Paritätssymbolen","date_updated":"2023-10-05T22:03:17Z","oa":"1","author":[{"last_name":"Hoppe","full_name":"Hoppe, Ulrich","first_name":"Ulrich"}],"date_created":"2023-10-05T13:29:41Z"},{"type":"conference","publication":"Proceedings of the VHE Workshop","status":"public","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."}],"user_id":"5786","department":[{"_id":"672"}],"_id":"39371","language":[{"iso":"eng"}],"citation":{"ama":"Schäfer R, Dangberg A, Müller W. RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents. In: <i>Proceedings of the VHE Workshop</i>. ; 2002.","ieee":"R. Schäfer, A. Dangberg, and W. Müller, “RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents,” 2002.","chicago":"Schäfer, Robbie, Andreas Dangberg, and Wolfgang Müller. “RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents.” In <i>Proceedings of the VHE Workshop</i>. Paderborn, Germany, 2002.","apa":"Schäfer, R., Dangberg, A., &#38; Müller, W. (2002). RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents. <i>Proceedings of the VHE Workshop</i>.","short":"R. Schäfer, A. Dangberg, W. Müller, in: Proceedings of the VHE Workshop, Paderborn, Germany, 2002.","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} }","mla":"Schäfer, Robbie, et al. “RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents.” <i>Proceedings of the VHE Workshop</i>, 2002."},"place":"Paderborn, Germany","year":"2002","author":[{"last_name":"Schäfer","full_name":"Schäfer, Robbie","first_name":"Robbie"},{"first_name":"Andreas","last_name":"Dangberg","full_name":"Dangberg, Andreas"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"}],"date_created":"2023-01-24T10:02:35Z","date_updated":"2023-01-24T10:02:46Z","title":"RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents"},{"language":[{"iso":"eng"}],"title":"Distributed Video-on-Demand Services on Peer to Peer Basis","date_created":"2023-01-24T10:00:17Z","user_id":"5786","author":[{"last_name":"Loeser","full_name":"Loeser, Chris","first_name":"Chris"},{"last_name":"Altenbernd","full_name":"Altenbernd, Peter","first_name":"Peter"},{"first_name":"Michael","full_name":"Ditze, Michael","last_name":"Ditze"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"department":[{"_id":"672"}],"date_updated":"2023-01-24T10:00:24Z","_id":"39370","citation":{"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} }","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.","mla":"Loeser, Chris, et al. “Distributed Video-on-Demand Services on Peer to Peer Basis.” <i>Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002)</i>, 2002.","apa":"Loeser, C., Altenbernd, P., Ditze, M., &#38; Müller, W. (2002). Distributed Video-on-Demand Services on Peer to Peer Basis. <i>Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002)</i>.","ama":"Loeser C, Altenbernd P, Ditze M, Müller W. Distributed Video-on-Demand Services on Peer to Peer Basis. In: <i>Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002)</i>. ; 2002.","chicago":"Loeser, Chris, Peter Altenbernd, Michael Ditze, and Wolfgang Müller. “Distributed Video-on-Demand Services on Peer to Peer Basis.” In <i>Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002)</i>, 2002.","ieee":"C. Loeser, P. Altenbernd, M. Ditze, and W. Müller, “Distributed Video-on-Demand Services on Peer to Peer Basis,” 2002."},"status":"public","year":"2002","abstract":[{"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.","lang":"eng"}],"type":"conference","publication":"Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002)"},{"date_updated":"2023-01-24T10:07:22Z","date_created":"2023-01-24T10:07:18Z","author":[{"first_name":"Robbie","last_name":"Schäfer","full_name":"Schäfer, Robbie"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"first_name":"Andreas","last_name":"Dangberg","full_name":"Dangberg, Andreas"}],"title":"Fuzzy Rules for the Transcoding of HTML Files","year":"2002","place":"Hawaii, USA","citation":{"ama":"Schäfer R, Müller W, Dangberg A. Fuzzy Rules for the Transcoding of HTML Files. In: <i>Proceedings of the HICSS-35</i>. ; 2002.","ieee":"R. Schäfer, W. Müller, and A. Dangberg, “Fuzzy Rules for the Transcoding of HTML Files,” 2002.","chicago":"Schäfer, Robbie, Wolfgang Müller, and Andreas Dangberg. “Fuzzy Rules for the Transcoding of HTML Files.” In <i>Proceedings of the HICSS-35</i>. Hawaii, USA, 2002.","apa":"Schäfer, R., Müller, W., &#38; Dangberg, A. (2002). Fuzzy Rules for the Transcoding of HTML Files. <i>Proceedings of the HICSS-35</i>.","bibtex":"@inproceedings{Schäfer_Müller_Dangberg_2002, place={Hawaii, USA}, title={Fuzzy Rules for the Transcoding of HTML Files}, booktitle={Proceedings of the HICSS-35}, author={Schäfer, Robbie and Müller, Wolfgang and Dangberg, Andreas}, year={2002} }","short":"R. Schäfer, W. Müller, A. Dangberg, in: Proceedings of the HICSS-35, Hawaii, USA, 2002.","mla":"Schäfer, Robbie, et al. “Fuzzy Rules for the Transcoding of HTML Files.” <i>Proceedings of the HICSS-35</i>, 2002."},"_id":"39378","user_id":"5786","department":[{"_id":"672"}],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the HICSS-35","status":"public"},{"publication":"Proceedings of the UML 2002 - The Unified Modeling Language","type":"conference","abstract":[{"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.","lang":"eng"}],"status":"public","_id":"39398","department":[{"_id":"672"}],"user_id":"5786","language":[{"iso":"eng"}],"place":"Dresden, Germany","year":"2002","citation":{"apa":"Flake, S., &#38; Müller, W. (2002). A UML Profile for Real-Time Constraints with the OCL. <i>Proceedings of the UML 2002 - The Unified Modeling Language</i>.","mla":"Flake, Stephan, and Wolfgang Müller. “A UML Profile for Real-Time Constraints with the OCL.” <i>Proceedings of the UML 2002 - The Unified Modeling Language</i>, Springer-Verlag, 2002.","short":"S. Flake, W. Müller, in: Proceedings of the UML 2002 - The Unified Modeling Language, Springer-Verlag, Dresden, Germany, 2002.","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} }","ama":"Flake S, Müller W. A UML Profile for Real-Time Constraints with the OCL. In: <i>Proceedings of the UML 2002 - The Unified Modeling Language</i>. Springer-Verlag; 2002.","ieee":"S. Flake and W. Müller, “A UML Profile for Real-Time Constraints with the OCL,” 2002.","chicago":"Flake, Stephan, and Wolfgang Müller. “A UML Profile for Real-Time Constraints with the OCL.” In <i>Proceedings of the UML 2002 - The Unified Modeling Language</i>. Dresden, Germany: Springer-Verlag, 2002."},"publisher":"Springer-Verlag","date_updated":"2023-01-24T10:18:16Z","date_created":"2023-01-24T10:17:16Z","author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"}],"title":"A UML Profile for Real-Time Constraints with the OCL"},{"language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"5786","series_title":"Tagungsband: 4. Paderborner Frühlingstagung","_id":"39393","status":"public","type":"conference","title":"Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen","author":[{"full_name":"Dangelmeier, Wilhelm","last_name":"Dangelmeier","first_name":"Wilhelm"},{"full_name":"Darnedde, C.","last_name":"Darnedde","first_name":"C."},{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"},{"full_name":"Pape, U.","last_name":"Pape","first_name":"U."}],"date_created":"2023-01-24T10:15:34Z","date_updated":"2023-01-24T10:15:39Z","citation":{"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} }","short":"W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, U. Pape, (2002).","mla":"Dangelmeier, Wilhelm, et al. <i>Graphische Spezifikation Und Echtzeitverifikation von Produktionsautomatisierungssystemen</i>. 2002.","apa":"Dangelmeier, W., Darnedde, C., Flake, S., Müller, W., &#38; Pape, U. (2002). <i>Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen</i>.","ama":"Dangelmeier W, Darnedde C, Flake S, Müller W, Pape U. Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen. Published online 2002.","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."},"place":"Paderborn, Germany","year":"2002"},{"title":"The Formal Execution Semantics of SpecC","doi":"10.1145/581199.581234 ","date_updated":"2023-01-24T10:10:28Z","author":[{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"},{"full_name":"Dömer, Rainer","last_name":"Dömer","first_name":"Rainer"},{"first_name":"Andreas","last_name":"Gerstlauer","full_name":"Gerstlauer, Andreas"}],"date_created":"2023-01-24T10:10:24Z","year":"2002","place":"Nagoya, Japan","citation":{"chicago":"Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution Semantics of SpecC.” In <i>Proceedings of the ISSS02</i>. Nagoya, Japan, 2002. <a href=\"https://doi.org/10.1145/581199.581234 \">https://doi.org/10.1145/581199.581234 </a>.","ieee":"W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of SpecC,” 2002, doi: <a href=\"https://doi.org/10.1145/581199.581234 \">10.1145/581199.581234 </a>.","ama":"Müller W, Dömer R, Gerstlauer A. The Formal Execution Semantics of SpecC. In: <i>Proceedings of the ISSS02</i>. ; 2002. doi:<a href=\"https://doi.org/10.1145/581199.581234 \">10.1145/581199.581234 </a>","apa":"Müller, W., Dömer, R., &#38; Gerstlauer, A. (2002). The Formal Execution Semantics of SpecC. <i>Proceedings of the ISSS02</i>. <a href=\"https://doi.org/10.1145/581199.581234 \">https://doi.org/10.1145/581199.581234 </a>","short":"W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya, Japan, 2002.","bibtex":"@inproceedings{Müller_Dömer_Gerstlauer_2002, place={Nagoya, Japan}, title={The Formal Execution Semantics of SpecC}, DOI={<a href=\"https://doi.org/10.1145/581199.581234 \">10.1145/581199.581234 </a>}, booktitle={Proceedings of the ISSS02}, author={Müller, Wolfgang and Dömer, Rainer and Gerstlauer, Andreas}, year={2002} }","mla":"Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.” <i>Proceedings of the ISSS02</i>, 2002, doi:<a href=\"https://doi.org/10.1145/581199.581234 \">10.1145/581199.581234 </a>."},"publication_identifier":{"isbn":["1-58113-576-9"]},"keyword":["Standardization","Kernel","Permission","Formal verification","Logic functions","Documentation","Reasoning about programs","Specification languages","Formal specifications","Software systems"],"language":[{"iso":"eng"}],"_id":"39382","department":[{"_id":"672"}],"user_id":"5786","abstract":[{"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.","lang":"eng"}],"status":"public","publication":"Proceedings of the ISSS02","type":"conference"},{"year":"2002","place":"Montreal, Canada","citation":{"apa":"Plomp, J., Schäfer, R., &#38; Müller, W. (2002). Comparing Transcoding Tools for Use with a Generic User Interface Format. <i>Proceedings of the Extreme Markup Languages 2002</i>.","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} }","short":"J. Plomp, R. Schäfer, W. Müller, in: Proceedings of the Extreme Markup Languages 2002, Montreal, Canada, 2002.","mla":"Plomp, Johan, et al. “Comparing Transcoding Tools for Use with a Generic User Interface Format.” <i>Proceedings of the Extreme Markup Languages 2002</i>, 2002.","ama":"Plomp J, Schäfer R, Müller W. Comparing Transcoding Tools for Use with a Generic User Interface Format. In: <i>Proceedings of the Extreme Markup Languages 2002</i>. ; 2002.","chicago":"Plomp, Johan, Robbie Schäfer, and Wolfgang Müller. “Comparing Transcoding Tools for Use with a Generic User Interface Format.” In <i>Proceedings of the Extreme Markup Languages 2002</i>. 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."},"title":"Comparing Transcoding Tools for Use with a Generic User Interface Format","date_updated":"2023-01-24T10:12:45Z","date_created":"2023-01-24T10:12:41Z","author":[{"full_name":"Plomp, Johan","last_name":"Plomp","first_name":"Johan"},{"first_name":"Robbie","full_name":"Schäfer, Robbie","last_name":"Schäfer"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"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."}],"status":"public","type":"conference","publication":"Proceedings of the Extreme Markup Languages 2002","language":[{"iso":"eng"}],"_id":"39387","user_id":"5786","department":[{"_id":"672"}]},{"citation":{"ama":"Flake S, Müller W. Specification of Real-Time Properties for UML Models. In: <i>Proceedings of HICSS-35</i>. ; 2002. doi:<a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>","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: <a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>.","chicago":"Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” In <i>Proceedings of HICSS-35</i>. Big Island, HI, USA , 2002. <a href=\"https://doi.org/10.1109/HICSS.2002.994469\">https://doi.org/10.1109/HICSS.2002.994469</a>.","mla":"Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” <i>Proceedings of HICSS-35</i>, 2002, doi:<a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>.","bibtex":"@inproceedings{Flake_Müller_2002, place={Big Island, HI, USA }, title={Specification of Real-Time Properties for UML Models}, DOI={<a href=\"https://doi.org/10.1109/HICSS.2002.994469\">10.1109/HICSS.2002.994469</a>}, booktitle={Proceedings of HICSS-35}, author={Flake, Stephan and Müller, Wolfgang}, year={2002} }","short":"S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.","apa":"Flake, S., &#38; Müller, W. (2002). Specification of Real-Time Properties for UML Models. <i>Proceedings of HICSS-35</i>. Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA . <a href=\"https://doi.org/10.1109/HICSS.2002.994469\">https://doi.org/10.1109/HICSS.2002.994469</a>"},"place":"Big Island, HI, USA ","year":"2002","publication_identifier":{"isbn":["0-7695-1435-9"]},"conference":{"location":"Big Island, HI, USA ","name":"Proceedings of the 35th Annual Hawaii International Conference on System Sciences"},"doi":"10.1109/HICSS.2002.994469","title":"Specification of Real-Time Properties for UML Models","date_created":"2023-01-24T10:22:12Z","author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_updated":"2023-01-24T10:22:16Z","status":"public","abstract":[{"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).","lang":"eng"}],"publication":"Proceedings of HICSS-35","type":"conference","language":[{"iso":"eng"}],"keyword":["Unified modeling language","Logic","Formal verification","Real time systems","Programming profession","Vehicle dynamics","Software standards","Flexible manufacturing systems","Electronics industry","Protocols"],"department":[{"_id":"672"}],"user_id":"5786","_id":"39403"}]