@inproceedings{39354, author = {{Eikerling, Heinz-Josef and Müller, Wolfgang and Schattkowski, Tim and Wegner, J.}}, booktitle = {{Proceedings of DATE’03}}, title = {{{Tool Integration and Management in Heterogeneous Computer Networks}}}, year = {{2003}}, } @inproceedings{39365, abstract = {{Large-scale mobility in the era of embedded and mobile computers yields significant challenges with respect to personalization, networking, and security. Currently, mobile computing devices cannot be seamlessly and flexibly obtain information about the context in which computing takes place. This requires dedicated personalization and localization in combination with advanced autocustomization techniques in order to adapt them to the needs of the current context. For natural interaction, for instance, many devices offer different input and output modalities, which enable different modes of operation to perform the same task. Auto-customization of modalities and devices in range can be obtained, if the system has sufficient information on the user’s preferences, abilities, the current situation, and the device that performs a specific task. To aid the system’s decision, we propose a set of interrelated and expandable profiles, which are prepared for automated adaptation, what will play a central part in making the technology to become invisible.}}, author = {{Schäfer, Robbie and Müller, Wolfgang}}, booktitle = {{Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing}}, title = {{{Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks}}}, year = {{2003}}, } @inproceedings{39364, abstract = {{The textual Object Constraint Language (OCL) is an of- ficial part of the Unified Modeling Language (UML). OCL is primarily used to formulate restrictions over UML mod- els, in particular, invariants and operation pre- and post- conditions in the context of class diagrams. However, OCL is missing means to specify constraints over the dynamic behavior of a UML model. We have therefore developed a temporal extension of OCL that enables modelers to specify behavioral state-oriented constraints. That work provides an alternative to the rather cryptic temporal logic formulae that are commonly used to specify behavioral system prop- erties. This article now illustrates that our OCL extension al- lows for specifying all kinds of properties that are regarded as relevant in practice. We present according temporal OCL expressions for property specification patterns that have been identified in the area of formal specification.}}, author = {{Flake, Stephan and Müller, Wolfgang}}, booktitle = {{Proceedings of SERP'03}}, keywords = {{UML, Object Constraint Language, Patterns, Property Specification}}, title = {{{Expressing Property Specification Patterns with OCL}}}, year = {{2003}}, } @inproceedings{39366, abstract = {{Computer supported collaborative work (CSCW) is currently of growing interest for application industrial context. Integrated workflow systems are available to allow the integration of globally distributed teams. However, in many areas (i.e. in electronic design automation), tool integration remains to be a critical issue since existing legacy tools have to be integrated into distributed workflows. By integrating tools based on the operational semantics, dynamic assignment and replacement of tools in the workflows becomes possible. We present a middleware for secure collaborative engineering that enables flexible tool management and overcomes existing networking problems through a peer-to-peer based network infrastructure.}}, author = {{Schattkowsky, Tim and Müller, Wolfgang}}, booktitle = {{Proceedings of CCE'03}}, title = {{{Distributed Engineering Environment for the Design of Electronic Systems}}}, year = {{2003}}, } @inproceedings{39363, abstract = {{The textual Object Constraint Language (OCL) is an of- ficial part of the Unified Modeling Language (UML). It is primarily used to formulate restrictions for UML class di- agrams. Additionally, it is possible to refer to UML State- chart states in OCL expressions to reason about currently activated states. However, neither the current OCL standard nor the pro- posal for the new OCL 2.0 version integrate Statecharts on the language definition level, i.e., the semantics of State- chart states in the context of OCL expressions is not suf- ficiently defined so far. To overcome this deficiency, this article provides a formal semantics for state-oriented OCL expressions for application with UML Statecharts.}}, author = {{Flake, Stephan and Müller, Wolfgang}}, booktitle = {{Proceedings of SEKE 2003}}, title = {{{Semantics of State-Oriented Expressions in the Object Constraint Language}}}, year = {{2003}}, } @inproceedings{39367, abstract = {{Confidentiality and security in data access and transmission over multiple open networks are of utmost importance for most collaborative engineering environments. In this article, we review smart card based security technologies for their application in computer-based collaborative engineering environments. We focus on most recent microprocessor-based smart cards and on JavaCard as a development infrastructure and operating system. Since JavaCard supports the integration of multiple applications on one card, it enables smart cards to integrate large sets of additional applications. In that context, we identify and discuss three potential key applications: authentication with biometrics, certification, and advanced profile management.}}, author = {{Wang, J. and Müller, Wolfgang}}, booktitle = {{Proceedings of CCE'03}}, title = {{{SmartCard for Secure Collaborative Engineering}}}, year = {{2003}}, } @inproceedings{39360, author = {{Krupp, Alexander and Müller, Wolfgang}}, title = {{{Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten}}}, year = {{2003}}, } @inproceedings{39368, author = {{Krupp, Alexander and Müller, Wolfgang}}, booktitle = {{Proceedings of FDL'03}}, title = {{{Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}}}, year = {{2003}}, } @inproceedings{39369, abstract = {{The latest OCL 2.0 proposal provides two semantic descriptions, i.e., a metamodel based semantics that uses UML itself to associate the semantic domain with the language concepts and a formal semantics based on a set-theoretic approach called object model. Unfortunately, these two semantics are currently neither consistent nor complete, as (a) the formal semantics does not consider the newly introduced concept of OCL messages and (b) both semantics lack an integration of Statecharts and a semantic denition of state-related operations. This article focuses on a formal semantics for OCL messages as a foundation for consistency among,the two OCL semantics. We extend object models and present an extended denition of a system state that comprises all relevant information to be able to evaluate OCL expressions also w.r.t. OCL messages.}}, author = {{Flake, Stephan and Müller, Wolfgang}}, booktitle = {{Proceedings of the Workshop OCL 2.0 at UML 2003}}, title = {{{Formal Semantics of OCL Messages}}}, year = {{2003}}, } @inproceedings{13617, author = {{Steiger, Christoph and Walder, Herbert and Platzner, Marco and Thiele, Lothar}}, booktitle = {{Proceedings 24th IEEE International Real-Time Systems Symposium (RTSS)}}, isbn = {{0769520448}}, pages = {{224--225}}, publisher = {{IEEE CS Press}}, title = {{{Online scheduling and placement of real-time tasks to partially reconfigurable devices}}}, doi = {{10.1109/real.2003.1253269}}, year = {{2003}}, } @inproceedings{15165, author = {{Schwerdtfeger, Björn and Goetz, Frank and Domik, Gitta}}, title = {{{3D interaktives Baukastensystem unter Verwendung von Augmented Reality Techniken}}}, year = {{2003}}, } @techreport{2538, author = {{Karl, Holger and Mengesha, Seble and Hollos, Daniel}}, publisher = {{Business Briefing: Wireless Technology 2002}}, title = {{{Relaying in Wireless Access Networks }}}, year = {{2002}}, } @inproceedings{2541, author = {{Köpke, Andreas and Handziski, Vlado and Karl, Holger}}, booktitle = {{Proc. 7th Wireless World Research Forum (WWRF)}}, title = {{{ Making sensor networks intelligent}}}, year = {{2002}}, } @inproceedings{2544, author = {{Miesmer, Horst and Sanneck, Henning and Aguier, Ana and Karl, Holger}}, booktitle = {{Proc. of 6th Wireless World Forum}}, title = {{{Concepts for a QoS-enabled, TCP/IP-oriented Link Layer in Beyond 3G Networks}}}, year = {{2002}}, } @inproceedings{2548, author = {{Hollos, D. and Karl, Holger}}, booktitle = {{Proc. of 2nd Intl. OMNet Workshop}}, title = {{{A HiperLAN/2 simulation model in OMNeT++}}}, year = {{2002}}, } @inproceedings{19727, author = {{Bonorden, Olaf and Meyer auf der Heide, Friedhelm and Wanka, Rolf}}, booktitle = {{Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA)}}, pages = {{2202--2208}}, title = {{{Composition of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive Example}}}, year = {{2002}}, } @inproceedings{19850, author = {{Wanka, Rolf}}, booktitle = {{Proc. Workshop on Graph-Theoretic Concepts in Computer Science (WG)}}, isbn = {{9783540003311}}, issn = {{0302-9743}}, pages = {{413--420}}, title = {{{Any Load-Balancing Regimen for Evolving Tree Computations on Circulant Graphs Is Asymptotically Optimal}}}, doi = {{10.1007/3-540-36379-3_36}}, year = {{2002}}, } @inproceedings{19873, abstract = {{We present a new and easy to use framework for navigating through scenes of arbitrary complexity and topology. In the preprocessing, images for discrete viewpoints and viewing directions are rendered and stored on an external volume. During navigation each image can be displayed within a very short time by loading it from the volume. For acceleration, our prefetching strategy loads possibly needed images for the next few frames if the viewer takes a break. The measurements show that we achieve interactive frame rates, whereby the difference between the minimal and maximal display time is very small. Our system works well with scenes modelled by polygons, but also digital photos can easily be used for describing a 3D scene.}}, author = {{Klein, Jan and Krokowski, Jens and Cuntz, Nicolas}}, booktitle = {{Proc. of 4. GI-Informatiktage}}, pages = {{224--229}}, title = {{{Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression}}}, year = {{2002}}, } @inproceedings{2423, abstract = {{Wearable computers are embedded into the mobile environment of the human body. A design challenge for wearable systems is to combine the high performance required for tasks such as video decoding with low energy consumption required to maximize battery runtimes and the flexibility demanded by the dynamics of the environment and the applications. In this paper, we demonstrate that reconfigurable hardware technology is able to answer this challenge. We present the concept and the prototype implementation of an autonomous wearable unit with reconfigurable modules (WURM). We discuss two experiments that show the uses of reconfigurable hardware in WURM: ASICs-on-demand and adaptive interfaces. Finally, we develop and evaluate task placement techniques used in the operating system layer of WURM.}}, author = {{Plessl, Christian and Enzler, Rolf and Walder, Herbert and Beutel, Jan and Platzner, Marco and Thiele, Lothar}}, booktitle = {{Proc. Int. Symp. on Wearable Computers (ISWC)}}, isbn = {{0-7695-1816-8}}, keywords = {{wearable computing}}, pages = {{215--222}}, publisher = {{IEEE Computer Society}}, title = {{{Reconfigurable Hardware in Wearable Computing Nodes}}}, doi = {{10.1109/ISWC.2002.1167250}}, year = {{2002}}, } @inproceedings{2424, abstract = {{ Recent generations of high-density and high-speed FPGAs provide a sufficient capacity for implementing complete configurable systems on a chip (CSoCs). Hybrid CPUs that combine standard CPU cores with reconfigurable coprocessors are an important subclass of CSoCs. With partially reconfigurable FPGAs, coprocessors can be loaded on demand while the CPU remains running. However, the lack of high-level design tools for partial reconfiguration makes practical implementations a challenging task. In this paper, we introduce a design flow to implement hybrid processors on Xilinx Virtex. The design flow is based on two techniques, virtual sockets and feed-through components, and can efficiently generate partial configurations from industry-quality cores. We discuss the design flow and present a fully operational audio streaming prototype to demonstrate its feasibility. }}, author = {{Dyer, Matthias and Plessl, Christian and Platzner, Marco}}, booktitle = {{Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)}}, keywords = {{partial reconfiguration}}, pages = {{292--301}}, publisher = {{Springer}}, title = {{{Partially Reconfigurable Cores for Xilinx Virtex}}}, doi = {{10.1007/3-540-46117-5}}, volume = {{2438}}, year = {{2002}}, }