@inproceedings{7927, author = {{Guo, Ping and Heckel, Reiko}}, booktitle = {{Proceedings of the 19th IEEE international conference on Automated software engineering (ASE 2004)}}, pages = {{430--433}}, publisher = {{IEEE Computer Society}}, title = {{{Modeling and Simulation of Context-Aware Mobile Systems}}}, year = {{2004}}, } @inproceedings{7928, author = {{Guo, Ping and Heckel, Reiko}}, booktitle = {{Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany)}}, title = {{{Simulation and Testing of Mobile Computing Systems using Fujaba}}}, year = {{2004}}, } @inproceedings{853, author = {{Typpö, Ville and Eisl, Jochen and Höller, Jan and Agüero, Ramon and Karl, Holger}}, booktitle = {{Broadband Satellite Comunication Systems and the Challenges of Mobility - IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22-27, 2004, Toulouse, France}}, pages = {{145----155}}, title = {{{Research Challenges in Mobility and Moving Networks: An Ambient Networks View}}}, doi = {{10.1007/0-387-24043-8_15}}, year = {{2004}}, } @inproceedings{854, author = {{Frank, Christian and Karl, Holger}}, booktitle = {{Proceedings of the 7th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2004, Venice, Italy, October 4-6, 2004}}, pages = {{105----114}}, title = {{{Consistency challenges of service discovery in mobile ad hoc networks}}}, doi = {{10.1145/1023663.1023684}}, year = {{2004}}, } @inproceedings{16803, author = {{Goetz, Frank and Domik, Gitta}}, booktitle = {{Cooperative Design, Visualization, and Engineering, First International Conference, (CDVE) 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings}}, editor = {{Luo, Yuhua}}, pages = {{38--46}}, publisher = {{Springer}}, title = {{{openVisaar: Enriching Cooperative Visualization by Combining Open Technologies}}}, doi = {{10.1007/978-3-540-30103-5_5}}, volume = {{3190}}, year = {{2004}}, } @inproceedings{16804, author = {{Goetz, Frank and Borau, Ralf and Domik, Gitta}}, booktitle = {{Proceeding of the Ninth International Conference on 3D Web Technology, Web3D 2004, Monterey, California, USA, April 5-8, 2004}}, editor = {{P. Brutzman, Donald and Chittaro, Luca and Puk, Richard}}, pages = {{87--97}}, publisher = {{{ACM}}}, title = {{{An XML-based visual shading language for vertex and fragment shaders}}}, doi = {{10.1145/985040.985054}}, year = {{2004}}, } @inbook{36082, author = {{Schlegel-Matthies, Kirsten}}, booktitle = {{Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert}}, editor = {{Teuteberg, Hans-Jürgen}}, isbn = {{9783515084475}}, pages = {{148–161}}, publisher = {{Steiner-Verlag}}, title = {{{„Liebe geht durch den Magen“: Mahlzeit und Familienglück im Strom der Zeit}}}, year = {{2004}}, } @misc{18487, author = {{Peckhaus, Volker}}, booktitle = {{zbMATH Open, Zbl. 1030.01021}}, title = {{{Sundholm, Göran, “Frege, August Bebel and the Return of Alsace-Lorraine: The Dating of the Distinction between Sinn and Bedeutung”, History and Philosophy of Logic 22 (2001), 57–73}}}, year = {{2004}}, } @misc{18489, author = {{Peckhaus, Volker}}, booktitle = {{zbMATH Open, Zbl. 1030.03002}}, title = {{{Klement, Kevin C., “Russell’s Paradox in Appendix B of the Principles of Mathematics: Was Frege’s Response Adequate?”, History and Philosophy of Logic 22 (2001), 13-28}}}, year = {{2004}}, } @inproceedings{54143, abstract = {{Besides to classical research area of bioinformatics, the turn to nature for solutions to technological questions has brought us many unforeseen great concepts. This encouraging course seems to hold on for many aspects in technology. Many efforts were made in the area of computer technology employing mechanisms known from biological systems. The most known examples are evolutionary algorithms and the artificial immune system. One application is in network security, e.g. for the search for viruses and worms, where the immune system was used as an inspiration.In contrast, the focus of our group lays on trying to map the cellular and molecular biology to networking architectures. Recently, it was shown that the known approaches to study effects in computer networking, especially methods to analyze the behavior of large scale networks suffer from many presumptions. We try to study this behavior by analyzing the internal functioning of network components as well as there interactions in comparison with cellular systems and the associated intra and extra cellular signaling pathways.The main focus of this work is to show the similarities of computer networks and cellular systems. Based on the knowledge about cellular metabolism, new concepts for the behavior patterns of routers, monitor systems, and firewalls can be deduced and the efficiency of individual sub-systems can be increased. Focusing on examples of hot topics in the computer society, i.e. network security, potential solutions motivated by cellular behavior are currently studied and, hopefully, will soon bring new results in these areas.Independently from these examinations, we try to show the power of our novel approach by introducing the basic mechanisms and interactions as well as a self-evident application. Doing this, we must keep in mind that the deeper the parallels between biology and technology, the more important it is to map the corresponding elements correctly.}}, author = {{Dressler, Falko and Krueger, Bettina}}, booktitle = {{German Conference on Bioinformatics 2004 (GCB 2004), Poster Session}}, title = {{{Cell biology as a key to computer networking}}}, year = {{2004}}, } @inproceedings{54940, abstract = {{Autonomous networking has become the buzzword for attempts of building high-scalable network architectures, which are self-organizing, self-maintaining and self-healing. Few of these approaches were successful and none has shown to provide all the promised functions. We try to study the processes in computer networks using molecular processes as the paradigm. This novel approach shows many similarities between computer networking and cellular mechanisms. In this paper, we focus on the area of network security as one research area with high demand for high-scalable mechanisms providing the needed functionality. After identifying similarities between nature and technology, we discuss potential research domains, which are high potentials for learning directly from biology at the example of security attacks in networks. We see the proposed mechanism as a generic approach for autonomous networking. The countermeasures against attacks in computer networks are only a special example to introduce the mechanisms.}}, author = {{Krueger, Bettina and Dressler, Falko}}, booktitle = {{International IPSI Stockholm Conference: Symposium on Challenges in the Internet and Interdisciplinary Research (IPSI 2004)}}, title = {{{Molecular Processes as a Basis for Autonomous Networking}}}, year = {{2004}}, } @inproceedings{39055, abstract = {{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.}}, author = {{Zambaldi, Martin and Ecker, Wolfgang and Kruse, Thilo and Müller, Wolfgang}}, booktitle = {{Proceedings of FDL’04}}, location = {{Lille, France}}, title = {{{The Formal Simulation Semantics of SystemVerilog}}}, year = {{2004}}, } @inproceedings{39063, author = {{Müller, Wolfgang and Paelke, Volker}}, booktitle = {{Proceedings of the Simulation and Visualisation 2004}}, title = {{{A Formal Model of a Framework for Simulation-Based Animation}}}, year = {{2004}}, } @inproceedings{39065, author = {{Gausemeier, Jürgen and Müller, Wolfgang and Bauch, Jürgen and Radkowski, W. and Shen, T. and Paelke, Volker}}, booktitle = {{Proceedings of the Simulation and Visualisation 2004}}, title = {{{Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality}}}, year = {{2004}}, } @article{28780, author = {{Mahnken, Rolf}}, issn = {{1617-7061}}, journal = {{PAMM}}, pages = {{225--226}}, title = {{{Stress mode dependent weighting functions for simulation of asymmetric creep effects}}}, doi = {{10.1002/pamm.200410094}}, year = {{2004}}, } @inproceedings{40897, abstract = {{The tracking of the time-varying channel is crucial for MIMO-OFDM wireless communication systems. Aiming at doubly-selective fading MIMO channels, we present a novel pilot pattern and the corresponding adaptive channel tracking algorithm. Compared with the traditional pilot patterns, the new pattern has higher frequency efficiency and is more suitable for large transmit arrays. The computational complexity, frequency efficiency and BER performance of the system assisted by the proposed channel tracking scheme are analyzed. Simulation results demonstrate that the proposed scheme can track the timevarying channel effectively.}}, author = {{Tong, Jun and Gong, Yaohuan and Sun, Shengxian}}, booktitle = {{Int.\ Conf.\ Comm.\ Circuits Syst.}}, pages = {{354–358}}, title = {{{An adaptive channel tracking method for MIMO-OFDM systems}}}, doi = {{10.1109/ICCCAS.2004.1346098}}, volume = {{1}}, year = {{2004}}, } @inbook{36079, author = {{Schlegel-Matthies, Kirsten}}, booktitle = {{Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert}}, editor = {{Teuteberg, Hans-Jürgen}}, isbn = {{9783515084475}}, pages = {{148–161}}, publisher = {{Steiner-Verlag}}, title = {{{„Liebe geht durch den Magen“: Mahlzeit und Familienglück im Strom der Zeit}}}, year = {{2004}}, } @phdthesis{65137, abstract = {{Nicht nur unter bibelwissenschaftlichen Gesichtspunkten ist die Erzählung von der Bindung Isaaks (Genesis 22) Gegenstand der Forschung. Auch die Rezeption dieser biblischen Geschichte in den drei monotheistischen Weltreligionen, in Literatur, Philosophie und Kunst werden seit einem halben Jahrhundert zunehmend intensiver wissenschaftlich untersucht. Das Werk betritt in mehreren Hinsichten Neuland. In seinem Mittelpunkt steht die Analyse der Gen 22-Szenen in zwei deutschen Theaterstücken von 1995 (Heinz Grasmücks „Gottesvergiftung“) und 1998 (Peter und Undine Andersonns „Abrahams Zelt“). Theaterwissenschaft, Literaturwissenschaft, Theologie, Philosophie, Musikwissenschaft, Entwicklungspsychologie, Sozialanthropologie und Medientheorie werden in dem Werk unter dem Leitgedanken für die Analyse fruchtbar gemacht, die religiöse Aussage der Stücke herauszuarbeiten. Die dargestellten interdisziplinären Verknüpfungen bringen die Mehrdeutigkeiten als offenbar unausschöpfbares Potential des biblischen Textes zur Geltung. War die wissenschaftliche Kommentarliteratur bislang vorwiegend auf die historische Erforschung von biblischen Texten fokussiert, so beginnt sich langsam ein kulturtheologisches Paradigma in der Erforschung der Bibel und ihre Rezeption zu etablieren. Das Werk betritt mit der theatralischen Gen 22-Rezeption Neuland und leistet damit für die biblische Rezeptionsforschung Wesentliches. Angesichts abnehmender Lesefähigkeiten von Kindern ist die Analyse von theatralischen Bibelinszenierungen auch und gerade religionspädagogisch von besonderem Interesse.}}, author = {{Keuchen, Marion}}, isbn = {{3-8258-7196-7}}, keywords = {{Bibel Rezeption, Theater im 20. Jahrhundert, Opferung/ Bindung Isaaks, Abraham/ Sara/ Hagar/ Ismael/ Isaak, Opfer, Intertextualität, Gottesvergiftung, Tanztheater}}, pages = {{283}}, publisher = {{Lit}}, title = {{{Die „Opferung Isaaks“ im 20. Jahrhundert auf der Theaterbühne}}}, volume = {{19}}, year = {{2004}}, } @inproceedings{19806, abstract = {{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.}}, author = {{Rührup, Stefan and Schindelhauer, Christian and Volbert, Klaus and Grünewald, M.}}, booktitle = {{Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS)}}, isbn = {{0769519261}}, title = {{{Performance of distributed algorithms for topology control in wireless networks}}}, doi = {{10.1109/ipdps.2003.1213107}}, year = {{2003}}, } @inproceedings{2421, abstract = {{In contrast to processors, current reconfigurable devices totally lack programming models that would allow for device independent compilation and forward compatibility. The key to overcome this limitation is hardware virtualization. In this paper, we resort to a macro-pipelined execution model to achieve hardware virtualization for data streaming applications. As a hardware implementation we present a hybrid multi-context architecture that attaches a coarse-grained reconfigurable array to a host CPU. A co-simulation framework enables cycle-accurate simulation of the complete architecture. As a case study we map an FIR filter to our virtualized hardware model and evaluate different designs. We discuss the impact of the number of contexts and the feature of context state on the speedup and the CPU load.}}, author = {{Enzler, Rolf and Plessl, Christian and Platzner, Marco}}, booktitle = {{Proc. Int. Conf. on Field Programmable Logic and Applications (FPL)}}, keywords = {{Zippy, multi-context, FPGA}}, pages = {{151--160}}, publisher = {{Springer}}, title = {{{Virtualizing Hardware with Multi-Context Reconfigurable Arrays}}}, doi = {{10.1007/b12007}}, volume = {{2778}}, year = {{2003}}, }