@inproceedings{39355, abstract = {{This pap er presents an approach to extend OSGi server based home networks with JXTA's p eer-to- p eer (P2P) technology to a multi-server home envi- ronment connecting multiple private home networks to one true virtual environment for communication, media sharing/exchange, and distributed device con- trol. We elab orate on the basic integration metho d- ology and extend it to a general, security preserv- ing, architectural concept based on a two level inte- gration concept for inhome and interhome networks. The integration is achieved through additional OSGi services for the management of virtual devices, p eer- to-p eer communication, and authentication. The ex- ample of a Quality of Service based video streaming management demonstrates one of the p otential ad- vanced application for which p eer-to-p eer can b e used in addition.}}, author = {{Loeser, Chris and Müller, Wolfgang and Berger, Franz and Eikerling, Heinz-Josef}}, booktitle = {{Proceedings of HICCS-36}}, title = {{{Peer-to-Peer for Virtual Home Environments}}}, year = {{2003}}, } @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}}, } @article{38422, author = {{Milivojevic, B and Sandel, D and Bhandare, S and Noé, Reinhold and Wust, F}}, issn = {{0013-5194}}, journal = {{ELECTRONICS LETTERS}}, number = {{20}}, pages = {{1455--1456}}, title = {{{40 Gbit/s CSRZ-DPSK transmission system with signed online chromatic dispersion detection}}}, doi = {{10.1049/el:20030933}}, volume = {{39}}, year = {{2003}}, } @article{38388, author = {{Sandel, D and Mirvocla, V and Wust, F and Noé, Reinhold}}, issn = {{0948-7921}}, journal = {{ELECTRICAL ENGINEERING}}, number = {{1}}, pages = {{41--44}}, title = {{{Robust, signed, online chromatic dispersion detection in a 40-Gbit/s optical transmission link}}}, doi = {{10.1007/S00202-002-0138-2}}, volume = {{85}}, year = {{2003}}, } @article{38375, author = {{Bhandare, S and Sandel, D and Noé, Reinhold and Ricken, R and Suche, H and Sohler, W}}, issn = {{1350-2409}}, journal = {{IEE PROCEEDINGS-CIRCUITS DEVICES AND SYSTEMS}}, number = {{6}}, pages = {{490--494}}, title = {{{LiNbO3-based integrated optical network analyser for vectorial structure characterisation of fibre Bragg gratings}}}, doi = {{10.1049/ip-cds:20030762}}, volume = {{150}}, year = {{2003}}, } @article{38358, author = {{Sandel, D and Mirvoda, V and Bhandare, S and Wust, F and Noé, Reinhold}}, issn = {{0733-8724}}, journal = {{JOURNAL OF LIGHTWAVE TECHNOLOGY}}, number = {{5}}, pages = {{1198--1210}}, title = {{{Some enabling techniques for polarization mode dispersion compensation}}}, doi = {{10.1109/JLT.2003.811563}}, volume = {{21}}, year = {{2003}}, } @article{38325, author = {{Bhandare, S and Sandel, D and Noé, Reinhold and Ricken, R and Suche, H and Sohler, W}}, issn = {{1350-2409}}, journal = {{IEE PROCEEDINGS-CIRCUITS DEVICES AND SYSTEMS}}, number = {{6}}, pages = {{490--494}}, title = {{{LiNbO3-based integrated optical network analyser for vectorial structure characterisation of fibre Bragg gratings}}}, doi = {{10.1049/ip-cds:20030762}}, volume = {{150}}, year = {{2003}}, } @article{38308, author = {{Sandel, D and Mirvoda, V and Bhandare, S and Wust, F and Noé, Reinhold}}, issn = {{0733-8724}}, journal = {{JOURNAL OF LIGHTWAVE TECHNOLOGY}}, number = {{5}}, pages = {{1198--1210}}, title = {{{Some enabling techniques for polarization mode dispersion compensation}}}, doi = {{10.1109/JLT.2003.811563}}, volume = {{21}}, year = {{2003}}, } @inbook{39956, author = {{Rösler, Margit}}, booktitle = {{Lecture Notes in Mathematics}}, isbn = {{9783540403753}}, issn = {{0075-8434}}, pages = {{93–135}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Dunkl Operators: Theory and Applications}}}, doi = {{10.1007/3-540-44945-0_3}}, year = {{2003}}, } @inproceedings{40903, abstract = {{Non-stationary complex random signals are in general improper (not circularly symmetric), which means that their complementary covariance is non-zero. Since the Karhunen-Loeve expansion in its known form is only valid for proper processes, we derive the improper version of this expansion. It produces two sets of eigenvalues and an improper internal description. We use the Karhunen-Loeve expansion to solve the problem of detecting non-stationary improper complex random signals in additive white Gaussian noise. Using the deflection criterion we compare the performance of conventional processing, which ignores complementary covariances, with processing that takes these into account. The performance gain can be as great as a factor of 2.}}, author = {{Schreier, Peter J. and Scharf, Louis L.}}, booktitle = {{Proc.\ IEEE Int.\ Conf.\ Acoustics, Speech and Signal Process.}}, pages = {{717–720}}, title = {{{The Karhunen-Loève expansion of improper complex random signals with applications in detection}}}, doi = {{10.1109/ICASSP.2003.1201782}}, volume = {{6}}, year = {{2003}}, } @inproceedings{40900, abstract = {{In this paper we describe a beamforming algorithm based on widely-linear rather than linear data models. Initially, we develop this beamformer by generalizing the Capon (MVDR) optimization problem. That is, if the objective is to minimize output power while maintaining a specified directional gain, then we show that the output power of the widely-linear beamformer is less than or equal to the output power of the Capon (MVDR) beamformer. This result is valid regardless of the “true” distribution of the data. We also derive the widely-linear beamformer by considering beamforming to be an estimation problem. Linear models assume that the composite covariance matrix formed from the real and imaginary parts of the array-snapshot has a particular structure. This structure is often summarized by stating that the covariance formed from the array snapshot and its transpose (not Hermitian transpose) is zero. We could also call these data “proper” Gaussian vectors. The beamformers in this paper are appropriate for situations in which these implicit assumptions are violated.}}, author = {{McWhorter, Todd and Schreier, Peter J.}}, booktitle = {{Proc. 37th\ Asilomar Conf.\ Signals Syst.\ Computers}}, pages = {{753–759}}, title = {{{Widely-linear beamforming}}}, doi = {{10.1109/ACSSC.2003.1292015}}, volume = {{1}}, year = {{2003}}, } @inproceedings{40901, abstract = {{Historically, transform coding of noisy sources has been performed by first estimating the message and then quantizing this estimate. We show that it is also optimum to first transform the noisy observations into canonical coordinates, quantize, apply a Wiener filter in this coordinate system, and then transform the result back to the original coordinates. Canonical coordinates are uncorrelated, and quantizing and Wiener filtering are applied to each component independently. Optimality of this approach can be proved assuming additive white quantization noise. Half canonical coordinates minimize the mean-squared error by minimizing the trace of the error covariance matrix and full canonical coordinates maximize information rate by minimizing the determinant of the error covariance matrix.}}, author = {{Schreier, Peter J. and Scharf, Louis L. and Hu, Tianjian and Voran, Stephen D.}}, booktitle = {{Proc.\ IEEE Works.\ Statistical Signal Proces.}}, pages = {{234–237}}, title = {{{Canonical coordinates are the right coordinate system for transform coding of noisy sources}}}, doi = {{10.1109/SSP.2003.1289387}}, year = {{2003}}, }