[{"publication":"Proceedings of HICCS-37","citation":{"bibtex":"@inproceedings{Müller_Schäfer_Bleul_2004, place={Waikoloa, HI, USA}, title={Interactive Multimodal User Interfaces for Mobile Devices}, DOI={<a href=\"https://doi.org/10.1109/HICSS.2004.1265674\">10.1109/HICSS.2004.1265674</a>}, booktitle={Proceedings of HICCS-37}, author={Müller, Wolfgang and Schäfer, Robbie and Bleul, Steffen}, year={2004} }","ama":"Müller W, Schäfer R, Bleul S. Interactive Multimodal User Interfaces for Mobile Devices. In: <i>Proceedings of HICCS-37</i>. ; 2004. doi:<a href=\"https://doi.org/10.1109/HICSS.2004.1265674\">10.1109/HICSS.2004.1265674</a>","mla":"Müller, Wolfgang, et al. “Interactive Multimodal User Interfaces for Mobile Devices.” <i>Proceedings of HICCS-37</i>, 2004, doi:<a href=\"https://doi.org/10.1109/HICSS.2004.1265674\">10.1109/HICSS.2004.1265674</a>.","short":"W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.","chicago":"Müller, Wolfgang, Robbie Schäfer, and Steffen Bleul. “Interactive Multimodal User Interfaces for Mobile Devices.” In <i>Proceedings of HICCS-37</i>. Waikoloa, HI, USA, 2004. <a href=\"https://doi.org/10.1109/HICSS.2004.1265674\">https://doi.org/10.1109/HICSS.2004.1265674</a>.","ieee":"W. Müller, R. Schäfer, and S. Bleul, “Interactive Multimodal User Interfaces for Mobile Devices,” presented at the 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA, 2004, doi: <a href=\"https://doi.org/10.1109/HICSS.2004.1265674\">10.1109/HICSS.2004.1265674</a>.","apa":"Müller, W., Schäfer, R., &#38; Bleul, S. (2004). Interactive Multimodal User Interfaces for Mobile Devices. <i>Proceedings of HICCS-37</i>. 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA. <a href=\"https://doi.org/10.1109/HICSS.2004.1265674\">https://doi.org/10.1109/HICSS.2004.1265674</a>"},"abstract":[{"lang":"eng","text":"Portable devices come with different limitations in user interaction like limited display size, small keyboard, and different sorts of input and output capabilities. With the advance of speech recognition and speech synthesis technologies, their complementary use becomes attractive for mobile devices in order to implement real multimodal user interaction. However, current systems and formats do not sufficiently integrate advanced multimodal interactions. We introduce an advanced generic multimodal interaction and rendering system (MIRS) dedicated for mobile devices. MIRS incorporates efficient processing of XML specification languages for limited, mobile devices and comes with the XML-based dialog and interface specification language (DISL). DISL can be considered as an UIML subset, which is enhanced by the means of state-oriented dialog specifications. The dialog specification is based on ODSN (object oriented dialog specification notation), which has been introduced to define user interface control by means of interaction states with transition rules."}],"date_created":"2023-01-24T08:46:31Z","place":"Waikoloa, HI, USA","keyword":["User interfaces","Speech recognition","Streaming media","Specification languages","Keyboards","Speech synthesis","Rendering (computer graphics)","Ambient intelligence","Humans","Displays"],"type":"conference","department":[{"_id":"672"}],"status":"public","title":"Interactive Multimodal User Interfaces for Mobile Devices","year":"2004","author":[{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"full_name":"Schäfer, Robbie","last_name":"Schäfer","first_name":"Robbie"},{"first_name":"Steffen","last_name":"Bleul","full_name":"Bleul, Steffen"}],"publication_identifier":{"isbn":["0-7695-2056-1"]},"conference":{"location":"Waikoloa, HI, USA","name":"37th Annual Hawaii International Conference on System Sciences"},"date_updated":"2023-01-24T08:46:37Z","language":[{"iso":"eng"}],"_id":"39053","user_id":"5786","doi":"10.1109/HICSS.2004.1265674"},{"conference":{"name":" Forum on specification and Design Languages","location":"Lille, France"},"author":[{"last_name":"Zambaldi","first_name":"Martin","full_name":"Zambaldi, Martin"},{"full_name":"Ecker, Wolfgang","first_name":"Wolfgang","last_name":"Ecker"},{"full_name":"Kruse, Thilo","last_name":"Kruse","first_name":"Thilo"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"title":"The Formal Simulation Semantics of SystemVerilog","year":"2004","status":"public","date_updated":"2023-01-24T08:49:57Z","language":[{"iso":"eng"}],"_id":"39055","user_id":"5786","citation":{"ama":"Zambaldi M, Ecker W, Kruse T, Müller W. The Formal Simulation Semantics of SystemVerilog. In: <i>Proceedings of FDL’04</i>. ; 2004.","bibtex":"@inproceedings{Zambaldi_Ecker_Kruse_Müller_2004, place={Lille, France}, title={The Formal Simulation Semantics of SystemVerilog}, booktitle={Proceedings of FDL’04}, author={Zambaldi, Martin and Ecker, Wolfgang and Kruse, Thilo and Müller, Wolfgang}, year={2004} }","mla":"Zambaldi, Martin, et al. “The Formal Simulation Semantics of SystemVerilog.” <i>Proceedings of FDL’04</i>, 2004.","short":"M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.","chicago":"Zambaldi, Martin, Wolfgang Ecker, Thilo Kruse, and Wolfgang Müller. “The Formal Simulation Semantics of SystemVerilog.” In <i>Proceedings of FDL’04</i>. Lille, France, 2004.","apa":"Zambaldi, M., Ecker, W., Kruse, T., &#38; Müller, W. (2004). The Formal Simulation Semantics of SystemVerilog. <i>Proceedings of FDL’04</i>.  Forum on specification and Design Languages, Lille, France.","ieee":"M. Zambaldi, W. Ecker, T. Kruse, and W. Müller, “The Formal Simulation Semantics of SystemVerilog,” presented at the  Forum on specification and Design Languages, Lille, France, 2004."},"publication":"Proceedings of FDL’04","abstract":[{"lang":"eng","text":"We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the simulation scheduler including the management of new SystemVerilog regions. We present our definition in form of distributed Abstract State Machines (ASMs) rules reflecting the view given in the SystemVerilog Language Reference Manual [1]. Our formal semantics is a concise, unambiguous, high-level specification for SystemVerilog-based implementations and for investigation of interoperabilities of SystemVerilog with SpecC, SystemC, and VHDL."}],"place":"Lille, France","date_created":"2023-01-24T08:49:51Z","department":[{"_id":"672"}],"type":"conference"},{"department":[{"_id":"672"}],"type":"conference","date_created":"2023-01-24T08:51:13Z","place":"Paris","citation":{"bibtex":"@inproceedings{Schattkowsky_Müller_2004, place={Paris}, title={Model-Based Specification and Execution of Embedded Real-Time Systems}, booktitle={Proceedings of DATE’04}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2004} }","ama":"Schattkowsky T, Müller W. Model-Based Specification and Execution of Embedded Real-Time Systems. In: <i>Proceedings of DATE’04</i>. ; 2004.","mla":"Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution of Embedded Real-Time Systems.” <i>Proceedings of DATE’04</i>, 2004.","chicago":"Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution of Embedded Real-Time Systems.” In <i>Proceedings of DATE’04</i>. Paris, 2004.","short":"T. Schattkowsky, W. Müller, in: Proceedings of DATE’04, Paris, 2004.","ieee":"T. Schattkowsky and W. Müller, “Model-Based Specification and Execution of Embedded Real-Time Systems,” 2004.","apa":"Schattkowsky, T., &#38; Müller, W. (2004). Model-Based Specification and Execution of Embedded Real-Time Systems. <i>Proceedings of DATE’04</i>."},"publication":"Proceedings of DATE’04","user_id":"5786","language":[{"iso":"eng"}],"_id":"39060","date_updated":"2023-01-24T08:51:22Z","author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"}],"status":"public","year":"2004","title":"Model-Based Specification and Execution of Embedded Real-Time Systems"},{"abstract":[{"text":"This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML state diagrams, which are translated to the formal B language and are model checked for real-time properties. By means of the B language and a B theorem prover, refined state diagrams are verified against their abstract representation. The approach is presented by means of the refinement of a digital echo cancellation unit.","lang":"eng"}],"publication":"Proceedings of DATE’04 Designers' Forum","citation":{"mla":"Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” <i>Proceedings of DATE’04 Designers’ Forum</i>, 2004, doi:<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>.","ama":"Krupp A, Müller W, Oliver I. Formal Refinement and Model Checking of An Echo Cancellation Unit. In: <i>Proceedings of DATE’04 Designers’ Forum</i>. ; 2004. doi:<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>","bibtex":"@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement and Model Checking of An Echo Cancellation Unit}, DOI={<a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>}, booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, year={2004} }","apa":"Krupp, A., Müller, W., &#38; Oliver, I. (2004). Formal Refinement and Model Checking of An Echo Cancellation Unit. <i>Proceedings of DATE’04 Designers’ Forum</i>. Proceedings Design, Automation and Test in Europe Conference and Exhibition. <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">https://doi.org/10.1109/DATE.2004.1269214</a>","ieee":"A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, doi: <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">10.1109/DATE.2004.1269214</a>.","chicago":"Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” In <i>Proceedings of DATE’04 Designers’ Forum</i>. Paris, 2004. <a href=\"https://doi.org/10.1109/DATE.2004.1269214\">https://doi.org/10.1109/DATE.2004.1269214</a>.","short":"A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004."},"keyword":["Echo cancellers","Logic","Unified modeling language","Automata","Data structures","Boolean functions","Electronic design automation and methodology","Prototypes","Specification languages","Constraint theory"],"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-24T08:53:26Z","place":"Paris","date_updated":"2023-01-24T08:53:31Z","year":"2004","status":"public","title":"Formal Refinement and Model Checking of An Echo Cancellation Unit","author":[{"full_name":"Krupp, Alexander","first_name":"Alexander","last_name":"Krupp"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"last_name":"Oliver","first_name":"Ian","full_name":"Oliver, Ian"}],"publication_identifier":{"isbn":["0-7695-2085-5"]},"conference":{"name":"Proceedings Design, Automation and Test in Europe Conference and Exhibition"},"user_id":"5786","doi":"10.1109/DATE.2004.1269214","language":[{"iso":"eng"}],"_id":"39061"},{"date_created":"2023-01-24T08:55:41Z","place":"Magdeburg","type":"conference","department":[{"_id":"672"}],"publication":"Proceedings of the Simulation and Visualisation 2004","citation":{"ieee":"W. Müller and V. Paelke, “A Formal Model of a Framework for Simulation-Based Animation,” 2004.","apa":"Müller, W., &#38; Paelke, V. (2004). A Formal Model of a Framework for Simulation-Based Animation. <i>Proceedings of the Simulation and Visualisation 2004</i>.","chicago":"Müller, Wolfgang, and Volker Paelke. “A Formal Model of a Framework for Simulation-Based Animation.” In <i>Proceedings of the Simulation and Visualisation 2004</i>. Magdeburg, 2004.","short":"W. Müller, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.","mla":"Müller, Wolfgang, and Volker Paelke. “A Formal Model of a Framework for Simulation-Based Animation.” <i>Proceedings of the Simulation and Visualisation 2004</i>, 2004.","bibtex":"@inproceedings{Müller_Paelke_2004, place={Magdeburg}, title={A Formal Model of a Framework for Simulation-Based Animation}, booktitle={Proceedings of the Simulation and Visualisation 2004}, author={Müller, Wolfgang and Paelke, Volker}, year={2004} }","ama":"Müller W, Paelke V. A Formal Model of a Framework for Simulation-Based Animation. In: <i>Proceedings of the Simulation and Visualisation 2004</i>. ; 2004."},"_id":"39063","language":[{"iso":"eng"}],"user_id":"5786","title":"A Formal Model of a Framework for Simulation-Based Animation","status":"public","year":"2004","author":[{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"},{"full_name":"Paelke, Volker","last_name":"Paelke","first_name":"Volker"}],"date_updated":"2023-01-24T08:55:46Z"},{"publication_identifier":{"isbn":["0-7695-2051-0"]},"author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"first_name":"Chris","last_name":"Loeser","full_name":"Loeser, Chris"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"conference":{"location":"Fukuoka, Japan ","name":" 18th International Conference on Advanced Information Networking and Applications"},"year":"2004","status":"public","title":"Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks","date_updated":"2023-01-24T09:06:02Z","_id":"39071","publisher":"IEEE","language":[{"iso":"eng"}],"user_id":"5786","doi":"10.1109/AINA.2004.1283977","citation":{"ama":"Schattkowsky T, Loeser C, Müller W. Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. In: <i>Proceedings of AINA2004</i>. IEEE; 2004. doi:<a href=\"https://doi.org/10.1109/AINA.2004.1283977\">10.1109/AINA.2004.1283977</a>","bibtex":"@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Fukuoka, Japan }, title={Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks}, DOI={<a href=\"https://doi.org/10.1109/AINA.2004.1283977\">10.1109/AINA.2004.1283977</a>}, booktitle={Proceedings of AINA2004}, publisher={IEEE}, author={Schattkowsky, Tim and Loeser, Chris and Müller, Wolfgang}, year={2004} }","mla":"Schattkowsky, Tim, et al. “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks.” <i>Proceedings of AINA2004</i>, IEEE, 2004, doi:<a href=\"https://doi.org/10.1109/AINA.2004.1283977\">10.1109/AINA.2004.1283977</a>.","short":"T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AINA2004, IEEE, Fukuoka, Japan , 2004.","chicago":"Schattkowsky, Tim, Chris Loeser, and Wolfgang Müller. “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks.” In <i>Proceedings of AINA2004</i>. Fukuoka, Japan : IEEE, 2004. <a href=\"https://doi.org/10.1109/AINA.2004.1283977\">https://doi.org/10.1109/AINA.2004.1283977</a>.","apa":"Schattkowsky, T., Loeser, C., &#38; Müller, W. (2004). Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. <i>Proceedings of AINA2004</i>.  18th International Conference on Advanced Information Networking and Applications, Fukuoka, Japan . <a href=\"https://doi.org/10.1109/AINA.2004.1283977\">https://doi.org/10.1109/AINA.2004.1283977</a>","ieee":"T. Schattkowsky, C. Loeser, and W. Müller, “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks,” presented at the  18th International Conference on Advanced Information Networking and Applications, Fukuoka, Japan , 2004, doi: <a href=\"https://doi.org/10.1109/AINA.2004.1283977\">10.1109/AINA.2004.1283977</a>."},"publication":"Proceedings of AINA2004","abstract":[{"lang":"eng","text":"The interconnection of software components is a key to enabling collaborative work. However, technology differences and security barriers like firewalls often hinder establishing collaborative infrastructures between enterprises or even within a single enterprise. We introduce a peer-to-peer based network infrastructure that transparently overcomes these problems using relay and routing mechanisms as well as different underlying transport protocols. We discuss the application of this technology to interconnect Web services."}],"date_created":"2023-01-24T09:05:58Z","place":"Fukuoka, Japan ","department":[{"_id":"672"}],"keyword":["Peer to peer computing","Web services","Intelligent networks","Routing","Relays","Simple object access protocol","Collaborative work","Transport protocols","Network address translation","Java"],"type":"conference"},{"abstract":[{"lang":"eng","text":"We present the syntax and semantics of a past- and future-oriented temporal extension of the Object Constraint Language (OCL). Our extension supports designers to express time-bounded properties over a state-oriented UML model of a system under development. The semantics is formally defined over the system states of a mathematical object model. Additionally, we present a mapping to Clocked Linear Temporal Logic (Clocked LTL) formulae, which is the basis for further application in verification with model checking. We demonstrate the applicability of the approach by the example of a buffer specification in the context of a production system."}],"citation":{"bibtex":"@inproceedings{Flake_Müller_2004, place={Beijing, China}, title={Past- and Future-Oriented Time-Bound Temporal Properties with OCL}, DOI={<a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>}, booktitle={Proceedings of SEFM´04}, publisher={IEEE}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }","ama":"Flake S, Müller W. Past- and Future-Oriented Time-Bound Temporal Properties with OCL. In: <i>Proceedings of SEFM´04</i>. IEEE; 2004. doi:<a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>","mla":"Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” <i>Proceedings of SEFM´04</i>, IEEE, 2004, doi:<a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>.","short":"S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.","chicago":"Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” In <i>Proceedings of SEFM´04</i>. Beijing, China: IEEE, 2004. <a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">https://doi.org/10.1109/SEFM.2004.1347516</a>.","ieee":"S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties with OCL,” presented at the  Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004, doi: <a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">10.1109/SEFM.2004.1347516</a>.","apa":"Flake, S., &#38; Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. <i>Proceedings of SEFM´04</i>.  Proceedings of the Second International Conference on Software Engineering and Formal Methods. <a href=\"https://doi.org/10.1109/SEFM.2004.1347516\">https://doi.org/10.1109/SEFM.2004.1347516</a>"},"publication":"Proceedings of SEFM´04","department":[{"_id":"672"}],"type":"conference","keyword":["Unified modeling language","Logic","Clocks","Boolean functions","Application software","Time factors","Real time systems","Formal verification","Buffer storage","Software packages"],"date_created":"2023-01-24T09:03:36Z","place":"Beijing, China","date_updated":"2023-01-24T09:03:41Z","publication_identifier":{"isbn":["0-7695-2222-X"]},"author":[{"last_name":"Flake","first_name":"Stephan","full_name":"Flake, Stephan"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"conference":{"name":" Proceedings of the Second International Conference on Software Engineering and Formal Methods"},"status":"public","title":"Past- and Future-Oriented Time-Bound Temporal Properties with OCL","year":"2004","user_id":"5786","doi":"10.1109/SEFM.2004.1347516","language":[{"iso":"eng"}],"_id":"39069","publisher":"IEEE"},{"user_id":"5786","_id":"39065","language":[{"iso":"eng"}],"date_updated":"2023-01-24T08:59:54Z","year":"2004","title":"Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality","status":"public","author":[{"id":"163","full_name":"Gausemeier, Jürgen","first_name":"Jürgen","last_name":"Gausemeier"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"last_name":"Bauch","first_name":"Jürgen","full_name":"Bauch, Jürgen"},{"full_name":"Radkowski, W.","first_name":"W.","last_name":"Radkowski"},{"first_name":"T.","last_name":"Shen","full_name":"Shen, T."},{"full_name":"Paelke, Volker","first_name":"Volker","last_name":"Paelke"}],"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-24T08:59:50Z","place":"Magdeburg","publication":"Proceedings of the Simulation and Visualisation 2004","citation":{"apa":"Gausemeier, J., Müller, W., Bauch, J., Radkowski, W., Shen, T., &#38; Paelke, V. (2004). Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality. <i>Proceedings of the Simulation and Visualisation 2004</i>.","ieee":"J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, and V. Paelke, “Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality,” 2004.","chicago":"Gausemeier, Jürgen, Wolfgang Müller, Jürgen Bauch, W. Radkowski, T. Shen, and Volker Paelke. “Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality.” In <i>Proceedings of the Simulation and Visualisation 2004</i>. Magdeburg, 2004.","short":"J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.","mla":"Gausemeier, Jürgen, et al. “Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality.” <i>Proceedings of the Simulation and Visualisation 2004</i>, 2004.","ama":"Gausemeier J, Müller W, Bauch J, Radkowski W, Shen T, Paelke V. Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality. In: <i>Proceedings of the Simulation and Visualisation 2004</i>. ; 2004.","bibtex":"@inproceedings{Gausemeier_Müller_Bauch_Radkowski_Shen_Paelke_2004, place={Magdeburg}, title={Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality}, booktitle={Proceedings of the Simulation and Visualisation 2004}, author={Gausemeier, Jürgen and Müller, Wolfgang and Bauch, Jürgen and Radkowski, W. and Shen, T. and Paelke, Volker}, year={2004} }"}},{"date_created":"2023-01-24T09:01:16Z","place":"WIen","type":"conference","department":[{"_id":"672"}],"publication":"Proceedings of ISORC’04","citation":{"mla":"Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.” <i>Proceedings of ISORC’04</i>, 2004.","bibtex":"@inproceedings{Schattkowsky_Müller_2004, place={WIen}, title={Model-Based Design of Embedded Systems}, booktitle={Proceedings of ISORC’04}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2004} }","ama":"Schattkowsky T, Müller W. Model-Based Design of Embedded Systems. In: <i>Proceedings of ISORC’04</i>. ; 2004.","ieee":"T. Schattkowsky and W. Müller, “Model-Based Design of Embedded Systems,” 2004.","apa":"Schattkowsky, T., &#38; Müller, W. (2004). Model-Based Design of Embedded Systems. <i>Proceedings of ISORC’04</i>.","short":"T. Schattkowsky, W. Müller, in: Proceedings of ISORC’04, WIen, 2004.","chicago":"Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.” In <i>Proceedings of ISORC’04</i>. WIen, 2004."},"language":[{"iso":"eng"}],"_id":"39068","user_id":"5786","title":"Model-Based Design of Embedded Systems","year":"2004","status":"public","author":[{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"}],"date_updated":"2023-01-24T09:01:21Z"},{"keyword":["mechatronic systems","self-optimization","virtual prototyping"],"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-24T09:12:31Z","place":"Dubrovnik","publication":"Proceedings of the Design 2004","citation":{"chicago":"Gausemeier, Jürgen, Wolfgang Müller, Volker Paelke, Jürgen Bauch, Q. Shen, and R.  Radkowski. “Virtual Prototyping Of Self-Optimizing Mechatronic Systems.” In <i>Proceedings of the Design 2004</i>. Dubrovnik, 2004.","short":"J. Gausemeier, W. Müller, V. Paelke, J. Bauch, Q. Shen, R. Radkowski, in: Proceedings of the Design 2004, Dubrovnik, 2004.","ieee":"J. Gausemeier, W. Müller, V. Paelke, J. Bauch, Q. Shen, and R. Radkowski, “Virtual Prototyping Of Self-Optimizing Mechatronic Systems,” presented at the 8th International Design Conference , Dubrovnik, 2004.","apa":"Gausemeier, J., Müller, W., Paelke, V., Bauch, J., Shen, Q., &#38; Radkowski, R. (2004). Virtual Prototyping Of Self-Optimizing Mechatronic Systems. <i>Proceedings of the Design 2004</i>. 8th International Design Conference , Dubrovnik.","bibtex":"@inproceedings{Gausemeier_Müller_Paelke_Bauch_Shen_Radkowski_2004, place={Dubrovnik}, title={Virtual Prototyping Of Self-Optimizing Mechatronic Systems}, booktitle={Proceedings of the Design 2004}, author={Gausemeier, Jürgen and Müller, Wolfgang and Paelke, Volker and Bauch, Jürgen and Shen, Q. and Radkowski, R. }, year={2004} }","ama":"Gausemeier J, Müller W, Paelke V, Bauch J, Shen Q, Radkowski R. Virtual Prototyping Of Self-Optimizing Mechatronic Systems. In: <i>Proceedings of the Design 2004</i>. ; 2004.","mla":"Gausemeier, Jürgen, et al. “Virtual Prototyping Of Self-Optimizing Mechatronic Systems.” <i>Proceedings of the Design 2004</i>, 2004."},"user_id":"5786","_id":"39078","language":[{"iso":"eng"}],"date_updated":"2023-01-24T09:12:40Z","year":"2004","status":"public","title":"Virtual Prototyping Of Self-Optimizing Mechatronic Systems","author":[{"id":"163","last_name":"Gausemeier","first_name":"Jürgen","full_name":"Gausemeier, Jürgen"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"},{"last_name":"Paelke","first_name":"Volker","full_name":"Paelke, Volker"},{"full_name":"Bauch, Jürgen","last_name":"Bauch","first_name":"Jürgen"},{"full_name":"Shen, Q.","first_name":"Q.","last_name":"Shen"},{"first_name":"R. ","last_name":"Radkowski","full_name":"Radkowski, R. "}],"conference":{"name":"8th International Design Conference ","location":"Dubrovnik"}},{"year":"2004","status":"public","title":"RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control","author":[{"full_name":"Loeser, Chris","last_name":"Loeser","first_name":"Chris"},{"full_name":"Schäfer, Robbie","first_name":"Robbie","last_name":"Schäfer"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"},{"full_name":"Borowski, Marek","last_name":"Borowski","first_name":"Marek"}],"date_updated":"2023-01-24T09:09:36Z","language":[{"iso":"eng"}],"_id":"39075","user_id":"5786","publication":"Proceedings of SCI’04","citation":{"apa":"Loeser, C., Schäfer, R., Müller, W., &#38; Borowski, M. (2004). RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control. <i>Proceedings of SCI’04</i>.","ieee":"C. Loeser, R. Schäfer, W. Müller, and M. Borowski, “RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control,” 2004.","chicago":"Loeser, Chris, Robbie Schäfer, Wolfgang Müller, and Marek Borowski. “RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control.” In <i>Proceedings of SCI’04</i>. Orlando, USA, 2004.","short":"C. Loeser, R. Schäfer, W. Müller, M. Borowski, in: Proceedings of SCI’04, Orlando, USA, 2004.","mla":"Loeser, Chris, et al. “RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control.” <i>Proceedings of SCI’04</i>, 2004.","ama":"Loeser C, Schäfer R, Müller W, Borowski M. RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control. In: <i>Proceedings of SCI’04</i>. ; 2004.","bibtex":"@inproceedings{Loeser_Schäfer_Müller_Borowski_2004, place={Orlando, USA}, title={RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control}, booktitle={Proceedings of SCI’04}, author={Loeser, Chris and Schäfer, Robbie and Müller, Wolfgang and Borowski, Marek}, year={2004} }"},"place":"Orlando, USA","date_created":"2023-01-24T09:09:31Z","type":"conference","department":[{"_id":"672"}]},{"user_id":"5786","_id":"39082","language":[{"iso":"eng"}],"date_updated":"2023-01-24T09:14:08Z","status":"public","year":"2004","title":"Multimodal Dialog Description for Mobile Devices","author":[{"first_name":"Steffen","last_name":"Bleul","full_name":"Bleul, Steffen"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"full_name":"Schäfer, Robbie","first_name":"Robbie","last_name":"Schäfer"}],"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-24T09:14:04Z","place":"Gallipoli, Italy","abstract":[{"text":"The provision of personalized user interfaces for mobile de-vices is a challenging task since different devices with vary-ing capabilities and interaction modalities have to be sup-ported. Multiple variants of different UIs for one application almost enforces the employment of a model-based approach in order to design one interface and to adapt to or render it on those devices. This position paper presents a new dia-log modelling language named DISL (Dialog and Interface Specification Language) that is based on UIML and DSN (Dialog Specification Notation). DISL supports the mod-elling of advanced dialogs in a comprehensive way. The dialog descriptions are device-and modality-agnostic and therefore highly scalable with focus on limited devices, like mobile phones.","lang":"eng"}],"publication":"Proceedings of AVI 2004","citation":{"chicago":"Bleul, Steffen, Wolfgang Müller, and Robbie Schäfer. “Multimodal Dialog Description for Mobile Devices.” In <i>Proceedings of AVI 2004</i>. Gallipoli, Italy, 2004.","short":"S. Bleul, W. Müller, R. Schäfer, in: Proceedings of AVI 2004, Gallipoli, Italy, 2004.","apa":"Bleul, S., Müller, W., &#38; Schäfer, R. (2004). Multimodal Dialog Description for Mobile Devices. <i>Proceedings of AVI 2004</i>.","ieee":"S. Bleul, W. Müller, and R. Schäfer, “Multimodal Dialog Description for Mobile Devices,” 2004.","ama":"Bleul S, Müller W, Schäfer R. Multimodal Dialog Description for Mobile Devices. In: <i>Proceedings of AVI 2004</i>. ; 2004.","bibtex":"@inproceedings{Bleul_Müller_Schäfer_2004, place={Gallipoli, Italy}, title={Multimodal Dialog Description for Mobile Devices}, booktitle={Proceedings of AVI 2004}, author={Bleul, Steffen and Müller, Wolfgang and Schäfer, Robbie}, year={2004} }","mla":"Bleul, Steffen, et al. “Multimodal Dialog Description for Mobile Devices.” <i>Proceedings of AVI 2004</i>, 2004."}},{"citation":{"mla":"Schäfer, Robbie, et al. “A Novel Dialog Model for the Design of Multimodal User Interfaces.” <i>Proceedings of EHCI-DSVIS 2005</i>, 2004.","ama":"Schäfer R, Bleul S, Müller W. A Novel Dialog Model for the Design of Multimodal User Interfaces. In: <i>Proceedings of EHCI-DSVIS 2005</i>. Lecture Notes in Computer Science . ; 2004.","bibtex":"@inproceedings{Schäfer_Bleul_Müller_2004, place={Tremsbüttel, Hamburg}, series={Lecture Notes in Computer Science }, title={A Novel Dialog Model for the Design of Multimodal User Interfaces}, booktitle={Proceedings of EHCI-DSVIS 2005}, author={Schäfer, Robbie and Bleul, Steffen and Müller, Wolfgang}, year={2004}, collection={Lecture Notes in Computer Science } }","apa":"Schäfer, R., Bleul, S., &#38; Müller, W. (2004). A Novel Dialog Model for the Design of Multimodal User Interfaces. <i>Proceedings of EHCI-DSVIS 2005</i>.","ieee":"R. Schäfer, S. Bleul, and W. Müller, “A Novel Dialog Model for the Design of Multimodal User Interfaces,” 2004.","chicago":"Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “A Novel Dialog Model for the Design of Multimodal User Interfaces.” In <i>Proceedings of EHCI-DSVIS 2005</i>. Lecture Notes in Computer Science . Tremsbüttel, Hamburg, 2004.","short":"R. Schäfer, S. Bleul, W. Müller, in: Proceedings of EHCI-DSVIS 2005, Tremsbüttel, Hamburg, 2004."},"publication":"Proceedings of EHCI-DSVIS 2005","abstract":[{"text":"Variation in different mobile devices with different capabilities and interaction modalities as well as changing user context in nomadic applications, poses huge challenges to the design of user interfaces. To avoid multiple designs for each device or modality, it is almost a must to employ a model-based approach. In this short paper, we present a new dialog model for multimodal interaction together with an advanced control model, which can either be used for direct modeling by an interface designer or in conjunction with higher level models.","lang":"eng"}],"place":"Tremsbüttel, Hamburg","date_created":"2023-01-24T09:26:58Z","department":[{"_id":"672"}],"type":"conference","keyword":["Multimodal User Interface     High Level Model     Multimodal User     High Level Approach     Dialog Model"],"author":[{"first_name":"Robbie","last_name":"Schäfer","full_name":"Schäfer, Robbie"},{"full_name":"Bleul, Steffen","last_name":"Bleul","first_name":"Steffen"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"status":"public","title":"A Novel Dialog Model for the Design of Multimodal User Interfaces","year":"2004","date_updated":"2023-01-24T09:27:03Z","_id":"39350","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science ","user_id":"5786"},{"doi":"10.1007/978-3-540-30187-5_17","user_id":"5786","language":[{"iso":"eng"}],"_id":"39352","date_updated":"2023-01-24T09:28:58Z","title":"An ASM Definition of the Dynamic OCL 2.0 Semantics","status":"public","year":"2004","publication_identifier":{"eisbn":["978-3-540-30187-5"]},"author":[{"full_name":"Flake, Stephan","first_name":"Stephan","last_name":"Flake"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"type":"conference","keyword":["System State     Formal Semantic     Object Management Group     Denotational Semantic     Dynamic Semantic"],"department":[{"_id":"672"}],"place":"Lisbon, Portugal","date_created":"2023-01-24T09:28:53Z","abstract":[{"text":"The recently adopted OCL 2.0 specification comes with a formal semantics that is based on set theory with a notion of an object model and system states. System states keep the runtime information relevant for the evaluation of OCL expressions. However, not all new language concepts of OCL 2.0 are already addressed in that formal semantics. We show how to overcome this by introducing new components to the object model and system states defining a dynamic semantics of OCL. In order to give precise rules that determine when the current system state has to be updated according to a change in the referred UML model, we make use of adequate mathematical means, namely Abstract State Machines (ASMs). Though our ASM specification also gives a clear definition for the evaluation of OCL constraints, it leaves sufficient flexibility for application specific implementations that have to determine when constraints are to be checked.","lang":"eng"}],"publication":"Proceedings of the UML 2004","citation":{"mla":"Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic OCL 2.0 Semantics.” <i>Proceedings of the UML 2004</i>, 2004, doi:<a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">10.1007/978-3-540-30187-5_17</a>.","bibtex":"@inproceedings{Flake_Müller_2004, place={Lisbon, Portugal}, title={An ASM Definition of the Dynamic OCL 2.0 Semantics}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">10.1007/978-3-540-30187-5_17</a>}, booktitle={Proceedings of the UML 2004}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }","ama":"Flake S, Müller W. An ASM Definition of the Dynamic OCL 2.0 Semantics. In: <i>Proceedings of the UML 2004</i>. ; 2004. doi:<a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">10.1007/978-3-540-30187-5_17</a>","ieee":"S. Flake and W. Müller, “An ASM Definition of the Dynamic OCL 2.0 Semantics,” 2004, doi: <a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">10.1007/978-3-540-30187-5_17</a>.","apa":"Flake, S., &#38; Müller, W. (2004). An ASM Definition of the Dynamic OCL 2.0 Semantics. <i>Proceedings of the UML 2004</i>. <a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">https://doi.org/10.1007/978-3-540-30187-5_17</a>","chicago":"Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic OCL 2.0 Semantics.” In <i>Proceedings of the UML 2004</i>. Lisbon, Portugal, 2004. <a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">https://doi.org/10.1007/978-3-540-30187-5_17</a>.","short":"S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal, 2004."}},{"file":[{"file_name":"sensornetz_architecture.pdf","access_level":"closed","file_size":137677,"relation":"main_file","date_updated":"2018-04-26T11:18:38Z","file_id":"2534","content_type":"application/pdf","success":1,"creator":"tabu","date_created":"2018-04-26T11:18:38Z"}],"date_created":"2018-04-26T11:19:04Z","place":"Berlin","type":"report","department":[{"_id":"75"}],"file_date_updated":"2018-04-26T11:18:38Z","citation":{"apa":"Handziski, V., Köpke, A., Karl, H., &#38; Wolisz, A. (2003). <i>A common wireless sensor network architecture?</i> Berlin.","ieee":"V.  Handziski, A. Köpke, H. Karl, and A. Wolisz, <i>A common wireless sensor network architecture?</i> Berlin, 2003.","short":"V.  Handziski, A. Köpke, H. Karl, A. Wolisz, A Common Wireless Sensor Network Architecture?, Berlin, 2003.","chicago":"Handziski, Vlado, Andreas Köpke, Holger Karl, and Adam Wolisz. <i>A Common Wireless Sensor Network Architecture?</i> Berlin, 2003.","mla":"Handziski, Vlado, et al. <i>A Common Wireless Sensor Network Architecture?</i> 2003.","ama":"Handziski V, Köpke A, Karl H, Wolisz A. <i>A Common Wireless Sensor Network Architecture?</i> Berlin; 2003.","bibtex":"@book{ Handziski_Köpke_Karl_Wolisz_2003, place={Berlin}, title={A common wireless sensor network architecture?}, author={ Handziski, Vlado and Köpke, Andreas and Karl, Holger and Wolisz, Adam}, year={2003} }"},"_id":"2533","user_id":"15572","ddc":["000"],"title":"A common wireless sensor network architecture?","year":"2003","status":"public","author":[{"full_name":" Handziski, Vlado","first_name":"Vlado","last_name":" Handziski"},{"first_name":"Andreas","last_name":"Köpke","full_name":"Köpke, Andreas"},{"id":"126","first_name":"Holger","last_name":"Karl","full_name":"Karl, Holger"},{"full_name":"Wolisz, Adam","first_name":"Adam","last_name":"Wolisz"}],"date_updated":"2022-01-06T06:57:01Z","has_accepted_license":"1"},{"_id":"2535","ddc":["000"],"user_id":"15572","title":"A Mobility Frame work for OMNeT++","year":"2003","status":"public","author":[{"full_name":"Drytkiewicz, Witold ","first_name":"Witold ","last_name":"Drytkiewicz"},{"last_name":"Sroka","first_name":"Steffen","full_name":"Sroka, Steffen"},{"first_name":"Vlado ","last_name":"Handzisk","full_name":"Handzisk, Vlado "},{"full_name":"Köpke, Andreas","first_name":"Andreas","last_name":"Köpke"},{"id":"126","full_name":"Karl, Holger","last_name":"Karl","first_name":"Holger"}],"date_updated":"2022-01-06T06:57:01Z","has_accepted_license":"1","file":[{"file_size":60304,"access_level":"closed","file_name":"mobility_framework.pdf","date_updated":"2018-04-26T11:23:10Z","relation":"main_file","success":1,"content_type":"application/pdf","file_id":"2536","creator":"tabu","date_created":"2018-04-26T11:23:10Z"}],"date_created":"2018-04-26T11:23:18Z","type":"conference","department":[{"_id":"75"}],"publication":"Proc. of 3rd International OMNeT++ Workshop at Budapest University of Technology and Economics","file_date_updated":"2018-04-26T11:23:10Z","citation":{"mla":"Drytkiewicz, Witold, et al. “A Mobility Frame Work for OMNeT++.” <i>Proc. of 3rd International OMNeT++ Workshop at Budapest University of Technology and Economics</i>, 2003.","ama":"Drytkiewicz W, Sroka S, Handzisk V, Köpke A, Karl H. A Mobility Frame work for OMNeT++. In: <i>Proc. of 3rd International OMNeT++ Workshop at Budapest University of Technology and Economics</i>. ; 2003.","bibtex":"@inproceedings{Drytkiewicz_Sroka_Handzisk_Köpke_Karl_2003, title={A Mobility Frame work for OMNeT++}, booktitle={Proc. of 3rd International OMNeT++ Workshop at Budapest University of Technology and Economics}, author={Drytkiewicz, Witold  and Sroka, Steffen and Handzisk, Vlado  and Köpke, Andreas and Karl, Holger}, year={2003} }","apa":"Drytkiewicz, W., Sroka, S., Handzisk, V., Köpke, A., &#38; Karl, H. (2003). A Mobility Frame work for OMNeT++. In <i>Proc. of 3rd International OMNeT++ Workshop at Budapest University of Technology and Economics</i>.","ieee":"W. Drytkiewicz, S. Sroka, V. Handzisk, A. Köpke, and H. Karl, “A Mobility Frame work for OMNeT++,” in <i>Proc. of 3rd International OMNeT++ Workshop at Budapest University of Technology and Economics</i>, 2003.","chicago":"Drytkiewicz, Witold , Steffen Sroka, Vlado  Handzisk, Andreas Köpke, and Holger Karl. “A Mobility Frame Work for OMNeT++.” In <i>Proc. of 3rd International OMNeT++ Workshop at Budapest University of Technology and Economics</i>, 2003.","short":"W. Drytkiewicz, S. Sroka, V. Handzisk, A. Köpke, H. Karl, in: Proc. of 3rd International OMNeT++ Workshop at Budapest University of Technology and Economics, 2003."}},{"publication_identifier":{"issn":["0167-8191"]},"author":[{"full_name":"Bonorden, Olaf","first_name":"Olaf","last_name":"Bonorden"},{"full_name":"Juurlink, Bernhardus","last_name":"Juurlink","first_name":"Bernhardus"},{"full_name":"von Otte, Ingo","first_name":"Ingo","last_name":"von Otte"},{"first_name":"Ingo","last_name":"Rieping","full_name":"Rieping, Ingo"}],"year":"2003","status":"public","title":"The Paderborn University BSP (PUB) library","publication_status":"published","date_updated":"2022-01-06T06:54:10Z","language":[{"iso":"eng"}],"_id":"19726","page":"187-207","user_id":"15415","doi":"10.1016/s0167-8191(02)00218-1","citation":{"short":"O. Bonorden, B. Juurlink, I. von Otte, I. Rieping, Parallel Computing (2003) 187–207.","chicago":"Bonorden, Olaf, Bernhardus Juurlink, Ingo von Otte, and Ingo Rieping. “The Paderborn University BSP (PUB) Library.” <i>Parallel Computing</i>, 2003, 187–207. <a href=\"https://doi.org/10.1016/s0167-8191(02)00218-1\">https://doi.org/10.1016/s0167-8191(02)00218-1</a>.","ieee":"O. Bonorden, B. Juurlink, I. von Otte, and I. Rieping, “The Paderborn University BSP (PUB) library,” <i>Parallel Computing</i>, pp. 187–207, 2003.","apa":"Bonorden, O., Juurlink, B., von Otte, I., &#38; Rieping, I. (2003). The Paderborn University BSP (PUB) library. <i>Parallel Computing</i>, 187–207. <a href=\"https://doi.org/10.1016/s0167-8191(02)00218-1\">https://doi.org/10.1016/s0167-8191(02)00218-1</a>","bibtex":"@article{Bonorden_Juurlink_von Otte_Rieping_2003, title={The Paderborn University BSP (PUB) library}, DOI={<a href=\"https://doi.org/10.1016/s0167-8191(02)00218-1\">10.1016/s0167-8191(02)00218-1</a>}, journal={Parallel Computing}, author={Bonorden, Olaf and Juurlink, Bernhardus and von Otte, Ingo and Rieping, Ingo}, year={2003}, pages={187–207} }","ama":"Bonorden O, Juurlink B, von Otte I, Rieping I. The Paderborn University BSP (PUB) library. <i>Parallel Computing</i>. 2003:187-207. doi:<a href=\"https://doi.org/10.1016/s0167-8191(02)00218-1\">10.1016/s0167-8191(02)00218-1</a>","mla":"Bonorden, Olaf, et al. “The Paderborn University BSP (PUB) Library.” <i>Parallel Computing</i>, 2003, pp. 187–207, doi:<a href=\"https://doi.org/10.1016/s0167-8191(02)00218-1\">10.1016/s0167-8191(02)00218-1</a>."},"publication":"Parallel Computing","abstract":[{"text":"The Paderborn University BSP (PUB) library is a C communication library based on the BSP model. The basic library supports buffered as well as unbuffered non-blocking communication between any pair of processors and a mechanism for synchronizing the processors in a barrier style. In addition, PUB provides non-blocking collective communication operations on arbitrary subsets of processors, the ability to partition the processors into independent groups that execute asynchronously from each other, and a zero-cost synchronization mechanism. Furthermore, some techniques used in the implementation of the PUB library deviate significantly from the techniques used in other BSP libraries.","lang":"eng"}],"date_created":"2020-09-28T10:39:53Z","department":[{"_id":"63"}],"type":"journal_article"},{"date_created":"2020-09-30T10:27:11Z","department":[{"_id":"63"}],"type":"journal_article","citation":{"apa":"Salzwedel, K. A. (2003). Algorithmic Approaches for Storage Networks. <i>Algorithms for Memory Hierarchies</i>, <i>2625</i>. <a href=\"https://doi.org/10.1007/3-540-36574-5_12\">https://doi.org/10.1007/3-540-36574-5_12</a>","mla":"Salzwedel, Kay A. “Algorithmic Approaches for Storage Networks.” <i>Algorithms for Memory Hierarchies</i>, vol. 2625, 2003, doi:<a href=\"https://doi.org/10.1007/3-540-36574-5_12\">10.1007/3-540-36574-5_12</a>.","ieee":"K. A. Salzwedel, “Algorithmic Approaches for Storage Networks,” <i>Algorithms for Memory Hierarchies</i>, vol. 2625, 2003.","chicago":"Salzwedel, Kay A. “Algorithmic Approaches for Storage Networks.” <i>Algorithms for Memory Hierarchies</i> 2625 (2003). <a href=\"https://doi.org/10.1007/3-540-36574-5_12\">https://doi.org/10.1007/3-540-36574-5_12</a>.","short":"K.A. Salzwedel, Algorithms for Memory Hierarchies 2625 (2003).","ama":"Salzwedel KA. Algorithmic Approaches for Storage Networks. <i>Algorithms for Memory Hierarchies</i>. 2003;2625. doi:<a href=\"https://doi.org/10.1007/3-540-36574-5_12\">10.1007/3-540-36574-5_12</a>","bibtex":"@article{Salzwedel_2003, title={Algorithmic Approaches for Storage Networks}, volume={2625}, DOI={<a href=\"https://doi.org/10.1007/3-540-36574-5_12\">10.1007/3-540-36574-5_12</a>}, journal={Algorithms for Memory Hierarchies}, author={Salzwedel, Kay A.}, year={2003} }"},"publication":"Algorithms for Memory Hierarchies","language":[{"iso":"eng"}],"_id":"19785","volume":2625,"user_id":"15415","doi":"10.1007/3-540-36574-5_12","publication_identifier":{"isbn":["9783540008835","9783540365747"],"issn":["0302-9743"]},"author":[{"first_name":"Kay A.","last_name":"Salzwedel","full_name":"Salzwedel, Kay A."}],"status":"public","title":"Algorithmic Approaches for Storage Networks","year":"2003","intvolume":"      2625","publication_status":"published","date_updated":"2022-01-06T06:54:12Z"},{"language":[{"iso":"eng"}],"_id":"19790","ddc":["000"],"user_id":"15415","author":[{"id":"20792","last_name":"Scheideler","first_name":"Christian","full_name":"Scheideler, Christian"},{"full_name":"Salzwedel, Kay","last_name":"Salzwedel","first_name":"Kay"},{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm"},{"first_name":"André","last_name":"Brinkmann","full_name":"Brinkmann, André"},{"first_name":"Mario","last_name":"Vodisek","full_name":"Vodisek, Mario"},{"last_name":"Rückert","first_name":"Ulrich","full_name":"Rückert, Ulrich"}],"status":"public","title":"Storage Management as Means to cope with Exponential Information Growth","year":"2003","has_accepted_license":"1","date_updated":"2022-01-06T06:54:12Z","date_created":"2020-09-30T12:04:14Z","file":[{"creator":"koala","date_created":"2020-09-30T12:03:57Z","access_level":"closed","file_size":499057,"file_name":"pub-hni-908.pdf","date_updated":"2020-09-30T12:03:57Z","relation":"main_file","content_type":"application/pdf","success":1,"file_id":"19793"}],"department":[{"_id":"63"},{"_id":"58"},{"_id":"79"}],"type":"conference","citation":{"bibtex":"@inproceedings{Scheideler_Salzwedel_Meyer auf der Heide_Brinkmann_Vodisek_Rückert_2003, title={Storage Management as Means to cope with Exponential Information Growth}, booktitle={Proceedings of SSGRR 2003}, author={Scheideler, Christian and Salzwedel, Kay and Meyer auf der Heide, Friedhelm and Brinkmann, André and Vodisek, Mario and Rückert, Ulrich}, year={2003} }","ama":"Scheideler C, Salzwedel K, Meyer auf der Heide F, Brinkmann A, Vodisek M, Rückert U. Storage Management as Means to cope with Exponential Information Growth. In: <i>Proceedings of SSGRR 2003</i>. ; 2003.","mla":"Scheideler, Christian, et al. “Storage Management as Means to Cope with Exponential Information Growth.” <i>Proceedings of SSGRR 2003</i>, 2003.","chicago":"Scheideler, Christian, Kay Salzwedel, Friedhelm Meyer auf der Heide, André Brinkmann, Mario Vodisek, and Ulrich Rückert. “Storage Management as Means to Cope with Exponential Information Growth.” In <i>Proceedings of SSGRR 2003</i>, 2003.","short":"C. Scheideler, K. Salzwedel, F. Meyer auf der Heide, A. Brinkmann, M. Vodisek, U. Rückert, in: Proceedings of SSGRR 2003, 2003.","ieee":"C. Scheideler, K. Salzwedel, F. Meyer auf der Heide, A. Brinkmann, M. Vodisek, and U. Rückert, “Storage Management as Means to cope with Exponential Information Growth,” in <i>Proceedings of SSGRR 2003</i>, 2003.","apa":"Scheideler, C., Salzwedel, K., Meyer auf der Heide, F., Brinkmann, A., Vodisek, M., &#38; Rückert, U. (2003). Storage Management as Means to cope with Exponential Information Growth. In <i>Proceedings of SSGRR 2003</i>."},"publication":"Proceedings of SSGRR 2003","file_date_updated":"2020-09-30T12:03:57Z","abstract":[{"lang":"eng","text":"The advances in Internet technology have led to tremendous improvements in business, education, and science and have changed the way we think, live, and communicate. Information exchange has become ubiquitous by the possibilities offered through modern technologies. We are able to offer information 24 hours a day through our web sites and can leave messages every time and from anywhere in the world. This change in communication has led to new challenges. Enterprises have to deal with an information amount that doubles every year. The technological foundation to cope with this information explosion is given by Storage Area Networks (SANs), which are able to connect a great number of storage systems over a fast interconnection network. However, to be able to use the benefits of a SAN, an easy-to-use and efficient management support has to be given to the storage administrator. In this paper, we will suggest new storage management concepts and we will introduce a new management environment that is able to significantly reduce management costs and increases the performance and resource utilization of the given SAN infrastructure."}]},{"date_created":"2020-09-30T12:51:22Z","department":[{"_id":"63"},{"_id":"58"}],"type":"conference","citation":{"mla":"Rührup, Stefan, et al. “Performance of Distributed Algorithms for Topology Control in Wireless Networks.” <i>Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS)</i>, 2003, doi:<a href=\"https://doi.org/10.1109/ipdps.2003.1213107\">10.1109/ipdps.2003.1213107</a>.","bibtex":"@inproceedings{Rührup_Schindelhauer_Volbert_Grünewald_2003, title={Performance of distributed algorithms for topology control in wireless networks}, DOI={<a href=\"https://doi.org/10.1109/ipdps.2003.1213107\">10.1109/ipdps.2003.1213107</a>}, booktitle={Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS)}, author={Rührup, Stefan and Schindelhauer, Christian  and Volbert, Klaus and Grünewald, M.}, year={2003} }","ama":"Rührup S, Schindelhauer C, Volbert K, Grünewald M. Performance of distributed algorithms for topology control in wireless networks. In: <i>Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS)</i>. ; 2003. doi:<a href=\"https://doi.org/10.1109/ipdps.2003.1213107\">10.1109/ipdps.2003.1213107</a>","ieee":"S. Rührup, C. Schindelhauer, K. Volbert, and M. Grünewald, “Performance of distributed algorithms for topology control in wireless networks,” 2003, doi: <a href=\"https://doi.org/10.1109/ipdps.2003.1213107\">10.1109/ipdps.2003.1213107</a>.","apa":"Rührup, S., Schindelhauer, C., Volbert, K., &#38; Grünewald, M. (2003). Performance of distributed algorithms for topology control in wireless networks. <i>Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS)</i>. <a href=\"https://doi.org/10.1109/ipdps.2003.1213107\">https://doi.org/10.1109/ipdps.2003.1213107</a>","short":"S. Rührup, C. Schindelhauer, K. Volbert, M. Grünewald, in: Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS), 2003.","chicago":"Rührup, Stefan, Christian  Schindelhauer, Klaus Volbert, and M. Grünewald. “Performance of Distributed Algorithms for Topology Control in Wireless Networks.” In <i>Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS)</i>, 2003. <a href=\"https://doi.org/10.1109/ipdps.2003.1213107\">https://doi.org/10.1109/ipdps.2003.1213107</a>."},"publication":"Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS)","abstract":[{"lang":"eng","text":"We try to close the gap between theoretical investigations of wireless network topologies and realistic wireless environments. For point-to-point communication, we examine theoretically well-analyzed sparse graphs, i.e. the Yao-graph, the SparsY-graph, and the SymmY-graph.  We present distributed algorithms that can be used to build up these graphs in time $O(log n)$ per node without the use of any geo-graphical positioning system. Our algorithms are based only on local knowledge and local decisions and make use of power control to establish communication links with low energy-cost.  We compare these algorithms with respect to congestion, dilation, and energy. For congestion we introduce different measures that allow us to investigate the difference between real-world wireless networks and models for wireless communication at a high level of abstraction. For more realistic simulations we extend our simulation  environment SAHNE. We use a realistic transmission model for directed communication that uses sector subdivision.  Finally, our experimental results show that our topologies and algorithms work well in a distributed environment and we give some recommendations for the topology control based on our simulations."}],"language":[{"iso":"eng"}],"_id":"19806","doi":"10.1109/ipdps.2003.1213107","user_id":"15415","author":[{"first_name":"Stefan","last_name":"Rührup","full_name":"Rührup, Stefan"},{"last_name":"Schindelhauer","first_name":"Christian ","full_name":"Schindelhauer, Christian "},{"last_name":"Volbert","first_name":"Klaus","full_name":"Volbert, Klaus"},{"full_name":"Grünewald, M.","last_name":"Grünewald","first_name":"M."}],"publication_identifier":{"isbn":["0769519261"]},"title":"Performance of distributed algorithms for topology control in wireless networks","status":"public","year":"2003","date_updated":"2022-01-06T06:54:13Z","publication_status":"published"}]