[{"user_id":"15572","citation":{"ama":"Aguiar ACC, Hoene C, Klaue J, Karl H, Miesmer H, Wolisz A. Channel-Aware Schedulers For Voip And Mpeg4 For Wireless Communications. In: <i>Proc. of 8th Intl. Workshop on Mobile Multimedia Communications (MoMuC’03)</i>. ; 2003.","apa":"Aguiar, A. C. C., Hoene, C., Klaue, J., Karl, H., Miesmer, H., &#38; Wolisz, A. (2003). Channel-Aware Schedulers For Voip And Mpeg4 For Wireless Communications. In <i>Proc. of 8th Intl. Workshop on Mobile Multimedia Communications (MoMuC’03)</i>.","chicago":"Aguiar, Ana Cristina Costa, Christian Hoene, Jirka Klaue, Holger Karl, Horst Miesmer, and Adam Wolisz. “Channel-Aware Schedulers For Voip And Mpeg4 For Wireless Communications.” In <i>Proc. of 8th Intl. Workshop on Mobile Multimedia Communications (MoMuC’03)</i>, 2003.","ieee":"A. C. C. Aguiar, C. Hoene, J. Klaue, H. Karl, H. Miesmer, and A. Wolisz, “Channel-Aware Schedulers For Voip And Mpeg4 For Wireless Communications,” in <i>Proc. of 8th Intl. Workshop on Mobile Multimedia Communications (MoMuC’03)</i>, 2003.","mla":"Aguiar, Ana Cristina Costa, et al. “Channel-Aware Schedulers For Voip And Mpeg4 For Wireless Communications.” <i>Proc. of 8th Intl. Workshop on Mobile Multimedia Communications (MoMuC’03)</i>, 2003.","bibtex":"@inproceedings{Aguiar_Hoene_Klaue_Karl_Miesmer_Wolisz_2003, title={Channel-Aware Schedulers For Voip And Mpeg4 For Wireless Communications}, booktitle={Proc. of 8th Intl. Workshop on Mobile Multimedia Communications (MoMuC’03)}, author={Aguiar, Ana Cristina Costa and Hoene, Christian and Klaue, Jirka and Karl, Holger and Miesmer, Horst and Wolisz, Adam}, year={2003} }","short":"A.C.C. Aguiar, C. Hoene, J. Klaue, H. Karl, H. Miesmer, A. Wolisz, in: Proc. of 8th Intl. Workshop on Mobile Multimedia Communications (MoMuC’03), 2003."},"department":[{"_id":"75"}],"author":[{"full_name":"Aguiar, Ana Cristina Costa","first_name":"Ana Cristina Costa","last_name":"Aguiar"},{"first_name":"Christian","full_name":"Hoene, Christian","last_name":"Hoene"},{"last_name":"Klaue","first_name":"Jirka","full_name":"Klaue, Jirka"},{"full_name":"Karl, Holger","first_name":"Holger","last_name":"Karl","id":"126"},{"last_name":"Miesmer","first_name":"Horst","full_name":"Miesmer, Horst"},{"last_name":"Wolisz","first_name":"Adam","full_name":"Wolisz, Adam"}],"title":"Channel-Aware Schedulers For Voip And Mpeg4 For Wireless Communications","_id":"1024","date_updated":"2022-01-06T06:50:33Z","date_created":"2017-11-27T10:22:29Z","publication":"Proc. of 8th Intl. Workshop on Mobile Multimedia Communications (MoMuC'03)","status":"public","year":"2003","type":"conference"},{"_id":"13612","page":"290-295","date_updated":"2022-01-06T06:51:40Z","publisher":"IEEE CS Press","date_created":"2019-10-04T21:15:31Z","publication":"Proceedings Design, Automation and Test in Europe Conference (DATE)","status":"public","language":[{"iso":"eng"}],"year":"2003","type":"conference","publication_identifier":{"isbn":["0769518702"]},"publication_status":"published","user_id":"398","citation":{"short":"H. Walder, M. Platzner, in: Proceedings Design, Automation and Test in Europe Conference (DATE), IEEE CS Press, 2003, pp. 290–295.","bibtex":"@inproceedings{Walder_Platzner_2003, title={Online scheduling for block-partitioned reconfigurable devices}, DOI={<a href=\"https://doi.org/10.1109/date.2003.1253622\">10.1109/date.2003.1253622</a>}, booktitle={Proceedings Design, Automation and Test in Europe Conference (DATE)}, publisher={IEEE CS Press}, author={Walder, Herbert and Platzner, Marco}, year={2003}, pages={290–295} }","mla":"Walder, Herbert, and Marco Platzner. “Online Scheduling for Block-Partitioned Reconfigurable Devices.” <i>Proceedings Design, Automation and Test in Europe Conference (DATE)</i>, IEEE CS Press, 2003, pp. 290–95, doi:<a href=\"https://doi.org/10.1109/date.2003.1253622\">10.1109/date.2003.1253622</a>.","ieee":"H. Walder and M. Platzner, “Online scheduling for block-partitioned reconfigurable devices,” in <i>Proceedings Design, Automation and Test in Europe Conference (DATE)</i>, 2003, pp. 290–295.","chicago":"Walder, Herbert, and Marco Platzner. “Online Scheduling for Block-Partitioned Reconfigurable Devices.” In <i>Proceedings Design, Automation and Test in Europe Conference (DATE)</i>, 290–95. IEEE CS Press, 2003. <a href=\"https://doi.org/10.1109/date.2003.1253622\">https://doi.org/10.1109/date.2003.1253622</a>.","ama":"Walder H, Platzner M. Online scheduling for block-partitioned reconfigurable devices. In: <i>Proceedings Design, Automation and Test in Europe Conference (DATE)</i>. IEEE CS Press; 2003:290-295. doi:<a href=\"https://doi.org/10.1109/date.2003.1253622\">10.1109/date.2003.1253622</a>","apa":"Walder, H., &#38; Platzner, M. (2003). Online scheduling for block-partitioned reconfigurable devices. In <i>Proceedings Design, Automation and Test in Europe Conference (DATE)</i> (pp. 290–295). IEEE CS Press. <a href=\"https://doi.org/10.1109/date.2003.1253622\">https://doi.org/10.1109/date.2003.1253622</a>"},"department":[{"_id":"78"}],"extern":"1","author":[{"first_name":"Herbert","full_name":"Walder, Herbert","last_name":"Walder"},{"last_name":"Platzner","id":"398","first_name":"Marco","full_name":"Platzner, Marco"}],"title":"Online scheduling for block-partitioned reconfigurable devices","doi":"10.1109/date.2003.1253622"},{"author":[{"last_name":"Walder","first_name":"Herbert","full_name":"Walder, Herbert"},{"last_name":"Steiger","first_name":"Christoph","full_name":"Steiger, Christoph"},{"first_name":"Marco","full_name":"Platzner, Marco","id":"398","last_name":"Platzner"}],"extern":"1","title":"Fast online task placement on FPGAs: free space partitioning and 2D-hashing","doi":"10.1109/ipdps.2003.1213329","user_id":"398","publication_status":"published","citation":{"mla":"Walder, Herbert, et al. “Fast Online Task Placement on FPGAs: Free Space Partitioning and 2D-Hashing.” <i>Proceedings International Parallel and Distributed Processing Symposium</i>, IEEE CS Press, 2003, doi:<a href=\"https://doi.org/10.1109/ipdps.2003.1213329\">10.1109/ipdps.2003.1213329</a>.","bibtex":"@inproceedings{Walder_Steiger_Platzner_2003, title={Fast online task placement on FPGAs: free space partitioning and 2D-hashing}, DOI={<a href=\"https://doi.org/10.1109/ipdps.2003.1213329\">10.1109/ipdps.2003.1213329</a>}, booktitle={Proceedings International Parallel and Distributed Processing Symposium}, publisher={IEEE CS Press}, author={Walder, Herbert and Steiger, Christoph and Platzner, Marco}, year={2003} }","short":"H. Walder, C. Steiger, M. Platzner, in: Proceedings International Parallel and Distributed Processing Symposium, IEEE CS Press, 2003.","ama":"Walder H, Steiger C, Platzner M. Fast online task placement on FPGAs: free space partitioning and 2D-hashing. In: <i>Proceedings International Parallel and Distributed Processing Symposium</i>. IEEE CS Press; 2003. doi:<a href=\"https://doi.org/10.1109/ipdps.2003.1213329\">10.1109/ipdps.2003.1213329</a>","apa":"Walder, H., Steiger, C., &#38; Platzner, M. (2003). Fast online task placement on FPGAs: free space partitioning and 2D-hashing. In <i>Proceedings International Parallel and Distributed Processing Symposium</i>. IEEE CS Press. <a href=\"https://doi.org/10.1109/ipdps.2003.1213329\">https://doi.org/10.1109/ipdps.2003.1213329</a>","chicago":"Walder, Herbert, Christoph Steiger, and Marco Platzner. “Fast Online Task Placement on FPGAs: Free Space Partitioning and 2D-Hashing.” In <i>Proceedings International Parallel and Distributed Processing Symposium</i>. IEEE CS Press, 2003. <a href=\"https://doi.org/10.1109/ipdps.2003.1213329\">https://doi.org/10.1109/ipdps.2003.1213329</a>.","ieee":"H. Walder, C. Steiger, and M. Platzner, “Fast online task placement on FPGAs: free space partitioning and 2D-hashing,” in <i>Proceedings International Parallel and Distributed Processing Symposium</i>, 2003."},"department":[{"_id":"78"}],"publisher":"IEEE CS Press","publication":"Proceedings International Parallel and Distributed Processing Symposium","date_created":"2019-10-04T21:17:07Z","status":"public","publication_identifier":{"isbn":["0769519261"]},"type":"conference","year":"2003","language":[{"iso":"eng"}],"_id":"13613","date_updated":"2022-01-06T06:51:40Z"},{"status":"public","type":"conference","year":"2003","language":[{"iso":"eng"}],"publisher":"CSREA Press","publication":"Proceedings of the 3rd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)","date_created":"2019-10-04T21:20:30Z","date_updated":"2022-01-06T06:51:40Z","_id":"13614","page":"284-287","author":[{"full_name":"Walder, Herbert","first_name":"Herbert","last_name":"Walder"},{"last_name":"Platzner","id":"398","first_name":"Marco","full_name":"Platzner, Marco"}],"extern":"1","title":"Reconfigurable Hardware Operating Systems: From Design Concepts to Realizations","department":[{"_id":"78"}],"user_id":"398","citation":{"apa":"Walder, H., &#38; Platzner, M. (2003). Reconfigurable Hardware Operating Systems: From Design Concepts to Realizations. In <i>Proceedings of the 3rd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i> (pp. 284–287). CSREA Press.","ama":"Walder H, Platzner M. Reconfigurable Hardware Operating Systems: From Design Concepts to Realizations. In: <i>Proceedings of the 3rd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>. CSREA Press; 2003:284-287.","ieee":"H. Walder and M. Platzner, “Reconfigurable Hardware Operating Systems: From Design Concepts to Realizations,” in <i>Proceedings of the 3rd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>, 2003, pp. 284–287.","chicago":"Walder, Herbert, and Marco Platzner. “Reconfigurable Hardware Operating Systems: From Design Concepts to Realizations.” In <i>Proceedings of the 3rd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>, 284–87. CSREA Press, 2003.","bibtex":"@inproceedings{Walder_Platzner_2003, title={Reconfigurable Hardware Operating Systems: From Design Concepts to Realizations}, booktitle={Proceedings of the 3rd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)}, publisher={CSREA Press}, author={Walder, Herbert and Platzner, Marco}, year={2003}, pages={284–287} }","mla":"Walder, Herbert, and Marco Platzner. “Reconfigurable Hardware Operating Systems: From Design Concepts to Realizations.” <i>Proceedings of the 3rd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA)</i>, CSREA Press, 2003, pp. 284–87.","short":"H. Walder, M. Platzner, in: Proceedings of the 3rd International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2003, pp. 284–287."}},{"place":"Berlin, Heidelberg","doi":"10.1007/978-3-540-45234-8_56","title":"Heuristics for Online Scheduling Real-Time Tasks to Partially Reconfigurable Devices","extern":"1","author":[{"last_name":"Steiger","full_name":"Steiger, Christoph","first_name":"Christoph"},{"full_name":"Walder, Herbert","first_name":"Herbert","last_name":"Walder"},{"id":"398","last_name":"Platzner","full_name":"Platzner, Marco","first_name":"Marco"}],"department":[{"_id":"78"}],"citation":{"ama":"Steiger C, Walder H, Platzner M. Heuristics for Online Scheduling Real-Time Tasks to Partially Reconfigurable Devices. In: <i>Proceedings of the 13th International Conference on Field Programmable Logic and Applications (FPL)</i>. Berlin, Heidelberg: Springer; 2003:575-584. doi:<a href=\"https://doi.org/10.1007/978-3-540-45234-8_56\">10.1007/978-3-540-45234-8_56</a>","apa":"Steiger, C., Walder, H., &#38; Platzner, M. (2003). Heuristics for Online Scheduling Real-Time Tasks to Partially Reconfigurable Devices. In <i>Proceedings of the 13th International Conference on Field Programmable Logic and Applications (FPL)</i> (pp. 575–584). Berlin, Heidelberg: Springer. <a href=\"https://doi.org/10.1007/978-3-540-45234-8_56\">https://doi.org/10.1007/978-3-540-45234-8_56</a>","chicago":"Steiger, Christoph, Herbert Walder, and Marco Platzner. “Heuristics for Online Scheduling Real-Time Tasks to Partially Reconfigurable Devices.” In <i>Proceedings of the 13th International Conference on Field Programmable Logic and Applications (FPL)</i>, 575–84. Berlin, Heidelberg: Springer, 2003. <a href=\"https://doi.org/10.1007/978-3-540-45234-8_56\">https://doi.org/10.1007/978-3-540-45234-8_56</a>.","ieee":"C. Steiger, H. Walder, and M. Platzner, “Heuristics for Online Scheduling Real-Time Tasks to Partially Reconfigurable Devices,” in <i>Proceedings of the 13th International Conference on Field Programmable Logic and Applications (FPL)</i>, 2003, pp. 575–584.","mla":"Steiger, Christoph, et al. “Heuristics for Online Scheduling Real-Time Tasks to Partially Reconfigurable Devices.” <i>Proceedings of the 13th International Conference on Field Programmable Logic and Applications (FPL)</i>, Springer, 2003, pp. 575–84, doi:<a href=\"https://doi.org/10.1007/978-3-540-45234-8_56\">10.1007/978-3-540-45234-8_56</a>.","bibtex":"@inproceedings{Steiger_Walder_Platzner_2003, place={Berlin, Heidelberg}, title={Heuristics for Online Scheduling Real-Time Tasks to Partially Reconfigurable Devices}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-45234-8_56\">10.1007/978-3-540-45234-8_56</a>}, booktitle={Proceedings of the 13th International Conference on Field Programmable Logic and Applications (FPL)}, publisher={Springer}, author={Steiger, Christoph and Walder, Herbert and Platzner, Marco}, year={2003}, pages={575–584} }","short":"C. Steiger, H. Walder, M. Platzner, in: Proceedings of the 13th International Conference on Field Programmable Logic and Applications (FPL), Springer, Berlin, Heidelberg, 2003, pp. 575–584."},"publication_status":"published","user_id":"398","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783540408222","9783540452348"]},"type":"conference","year":"2003","status":"public","date_created":"2019-10-04T21:20:41Z","publication":"Proceedings of the 13th International Conference on Field Programmable Logic and Applications (FPL)","publisher":"Springer","date_updated":"2022-01-06T06:51:40Z","_id":"13615","page":"575-584"},{"title":"An ASM Based SystemC Simulation Semantics","editor":[{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"first_name":"Jürgen","full_name":"Ruf, Jürgen","last_name":"Ruf"},{"full_name":"Rosenstiel, Wolfgang","first_name":"Wolfgang","last_name":"Rosenstiel"}],"author":[{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"last_name":"Ruf","full_name":"Ruf, Jürgen","first_name":"Jürgen"},{"last_name":"Rosenstiel","first_name":"Wolfgang","full_name":"Rosenstiel, Wolfgang"}],"place":"Dordrecht","doi":"10.1007/0-306-48735-7_4","abstract":[{"lang":"eng","text":"We present a formal definition of the event based SystemC V2.0 simulation semantics by means of distributed Abstract State Machines (ASMs). Our definition provides a rigorous and concise, but yet readable, definition of the SystemC specific operations and their interaction with the simulation scheduler that covers channel updates, notify, notify_delayed, wait, and next_trigger operations. We present the semantics in the form of rules by means of distributed ASMs reflecting the lines of the SystemC V2.0 Standard Manuals and reference implementation. The semantics introduced is defined to complement the language reference manual with aprecise definition reflecting an abstract model of the SystemC reference implementation, which can be used for advanced applications and for investigating interoperabilities with other languages."}],"citation":{"ama":"Müller W, Ruf J, Rosenstiel W. An ASM Based SystemC Simulation Semantics. In: Müller W, Ruf J, Rosenstiel W, eds. <i>SystemC - Methodologies and Applications</i>. Kluwer; 2003:97-126. doi:<a href=\"https://doi.org/10.1007/0-306-48735-7_4\">10.1007/0-306-48735-7_4</a>","apa":"Müller, W., Ruf, J., &#38; Rosenstiel, W. (2003). An ASM Based SystemC Simulation Semantics. In W. Müller, J. Ruf, &#38; W. Rosenstiel (Eds.), <i>SystemC - Methodologies and Applications</i> (pp. 97–126). Kluwer. <a href=\"https://doi.org/10.1007/0-306-48735-7_4\">https://doi.org/10.1007/0-306-48735-7_4</a>","ieee":"W. Müller, J. Ruf, and W. Rosenstiel, “An ASM Based SystemC Simulation Semantics,” in <i>SystemC - Methodologies and Applications</i>, W. Müller, J. Ruf, and W. Rosenstiel, Eds. Dordrecht: Kluwer, 2003, pp. 97–126.","chicago":"Müller, Wolfgang, Jürgen Ruf, and Wolfgang Rosenstiel. “An ASM Based SystemC Simulation Semantics.” In <i>SystemC - Methodologies and Applications</i>, edited by Wolfgang Müller, Jürgen Ruf, and Wolfgang Rosenstiel, 97–126. Dordrecht: Kluwer, 2003. <a href=\"https://doi.org/10.1007/0-306-48735-7_4\">https://doi.org/10.1007/0-306-48735-7_4</a>.","bibtex":"@inbook{Müller_Ruf_Rosenstiel_2003, place={Dordrecht}, title={An ASM Based SystemC Simulation Semantics}, DOI={<a href=\"https://doi.org/10.1007/0-306-48735-7_4\">10.1007/0-306-48735-7_4</a>}, booktitle={SystemC - Methodologies and Applications}, publisher={Kluwer}, author={Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}, editor={Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}, year={2003}, pages={97–126} }","mla":"Müller, Wolfgang, et al. “An ASM Based SystemC Simulation Semantics.” <i>SystemC - Methodologies and Applications</i>, edited by Wolfgang Müller et al., Kluwer, 2003, pp. 97–126, doi:<a href=\"https://doi.org/10.1007/0-306-48735-7_4\">10.1007/0-306-48735-7_4</a>.","short":"W. Müller, J. Ruf, W. Rosenstiel, in: W. Müller, J. Ruf, W. Rosenstiel (Eds.), SystemC - Methodologies and Applications, Kluwer, Dordrecht, 2003, pp. 97–126."},"user_id":"5786","department":[{"_id":"672"}],"publication":"SystemC - Methodologies and Applications","date_created":"2022-12-15T11:30:32Z","publisher":"Kluwer","type":"book_chapter","publication_identifier":{"isbn":["978-0-306-48735-4"]},"year":"2003","language":[{"iso":"eng"}],"status":"public","page":"97 - 126","_id":"34446","date_updated":"2022-12-15T11:43:33Z"},{"citation":{"mla":"Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal State-Oriented OCL Constraints.” <i>Journal on Software and System Modeling (SoSyM)</i>, vol. 2, no. 3, Springer-Verlag, 2003, pp. 164–86, doi:<a href=\"https://doi.org/10.1007/s10270-003-0026-x\">10.1007/s10270-003-0026-x</a>.","bibtex":"@article{Flake_Müller_2003, title={Formal Semantics of Static and Temporal State-Oriented OCL Constraints}, volume={2}, DOI={<a href=\"https://doi.org/10.1007/s10270-003-0026-x\">10.1007/s10270-003-0026-x</a>}, number={3}, journal={Journal on Software and System Modeling (SoSyM)}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, year={2003}, pages={164–186} }","short":"S. Flake, W. Müller, Journal on Software and System Modeling (SoSyM) 2 (2003) 164–186.","apa":"Flake, S., &#38; Müller, W. (2003). Formal Semantics of Static and Temporal State-Oriented OCL Constraints. <i>Journal on Software and System Modeling (SoSyM)</i>, <i>2</i>(3), 164–186. <a href=\"https://doi.org/10.1007/s10270-003-0026-x\">https://doi.org/10.1007/s10270-003-0026-x</a>","ama":"Flake S, Müller W. Formal Semantics of Static and Temporal State-Oriented OCL Constraints. <i>Journal on Software and System Modeling (SoSyM)</i>. 2003;2(3):164-186. doi:<a href=\"https://doi.org/10.1007/s10270-003-0026-x\">10.1007/s10270-003-0026-x</a>","chicago":"Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal State-Oriented OCL Constraints.” <i>Journal on Software and System Modeling (SoSyM)</i> 2, no. 3 (2003): 164–86. <a href=\"https://doi.org/10.1007/s10270-003-0026-x\">https://doi.org/10.1007/s10270-003-0026-x</a>.","ieee":"S. Flake and W. Müller, “Formal Semantics of Static and Temporal State-Oriented OCL Constraints,” <i>Journal on Software and System Modeling (SoSyM)</i>, vol. 2, no. 3, pp. 164–186, 2003, doi: <a href=\"https://doi.org/10.1007/s10270-003-0026-x\">10.1007/s10270-003-0026-x</a>."},"department":[{"_id":"672"}],"author":[{"first_name":"Stephan","full_name":"Flake, Stephan","last_name":"Flake"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"intvolume":"         2","_id":"34565","date_updated":"2022-12-19T12:27:00Z","date_created":"2022-12-19T12:26:46Z","publisher":"Springer-Verlag","year":"2003","language":[{"iso":"eng"}],"status":"public","user_id":"5786","keyword":["Object Constraint Language     UML Statecharts     UML Profile     Real-time constraints     Temporal logics"],"title":"Formal Semantics of Static and Temporal State-Oriented OCL Constraints","abstract":[{"lang":"eng","text":"The textual Object Constraint Language (OCL) is primarily intended to specify restrictions over UML class diagrams, in particular class invariants, operation pre-, and postconditions. Based on several improvements in the definition of the language concepts in last years, a proposal for a new version of OCL has recently been published [43]. That document provides an extensive OCL semantic description that constitutes a tight integration into UML. However, OCL still lacks a semantic integration of UML Statecharts, although it can already be used to refer to states in OCL expressions.\r\n\r\nThis article presents an approach that closes this gap and introduces a formal semantics for such integration through a mathematical model. It also presents the definition of a temporal OCL extension by means of a UML Profile based on the metamodel of the latest OCL proposal. Our OCL extension enables modelers to specify behavioral state-oriented real-time constraints. It provides an intuitive understanding and readability at application level since common OCL syntax and concepts are preserved. A well-defined formal semantics is given through the mapping of temporal OCL expressions to temporal logics formulae. "}],"doi":"10.1007/s10270-003-0026-x","page":"164-186","volume":2,"issue":"3","publication":"Journal on Software and System Modeling (SoSyM)","type":"journal_article"},{"citation":{"short":"M. Ernst, Asymptotische Optimalität von LZ77 bei beschränktem Speicher, 2003.","mla":"Ernst, Matthias. <i>Asymptotische Optimalität von LZ77 bei beschränktem Speicher</i>. 2003.","bibtex":"@book{Ernst_2003, title={Asymptotische Optimalität von LZ77 bei beschränktem Speicher}, author={Ernst, Matthias}, year={2003} }","chicago":"Ernst, Matthias. <i>Asymptotische Optimalität von LZ77 bei beschränktem Speicher</i>, 2003.","ieee":"M. Ernst, <i>Asymptotische Optimalität von LZ77 bei beschränktem Speicher</i>. 2003.","ama":"Ernst M. <i>Asymptotische Optimalität von LZ77 bei beschränktem Speicher</i>.; 2003.","apa":"Ernst, M. (2003). <i>Asymptotische Optimalität von LZ77 bei beschränktem Speicher</i>."},"user_id":"41047","department":[{"_id":"34"},{"_id":"64"}],"title":"Asymptotische Optimalität von LZ77 bei beschränktem Speicher","author":[{"last_name":"Ernst","first_name":"Matthias","full_name":"Ernst, Matthias"}],"_id":"47641","date_updated":"2023-10-05T13:39:01Z","date_created":"2023-10-05T13:33:11Z","language":[{"iso":"ger"}],"year":"2003","type":"bachelorsthesis","status":"public"},{"department":[{"_id":"34"},{"_id":"64"}],"citation":{"short":"K. Voß, Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen, 2003.","mla":"Voß, Kerstin. <i>Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen</i>. 2003.","bibtex":"@book{Voß_2003, title={Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen}, author={Voß, Kerstin}, year={2003} }","chicago":"Voß, Kerstin. <i>Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen</i>, 2003.","ieee":"K. Voß, <i>Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen</i>. 2003.","ama":"Voß K. <i>Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen</i>.; 2003.","apa":"Voß, K. (2003). <i>Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen</i>."},"user_id":"41047","title":"Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen","author":[{"last_name":"Voß","first_name":"Kerstin","full_name":"Voß, Kerstin"}],"date_updated":"2023-10-05T13:39:08Z","_id":"47635","type":"bachelorsthesis","year":"2003","language":[{"iso":"ger"}],"status":"public","date_created":"2023-10-05T13:30:48Z"},{"citation":{"apa":"Hoppe, U. (2003). <i>Markovprozesse zur Modellierung bei Codekompression</i>.","ama":"Hoppe U. <i>Markovprozesse zur Modellierung bei Codekompression</i>.; 2003.","ieee":"U. Hoppe, <i>Markovprozesse zur Modellierung bei Codekompression</i>. 2003.","chicago":"Hoppe, Ulrich. <i>Markovprozesse zur Modellierung bei Codekompression</i>, 2003.","bibtex":"@book{Hoppe_2003, title={Markovprozesse zur Modellierung bei Codekompression}, author={Hoppe, Ulrich}, year={2003} }","mla":"Hoppe, Ulrich. <i>Markovprozesse zur Modellierung bei Codekompression</i>. 2003.","short":"U. Hoppe, Markovprozesse zur Modellierung bei Codekompression, 2003."},"user_id":"41047","oa":"1","keyword":["Diplomarbeit"],"department":[{"_id":"34"},{"_id":"64"}],"title":"Markovprozesse zur Modellierung bei Codekompression","author":[{"last_name":"Hoppe","full_name":"Hoppe, Ulrich","first_name":"Ulrich"}],"file":[{"creator":"bhenrik","file_name":"2003_Hoppe_MarkowprozesseZurModellierungBeiCodekompression.ps","file_size":1902248,"access_level":"open_access","content_type":"application/postscript","file_id":"47724","date_created":"2023-10-05T16:38:12Z","date_updated":"2023-10-05T16:54:38Z","relation":"main_file"}],"has_accepted_license":"1","file_date_updated":"2023-10-05T16:54:38Z","_id":"47696","date_updated":"2023-10-05T16:54:38Z","ddc":["000"],"date_created":"2023-10-05T16:38:19Z","year":"2003","type":"misc","language":[{"iso":"ger"}],"status":"public"},{"has_accepted_license":"1","file":[{"file_name":"2003_Unterkircher_ImplementierungEinesArithmetischenDekodierersInJava.pdf","file_size":809237,"creator":"bhenrik","date_created":"2023-10-05T22:03:44Z","access_level":"open_access","file_id":"47787","content_type":"application/pdf","relation":"main_file","date_updated":"2023-10-05T22:08:27Z"}],"author":[{"last_name":"Unterkirchner","full_name":"Unterkirchner, Claudia","first_name":"Claudia"}],"title":"Implementierung eines arithmetischen Dekodierers in Java","department":[{"_id":"34"},{"_id":"64"}],"user_id":"41047","oa":"1","citation":{"short":"C. Unterkirchner, Implementierung eines arithmetischen Dekodierers in Java, 2003.","bibtex":"@book{Unterkirchner_2003, title={Implementierung eines arithmetischen Dekodierers in Java}, author={Unterkirchner, Claudia}, year={2003} }","mla":"Unterkirchner, Claudia. <i>Implementierung eines arithmetischen Dekodierers in Java</i>. 2003.","ieee":"C. Unterkirchner, <i>Implementierung eines arithmetischen Dekodierers in Java</i>. 2003.","chicago":"Unterkirchner, Claudia. <i>Implementierung eines arithmetischen Dekodierers in Java</i>, 2003.","ama":"Unterkirchner C. <i>Implementierung eines arithmetischen Dekodierers in Java</i>.; 2003.","apa":"Unterkirchner, C. (2003). <i>Implementierung eines arithmetischen Dekodierers in Java</i>."},"status":"public","year":"2003","type":"bachelorsthesis","language":[{"iso":"ger"}],"ddc":["000"],"date_created":"2023-10-05T13:31:16Z","date_updated":"2023-10-05T22:08:27Z","_id":"47636","file_date_updated":"2023-10-05T22:08:27Z"},{"ddc":["000"],"date_created":"2023-10-05T13:32:54Z","status":"public","year":"2003","type":"bachelorsthesis","language":[{"iso":"ger"}],"_id":"47640","file_date_updated":"2023-10-05T22:08:52Z","date_updated":"2023-10-05T22:08:52Z","file":[{"access_level":"open_access","content_type":"application/pdf","file_id":"47788","date_created":"2023-10-05T22:04:08Z","creator":"bhenrik","file_name":"2003_Kuntze_TabellenbasierteArithmetischeCodierung.pdf","file_size":304544,"date_updated":"2023-10-05T22:08:52Z","relation":"main_file"}],"author":[{"last_name":"Kuntze","full_name":"Kuntze, Daniel","first_name":"Daniel"}],"title":"Tabellenbasierte arithmetische Codierung","has_accepted_license":"1","user_id":"41047","oa":"1","citation":{"ieee":"D. Kuntze, <i>Tabellenbasierte arithmetische Codierung</i>. 2003.","chicago":"Kuntze, Daniel. <i>Tabellenbasierte arithmetische Codierung</i>, 2003.","apa":"Kuntze, D. (2003). <i>Tabellenbasierte arithmetische Codierung</i>.","ama":"Kuntze D. <i>Tabellenbasierte arithmetische Codierung</i>.; 2003.","short":"D. Kuntze, Tabellenbasierte arithmetische Codierung, 2003.","bibtex":"@book{Kuntze_2003, title={Tabellenbasierte arithmetische Codierung}, author={Kuntze, Daniel}, year={2003} }","mla":"Kuntze, Daniel. <i>Tabellenbasierte arithmetische Codierung</i>. 2003."},"department":[{"_id":"34"},{"_id":"64"}]},{"title":"Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision","author":[{"last_name":"Soltenborn","full_name":"Soltenborn, Christian","first_name":"Christian"}],"citation":{"bibtex":"@book{Soltenborn_2003, title={Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision}, author={Soltenborn, Christian}, year={2003} }","mla":"Soltenborn, Christian. <i>Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision</i>. 2003.","short":"C. Soltenborn, Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision, 2003.","ama":"Soltenborn C. <i>Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision</i>.; 2003.","apa":"Soltenborn, C. (2003). <i>Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision</i>.","ieee":"C. Soltenborn, <i>Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision</i>. 2003.","chicago":"Soltenborn, Christian. <i>Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision</i>, 2003."},"user_id":"41047","department":[{"_id":"34"},{"_id":"64"}],"date_created":"2023-10-05T13:32:10Z","type":"bachelorsthesis","year":"2003","language":[{"iso":"ger"}],"status":"public","_id":"47638","date_updated":"2023-10-05T13:39:29Z"},{"_id":"47637","date_updated":"2023-10-05T13:39:26Z","date_created":"2023-10-05T13:31:45Z","status":"public","language":[{"iso":"ger"}],"type":"bachelorsthesis","year":"2003","user_id":"41047","citation":{"short":"C. Todtenbier, Implementierung eines arithmetischen Kodierers in Java, 2003.","mla":"Todtenbier, Christian. <i>Implementierung eines arithmetischen Kodierers in Java</i>. 2003.","bibtex":"@book{Todtenbier_2003, title={Implementierung eines arithmetischen Kodierers in Java}, author={Todtenbier, Christian}, year={2003} }","chicago":"Todtenbier, Christian. <i>Implementierung eines arithmetischen Kodierers in Java</i>, 2003.","ieee":"C. Todtenbier, <i>Implementierung eines arithmetischen Kodierers in Java</i>. 2003.","ama":"Todtenbier C. <i>Implementierung eines arithmetischen Kodierers in Java</i>.; 2003.","apa":"Todtenbier, C. (2003). <i>Implementierung eines arithmetischen Kodierers in Java</i>."},"department":[{"_id":"34"},{"_id":"64"}],"author":[{"full_name":"Todtenbier, Christian","first_name":"Christian","last_name":"Todtenbier"}],"title":"Implementierung eines arithmetischen Kodierers in Java"},{"year":"2003","type":"bachelorsthesis","language":[{"iso":"eng"}],"status":"public","date_created":"2023-10-05T13:30:15Z","date_updated":"2023-10-05T13:39:11Z","_id":"47634","title":"Fehlerangriffe auf spezielle Implementierungen von RSA","author":[{"full_name":"Ziegler, Max","first_name":"Max","last_name":"Ziegler"}],"department":[{"_id":"34"},{"_id":"64"}],"citation":{"mla":"Ziegler, Max. <i>Fehlerangriffe Auf Spezielle Implementierungen von RSA</i>. 2003.","bibtex":"@book{Ziegler_2003, title={Fehlerangriffe auf spezielle Implementierungen von RSA}, author={Ziegler, Max}, year={2003} }","short":"M. Ziegler, Fehlerangriffe Auf Spezielle Implementierungen von RSA, 2003.","apa":"Ziegler, M. (2003). <i>Fehlerangriffe auf spezielle Implementierungen von RSA</i>.","ama":"Ziegler M. <i>Fehlerangriffe Auf Spezielle Implementierungen von RSA</i>.; 2003.","chicago":"Ziegler, Max. <i>Fehlerangriffe Auf Spezielle Implementierungen von RSA</i>, 2003.","ieee":"M. Ziegler, <i>Fehlerangriffe auf spezielle Implementierungen von RSA</i>. 2003."},"user_id":"41047"},{"date_created":"2023-10-05T13:32:32Z","language":[{"iso":"ger"}],"year":"2003","type":"bachelorsthesis","status":"public","_id":"47639","date_updated":"2023-10-05T13:42:10Z","title":"Verkürzte Huffman-Codierung zur Codekompression","author":[{"last_name":"Lindner","first_name":"Marvin","full_name":"Lindner, Marvin"}],"citation":{"mla":"Lindner, Marvin. <i>Verkürzte Huffman-Codierung zur Codekompression</i>. 2003.","bibtex":"@book{Lindner_2003, title={Verkürzte Huffman-Codierung zur Codekompression}, author={Lindner, Marvin}, year={2003} }","short":"M. Lindner, Verkürzte Huffman-Codierung zur Codekompression, 2003.","ama":"Lindner M. <i>Verkürzte Huffman-Codierung zur Codekompression</i>.; 2003.","apa":"Lindner, M. (2003). <i>Verkürzte Huffman-Codierung zur Codekompression</i>.","chicago":"Lindner, Marvin. <i>Verkürzte Huffman-Codierung zur Codekompression</i>, 2003.","ieee":"M. Lindner, <i>Verkürzte Huffman-Codierung zur Codekompression</i>. 2003."},"user_id":"41047","department":[{"_id":"34"},{"_id":"64"}]},{"department":[{"_id":"34"},{"_id":"64"}],"citation":{"mla":"Ackermann, Marcel R. <i>Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten</i>. 2003.","bibtex":"@book{Ackermann_2003, title={Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten}, author={Ackermann, Marcel R.}, year={2003} }","short":"M.R. Ackermann, Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten, 2003.","apa":"Ackermann, M. R. (2003). <i>Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten</i>.","ama":"Ackermann MR. <i>Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten</i>.; 2003.","chicago":"Ackermann, Marcel R. <i>Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten</i>, 2003.","ieee":"M. R. Ackermann, <i>Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten</i>. 2003."},"keyword":["Diplomarbeit"],"user_id":"41047","oa":"1","has_accepted_license":"1","title":"Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten","file":[{"creator":"bhenrik","file_name":"2003_Ackermann_TabellenbasierteArithmetischeKodierungBeiAllgemeinenAlphabeten.ps","file_size":8764824,"content_type":"application/postscript","file_id":"47722","access_level":"open_access","date_created":"2023-10-05T16:37:41Z","date_updated":"2023-10-05T16:54:32Z","relation":"main_file"}],"author":[{"full_name":"Ackermann, Marcel R.","first_name":"Marcel R.","last_name":"Ackermann"}],"date_updated":"2023-10-05T16:54:32Z","_id":"47695","file_date_updated":"2023-10-05T16:54:32Z","language":[{"iso":"ger"}],"type":"misc","year":"2003","status":"public","date_created":"2023-10-05T16:37:47Z","ddc":["000"]},{"_id":"39357","date_updated":"2023-01-24T09:35:11Z","publication":"Proceedings of CE 2003","date_created":"2023-01-24T09:35:07Z","type":"conference","year":"2003","language":[{"iso":"eng"}],"status":"public","citation":{"mla":"Kostienko, Tomasz, et al. “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation.” <i>Proceedings of CE 2003</i>, 2003.","ama":"Kostienko T, Müller W, Pawlak A, Schattkowsky T. An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation. In: <i>Proceedings of CE 2003</i>. ; 2003.","bibtex":"@inproceedings{Kostienko_Müller_Pawlak_Schattkowsky_2003, place={Madeira, Portugal}, title={An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation}, booktitle={Proceedings of CE 2003}, author={Kostienko, Tomasz and Müller, Wolfgang and Pawlak, Adam and Schattkowsky, Tim}, year={2003} }","apa":"Kostienko, T., Müller, W., Pawlak, A., &#38; Schattkowsky, T. (2003). An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation. <i>Proceedings of CE 2003</i>.","chicago":"Kostienko, Tomasz, Wolfgang Müller, Adam Pawlak, and Tim Schattkowsky. “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation.” In <i>Proceedings of CE 2003</i>. Madeira, Portugal, 2003.","short":"T. Kostienko, W. Müller, A. Pawlak, T. Schattkowsky, in: Proceedings of CE 2003, Madeira, Portugal, 2003.","ieee":"T. Kostienko, W. Müller, A. Pawlak, and T. Schattkowsky, “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation,” 2003."},"user_id":"5786","department":[{"_id":"672"}],"title":"An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation","author":[{"full_name":"Kostienko, Tomasz","first_name":"Tomasz","last_name":"Kostienko"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"last_name":"Pawlak","full_name":"Pawlak, Adam","first_name":"Adam"},{"last_name":"Schattkowsky","first_name":"Tim","full_name":"Schattkowsky, Tim"}],"place":"Madeira, Portugal","abstract":[{"text":"Engineering collaboration gets its new global dimension with the omnipotent access to Internet. Engineers have severe requirements concerning: security of design data, quality of net connections, easiness of collaboration, etc. This article presents visions and middleware architecture to establish pan-European col- laborative engineering infrastructure and its application in the field of Electronic Design Automation (EDA). We present a transparent infrastructure to engineers to enable their Internet-based collaboration during the de- sign of complex electronic systems. In thi s context, we introduce an advanced collaborative infrastructure (ACI) for distance spanning, tool integration, and administration as well as open interfaces for XML-based data exchange. ACI constitutes a backbone for our collaborative research and engineering studies by fostering a combination of most recent plug-and-play technologies and secure, peer-to-peer data transfer with XML- based tool integration. ACI and its deployments have been developed with the EU project E-Colleg (IST- 1999-11746).","lang":"eng"}]},{"publication":"Proceedings of HICCS-36","date_created":"2023-01-24T09:33:08Z","year":"2003","type":"conference","language":[{"iso":"eng"}],"status":"public","_id":"39355","date_updated":"2023-01-24T09:33:14Z","title":"Peer-to-Peer for Virtual Home Environments","author":[{"last_name":"Loeser","first_name":"Chris","full_name":"Loeser, Chris"},{"first_name":"Wolfgang","full_name":"Müller, Wolfgang","last_name":"Müller","id":"16243"},{"first_name":"Franz","full_name":"Berger, Franz","last_name":"Berger"},{"full_name":"Eikerling, Heinz-Josef","first_name":"Heinz-Josef","last_name":"Eikerling"}],"place":"Hawaii, USA","abstract":[{"text":"This pap er presents an approach to extend OSGi\r\nserver based home networks with JXTA's p eer-to-\r\np eer (P2P) technology to a multi-server home envi-\r\nronment connecting multiple private home networks\r\nto one true virtual environment for communication,\r\nmedia sharing/exchange, and distributed device con-\r\ntrol. We elab orate on the basic integration metho d-\r\nology and extend it to a general, security preserv-\r\ning, architectural concept based on a two level inte-\r\ngration concept for inhome and interhome networks.\r\nThe integration is achieved through additional OSGi\r\nservices for the management of virtual devices, p eer-\r\nto-p eer communication, and authentication. The ex-\r\nample of a Quality of Service based video streaming\r\nmanagement demonstrates one of the p otential ad-\r\nvanced application for which p eer-to-p eer can b e used\r\nin addition.","lang":"eng"}],"citation":{"short":"C. Loeser, W. Müller, F. Berger, H.-J. Eikerling, in: Proceedings of HICCS-36, Hawaii, USA, 2003.","bibtex":"@inproceedings{Loeser_Müller_Berger_Eikerling_2003, place={Hawaii, USA}, title={Peer-to-Peer for Virtual Home Environments}, booktitle={Proceedings of HICCS-36}, author={Loeser, Chris and Müller, Wolfgang and Berger, Franz and Eikerling, Heinz-Josef}, year={2003} }","mla":"Loeser, Chris, et al. “Peer-to-Peer for Virtual Home Environments.” <i>Proceedings of HICCS-36</i>, 2003.","ieee":"C. Loeser, W. Müller, F. Berger, and H.-J. Eikerling, “Peer-to-Peer for Virtual Home Environments,” 2003.","chicago":"Loeser, Chris, Wolfgang Müller, Franz Berger, and Heinz-Josef Eikerling. “Peer-to-Peer for Virtual Home Environments.” In <i>Proceedings of HICCS-36</i>. Hawaii, USA, 2003.","apa":"Loeser, C., Müller, W., Berger, F., &#38; Eikerling, H.-J. (2003). Peer-to-Peer for Virtual Home Environments. <i>Proceedings of HICCS-36</i>.","ama":"Loeser C, Müller W, Berger F, Eikerling H-J. Peer-to-Peer for Virtual Home Environments. In: <i>Proceedings of HICCS-36</i>. ; 2003."},"user_id":"5786","department":[{"_id":"672"}]},{"citation":{"apa":"Eikerling, H.-J., Müller, W., Schattkowski, T., &#38; Wegner, J. (2003). Tool Integration and Management in Heterogeneous Computer Networks. <i>Proceedings of DATE’03</i>.","bibtex":"@inproceedings{Eikerling_Müller_Schattkowski_Wegner_2003, place={Munich, Germany}, title={Tool Integration and Management in Heterogeneous Computer Networks}, booktitle={Proceedings of DATE’03}, author={Eikerling, Heinz-Josef and Müller, Wolfgang and Schattkowski, Tim and Wegner, J.}, year={2003} }","ama":"Eikerling H-J, Müller W, Schattkowski T, Wegner J. Tool Integration and Management in Heterogeneous Computer Networks. In: <i>Proceedings of DATE’03</i>. ; 2003.","mla":"Eikerling, Heinz-Josef, et al. “Tool Integration and Management in Heterogeneous Computer Networks.” <i>Proceedings of DATE’03</i>, 2003.","ieee":"H.-J. Eikerling, W. Müller, T. Schattkowski, and J. Wegner, “Tool Integration and Management in Heterogeneous Computer Networks,” 2003.","chicago":"Eikerling, Heinz-Josef, Wolfgang Müller, Tim Schattkowski, and J. Wegner. “Tool Integration and Management in Heterogeneous Computer Networks.” In <i>Proceedings of DATE’03</i>. Munich, Germany, 2003.","short":"H.-J. Eikerling, W. Müller, T. Schattkowski, J. Wegner, in: Proceedings of DATE’03, Munich, Germany, 2003."},"user_id":"5786","department":[{"_id":"672"}],"title":"Tool Integration and Management in Heterogeneous Computer Networks","author":[{"first_name":"Heinz-Josef","full_name":"Eikerling, Heinz-Josef","last_name":"Eikerling"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"},{"full_name":"Schattkowski, Tim","first_name":"Tim","last_name":"Schattkowski"},{"last_name":"Wegner","full_name":"Wegner, J.","first_name":"J."}],"place":"Munich, Germany","_id":"39354","date_updated":"2023-01-24T09:31:12Z","publication":"Proceedings of DATE’03","date_created":"2023-01-24T09:31:07Z","year":"2003","type":"conference","language":[{"iso":"eng"}],"status":"public"}]