Timo Stich, Tu Braunschweig, Tu Braunschweig, Max Planck, Douglas Cunningham, Marcus Magnor, ...
Wepresentamethodforimageinterpolationwhichisabletocreate high-quality, perceptually convincing transitions between recorded images. Byimplementingconceptsderivedfromhumanvision,the...
Symmetric and Asymmetric Asynchronous Interaction (2009)
Rob Van Glabbeek, Ursula Goltz, Jens-wolfhard Schicke, Tu Braunschweig
We investigate classes of systems based on different interaction patterns with the aim of achieving distributability. As our system model we use Petri nets. In Petri nets, an inherent concept of...
3.2 Accessing Parts of a Collector...................... 10 (2009)
Bettina Eick, Tu Braunschweig, Werner Nickel, Tu Darmstadt Contents
Computation with polycyclic groups
Prof Dr. -ing, Lars Wolf, Tu Braunschweig, High-speed Lans, Man Features
Application Layer (Anwendung) Transport Layer (Transport)
Robert Connelly, Sándor P. Fekete, Tu Braunschweig, Erik D. Demaine, ...
We extend linkage unfolding results from the well-studied case of polygonal linkages to the more general case of linkages of polygons. More precisely, we consider chains of nonoverlapping rigid...
Invited Minisymposium Numerical methods for control organized by (2008)
Volker Mehrmann, Heike Faßbender, Tu Berlin, Tu Braunschweig
Rapid advances in computing, communications, and sensing technology offer unprecedented opportunities for the field of control. In a recent panel report [1] a number of future directions in modern...
3.2 Accessing Parts of a Collector...................... 10 (2008)
Bettina Eick, Tu Braunschweig, Werner Nickel, Tu Darmstadt
Computation with polycyclic groups
Sándor P. Fekete, Tu Braunschweig, Henk Meijer, André Rohe, Walter Tietze, ...
An extended abstract appears in the proceedings of ALENEX’01 [Fekete et al. 2001].
Representation of Process Mode Correlation for Scheduling D.Ziegenbein,K.Richter,R.Ernst (2008)
The specification of embedded systems very often contains a mixture of different models of computation. In particular, the data flow and control flow associated to the transformative and reactive...
Michael Beigl, Tu Braunschweig
� www.ibr.cs.tu-bs.de/courses/ws0607/subicomp/index.html
Obstacles to the Adoption of Model-based Design within the Automotive Supply Industry (2008)
Modellbasierte Entwicklung, Tu Braunschweig, Mirko Conrad, The Mathworks, Holger Giese, Univ Paderborn, ...
umgebungen
Comparing Heuristics for Model Based Testsuite Generation (2008)
Modellbasierte Entwicklung, Informatik Bericht, Tu Braunschweig, Jörg Desel, Matthias Gehrke, Petra Nawratil, ...
Michael von der Beek............................................................................................ 1 Einsatz von Modell-basierten Entwicklungstechniken in sicherheitsrelevanten...
General Terms Autonomous vehicles (2008)
Sándor P. Fekete, Tu Braunschweig
competitive ratio, three-dimensional laser scanning, autonomous mobile robots, Kurt3D. 1.
Sándor P. Fekete, Christiane Schmidt, Tu Braunschweig
With the advent of autonomous robots with two- and three-dimensional scanning capabilities, classical visibility-based exploration methods from computational geometry have gained in practical...
Goniometric Light Reconstruction for Augmented Reality Image Synthesis (2008)
Gi Fachbereich, Graphische Datenverarbeitung, Graphische Datenverarbeitung, Thorsten Grosch, Peter Dannemann, ...
www.gdv.cs.uni-frankfurt.de
Perspektiven des modernen ASIC-Designs (2008)
Lukas Bauer, Lukas Bauer, Vorsitzender Prof, Tu Berlin, ...
zur Erlangung des akademischen Grades „Doktor der Ingenieurwissenschaften “ – Dr.-Ing. – genehmigte Dissertation, verfasst in der Zeit vom 20.09.2000 bis 20.11.2001, eingereicht am...
General Terms Algorithms (2008)
Sándor P. Fekete, Tu Braunschweig
competitive ratio, three-dimensional laser scanning, autonomous mobile robots, Kurt3D. 1.
Manabu Isomura, Till Riedel, Christian Decker, Michael Beigl, Hiroki Horiuchi, Tu Braunschweig
Many industrial applications rely on sensors and sensor networks residing on machinery, transport containers or in the environment. For distributed processes in such domains the sharing of those...
S2B2: Blackboard for transparent data and control access in heterogenous sensing systems (2008)
Michael Beigl, Monty Beuster, Daniel Röhr, Tu Braunschweig
Abstract—This paper presents concept and first implementation of a Sensor System BlackBoard concept (S2B2). S2B2 is designed as a data store surrounded by software modules that operate on the...
Robert Connelly, Sándor P. Fekete, Tu Braunschweig, Erik D. Demaine, ...
We extend linkage unfolding results from the well-studied case of polygonal linkages to the more general case of linkages of polygons. More precisely, we consider chains of nonoverlapping rigid...
Preliminary Design of a Blended Wing Body Configuration using the Design Tool PrADO (2008)
C. Österheld, W. Heinze, P. Horst, Tu Braunschweig
New, unconventional aircraft configurations like the blended wing-body (BWB) are expected to significantly improve the economic efficiency of future air-transport. In order to investigate potential...
He 2-320 Infrared Image (2008)
Andrei Linńu, Marcus Magnor, Ting-hui Lee, Sascha El-abed, Hans-peter Seidel, ...
This work addresses the problem of reconstructing the 3D structure of planetary nebulae from 2D observations. Assuming axial symmetry, our method jointly reconstructs the distribution of dust and...
Stability of repairable systems Gunter Last (2007)
Tu Braunschweig, Ryszard Szekli
The paper studies a model of repairable systems which is flexible enough to incorporate the standard imperfect repair and many other models from the literature. Palm stationarity of virtual ages,...
Thomas Baar, Bernd Fischer, Dirk Fuchs, Abt Softwaretechnologie, Tu Braunschweig, ...
Abstract. We describe a combination of the NORA/HAMMR software component retrieval tool and the ILF system which provides the necessary infrastructure to apply different first-order theorem provers...
Solving Software Reuse Problems with Theorem Provers (2007)
Thomas Baar, Bernd Fischer, Abt Softwaretechnologie, Tu Braunschweig
Abstract. For a challenging application, the software component retrieval, we present a powerful solution by combining two systems. The NORA/HAMMR-tool handles all aspects concerning with the logical...
EduNet: Internet-based Education Network (2007)
M. Zitterbart, A. Böger, O. Brand, T. Harbaum, D. Sturzebecher, Tu Braunschweig
This paper focusses on distance learning. Technical infrastructure deployment is not outlined in detail. It mainly comprises the installation of network access in several lecture rooms and the...
The LOP User Manual - Version 0.99 (2007)
Michael R. Bussieck, Prof Dr, U. T. Zimmermann, Tu Braunschweig
Contents 1 Purpose and Outline 2 2 Model and Algorithm 3 3 Data Files 5 3.1 Input . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 3.2 Output . . . . . . . . . . ....
Stochastic Comparison of Repairable Systems by Coupling (2007)
Günter Last, Tu Braunschweig, Ryszard Szekli
Stochastic comparison results for replacement policies are shown in this paper using formalism of point processes theory. At each failure moment a repair is allowed performed with a random degree of...
Solving Software Reuse Problems with Theorem Provers (2007)
Thomas Baar, Bernd Fischer, Abt Softwaretechnologie, Tu Braunschweig
In NORA/HAMMR, we investigate the application of automated theorem provers to retrieve software components based on their formal specifications. The problem pro le has major impacts on the problem...
The Object-oriented Tool MOTES DM and its Use for Diagnosis of Sewage Plant Failures (2007)
J. Schönwälder, M. Hofmann, H. Langendörfer, Tu Braunschweig
In this paper we present the tool MOTESDM which is used for knowledge based diagnosis of a sewage plant. MOTESDM supports hybrid knowledge representation that allows us to adequately express...
Object Orientation as a Promising Perspective for Life Cycle Models (2007)
Perdita Löhr-Richter, Georg Reichwein, Tu Braunschweig
Object orientation challenges the area of software process modelling in two ways. The first challenge is to define process models which take into account the peculiarities of development projects...
J. Jason, J. Schoenwaelder, F. Strauss, Tu Braunschweig, W. Weiss, Sming Objectives
Status of this Memo
Obsoletes D. Perkins, J. Schoenwaelder, Tu Braunschweig, K. Mccloghrie, M. Rose, S. Waldbusser
Status of this Memo Conformance Statements for SMIv2 This document specifies an Internet standards track protocol for the Internet community, and requests discussion and suggestions for improvements....
Towards Analysis and Simulation of Ad-Hoc Networks (2007)
Horst Hellbrfick, Stefan Fischer, Tu Braunschweig
Abstract In order to determine whether the de-ployment of Ad-Hoc networks in a certain region or field of application is feasible or reasonable, analytic considerations as well as simulations are...
Basic Analysis and Simulation of Ad-Hoc Networks (2007)
Horst Hellbriick, Stefan Fischer, Tu Braunschweig
Abstract: In order to determine whether the deployment of Ad-I-Ioc networks in a certain region or field of application is feasible or reasonable, analytic considerations as well as simulations axe...
CTCS 2002 Preliminary Version A monadic approach to polycategories (2007)
Polycategories form a rather natural generalization of multicategories. Besides the domains also the codomains of morphisms are allowed to be strings of objects. While small multicategories can be...
Triangulations and Lattice Points Peter Bra (2007)
Abteilung Diskrete Mathematik, Tu Braunschweig
Abstract. We study triangulations of the plane, in which for each triangle a special point of the triangle is a lattice point. Depending on the selection of this special point, we prove sharp upper...
Obsoletes D. Perkins, J. Schoenwaelder, Tu Braunschweig, K. Mccloghrie, M. Rose, S. Waldbusser
Syntax Notation One, ASN.1 (1988) [1]. It is the purpose of this document, the Structure of Management Information (SMI), to define that adapted subset, and to assign a set of associated...
Status of this Memo Definitions of Managed Objects for the Delegation of Management Scripts (2007)
This document specifies an Internet standards track protocol for the Internet community, and requests discussion and suggestions for improvements. Please refer to the current edition of the...
Status of this Memo Definitions of Managed Objects for Scheduling Management Operations (2007)
This document specifies an Internet standards track protocol for the Internet community, and requests discussion and suggestions for improvements. Please refer to the current edition of the...
Next Generation Structure of Management Information (SMIng) (2007)
Request Comments, Tu Braunschweig
SMIng (Structure of Management Information, Next Generation) (RFC3780), is a protocol-independent data definition language for management information. This memo defines an SMIng language extension...
Status of this Memo Textual Conventions for Transport Addresses (2007)
This document introduces a Management Information Base (MIB) module that defines textual conventions to represent commonly used transport-layer addressing information. The definitions are compatible...
Request Comments, Tu Braunschweig, J. Schoenwaelder
This memo defines the base SMIng (Structure of Management Information, Next Generation) language. SMIng is a data definition language that provides a protocol-independent representation for...
Edilson Aguiar, Rhaleb Zayer, Christian Theobalt, Marcus Magnor, Hans-peter Seidel, Edilson De Aguiar, ...
We present a novel versatile, fast and simple framework to generate highquality animations of scanned human characters from input motion data. Our method is purely mesh-based and, in contrast to...
A Monadic Approach to Polycategories (2003)
Polycategories form a rather natural generalization of multicategories. Besides the domains also the codomains of morphisms are allowed to be strings of objects. Small multicategories can be...
Interactive rendering of Catmull/Clark surfaces with crease edges (2002)
Sven Havemann, Tu Braunschweig
A scheme for delayed tesselation of Catmull/Clark surfaces is described, where only changes of the control mesh and changes in visibility create workload. Tesselation is performed on demand and is...
Interactive rendering of Catmull/Clark surfaces with crease edges (2002)
Sven Havemann, Sven Havemann, Tu Braunschweig
A scheme for delayed tesselation of Catmull/Clark surfaces is described where only changes of the control mesh and changes in visibility create workload. Tesselation is performed on demand and is...
Textual Conventions for Internet Network Addresses", RFC 3291 (2001)
S. Routhier, J. Schoenwaelder, Tu Braunschweig
Status of this Memo
Textual Conventions for Internet Network Addresses", RFC 3291 (2001)
S. Routhier, J. Schoenwaelder, Tu Braunschweig
This MIB module defines textual conventions to represent commonly used Internet network layer addressing information. The intent is that these textual conventions (TCs) will be imported and used in...
Jürgen Schönwälder, Tu Braunschweig
The Simple Times is an openly-available publication devoted to the promotion of the Simple Network Management Protocol. In each issue, The Simple Times presents technical articles and featured...
Formal specification of Catalysis frameworks (2000)
Juliana Kuster Filipe, Tu Braunschweig, Kung-kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, ...
Frameworks are increasingly recognised as very useful components in the emerging paradigm of component-based software development (CBD). They are widely accepted as better units of reuse than...
Formal specification of Catalysis frameworks (2000)
Juliana Kuster Filipe, Tu Braunschweig, Kung-kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, ...
Frameworks are increasingly recognised as very useful components in the emerging paradigm of component-based software development (CBD). They are widely accepted as better units of reuse than...
A 2-dimensional view of the Chu-construction (2000)
Jürgen Koslowski, Tu Braunschweig
The cyclic Chu-construction for closed bicategories, generalizing the original Chu-construction for symmetric monoidal closed categories, turns out to have a non-cyclic counterpart. Both...
Policy-Based Enhancements to the SNMP Framework (2000)
J. Saperia, J. Schönwälder, Tu Braunschweig
This memo takes a look at some of the work on policy-driven networks currently being done in several IETF working groups. The proposed solutions (like COPS and PIBs) focus on solving local problems...
Real-Time Dispatch of Trams in Storage Yards (2000)
Thomas Winter, Uwe T. Zimmermann, Tu Braunschweig
this paper, we consider the daily dispatch of trams in localized depots. In particular, we focus on storage yards in which the trams are stored one behind the other in dead-end sidings.
Network Working Group D. Raz (2000)
Request For Comments, J. Schoenwaelder, Tu Braunschweig, B. Sugla, Ispsoft Inc
This document describes the ALG (Application Level Gateway) for the SNMP (Simple Network Management Protocol) by which IP (Internet Protocol) addresses in the payload of SNMP packets are statically...
Definitions of managed Objects for WWW Services (1999)
J. Schoenwaelder, Tu Braunschweig
Status of this Memo
Hardware/Software Codesign of Embedded Systems - The SPI Workbench (1999)
R. Ernst, D. Ziegenbein, K. Richter, Tu Braunschweig, L. Thiele, J. Teich
Embedded systems typically include reactive and transformative functions, often described in different languages and semantics which are well introduced in the various application fields. A large...
SPI - An Internal Representation for Heterogeneously Specified Embedded Systems (1999)
D. Ziegenbein, K. Richter, R. Ernst, Tu Braunschweig, L. Thiele, J. Teich
The specification of embedded systems often contains several different specification or modeling languages with fundamental differences in their underlying models of computation. In this paper, we...
Real-Time Dispatch of Trams in Storage Yards (1999)
Schwerpunktprogramm Der, Deutschen Forschungsgemeinschaft, Uwe T. Zimmermann, Thomas Winter, Thomas Winter, ...
this paper, we consider the daily dispatch of trams in localized depots. In particular, we focus on storage yards in which the trams are stored one behind the other in dead-end sidings. At the end of...
Network Working Group Editors of this version: (1999)
Request For Comments, Obsoletes D. Perkins, J. Schoenwaelder, Tu Braunschweig, K. Mccloghrie, M. Rose, ...
Syntax Notation One, ASN.1 (1988) [1], termed the Structure of Management Information (SMI) [2].
Static Slicing of Threaded Programs (1998)
Jens Krinke, Tu Braunschweig, Abteilung Softwaretechnologie
Static program slicing is an established method for analyzing sequential programs, especially for program understanding, debugging and testing. Until now, there was no slicing method for threaded...
A Management Interface for Distributed Fault Tolerance CORBA Services (1998)
Jurgen Schonwalder Sachin, Sachin Garg, Yennun Huang, Shalini Yajnik, Tu Braunschweig
CORBA is becoming an increasingly important middleware platform for distributed software applications in areas such as telecommunications. The DOORS fault-tolerance service is a CORBA service that...
Representation of Process Mode Correlation for Scheduling (1998)
D. Ziegenbein, R. Ernst, K. Richter, Tu Braunschweig, J. Teich, L. Thiele
The specification of embedded systems very often contains a mixture of different models of computation. In particular, the data flow and control flow associated to the transformative and reactive...
Combining Multiple Models of Computation for Scheduling and Allocation (1998)
D. Ziegenbein, R. Ernst, K. Richter, Tu Braunschweig, J. Teich, L. Thiele
Many applications include a variety of functions from different domains. Therefore, they are best modeled with a combination of different modeling languages. For a sound design process and improved...
Specification-Based Browsing of Software Component Libraries (1998)
Bernd Fischer, Abt Softwaretechnologie, Tu Braunschweig
Specification-based retrieval provides exact content-oriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottleneck by moving any...
A Management Interface for Distributed Fault Tolerance CORBA Services (1998)
Jürgen Schönwälder, Sachin Garg, Yennun Huang, Shalini Yajnik, Tu Braunschweig
CORBA is becoming an increasingly important middleware platform for distributed software applications in areas such as telecommunications. The DOORS fault-tolerance service is a CORBA service that...
Specification-Based Browsing of Software Component Libraries (1998)
Bernd Fischer, Abt Softwaretechnologie, Tu Braunschweig
Specification-based retrieval provides exact content-oriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottleneck by moving any...
Specification-Based Browsing of Software Component Libraries (1998)
Bernd Fischer Abt, Bernd Fischer, Abt Softwaretechnologie, Tu Braunschweig
Specification-based retrieval provides exact contentoriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottleneck by moving any...
NORA/HAMMR: Making deduction-based software component retrieval practical (1997)
Johann Schumann, Bernd Fischer, Abt Softwaretechnologie, Tu Braunschweig
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This idea is very simple...
Tu Braunschweig, Matthias Reyelt, Matthias Reyelt, Gehort Antragsabschnitt, Prosodische Etikettierung
Contents 1 Introduction 2 2 Description of the labelling system 3 2.1 The functional tier . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 The tone tier . . . . . . . . . . . . . . . . . . ....
S. Petri, H. Langendörfer, Tu Braunschweig
In the past, several process migration facilities for distributed systems have been developed. Due to the complex nature of the subject, all those facilities have limitations that make them usable...
Algorithms for Concept Lattice Decomposition and their Application (1995)
P. Funk, A. Lewien, G. Snelting, Tu Braunschweig, Abteilung Softwaretechnologie
We present algorithms for horizontal decomposition, subdirect decomposition, and subtensorial decomposition of concept lattices. The implementations of these algorithms are described, and their...
Deduction-Based Software Component Retrieval (1994)
B. Fischer, M. Kievernagel, G. Snelting, Tu Braunschweig, Abteilung Fur Softwaretechnologie
We present a retrieval approach which allows pre- and postconditions of software components to be used as search keys. A component qualifies, if it has a weaker precondition and a stronger...
From Object Specification to Enhanced Logic Programming (1994)
Martin Gogolla, Sedat Guler, Rudolf Herzig, Tu Braunschweig, Abt Datenbanken
We combine the area of object-oriented specification and object-oriented logic programming by indicating the translation of a specification language into an enhanced logic programming language. The...
Object-Oriented Design of Information Systems: Theoretical Foundations (1994)
Hans-Dieter Ehrich, Ralf Jungclaus, Grit Denker, Amilcar Sernadas, Sprachvorschlage Habilitationsschrift, Tu Braunschweig
Data Types, M. Bidoit, C. Choppy (eds.), LNCS 655, SpringerVerlag , Berlin 1992, 40-66 [EM85] Ehrig,H.;Mahr,B.: Fundamentals of Algebraic Specification 1. Springer-Verlag, Berlin 1985 [ES91] Ehrich,...
On Formal Semantics of Some Semantic Data Models (1994)
Martin Gogolla, Tu Braunschweig, Abt Datenbanken
We explain how different semantic data models like the ER model, the ERC approach and the OMT structural modeling method could be transformed into a semantically well-defined extended...
Resolution for Feature Logic (1993)
Bernd Fischer, Ag Softwaretechnologie, Tu Braunschweig
: A common approach to combine the object-oriented and logic programming paradigms is to formulate a set of inference rules for an object logic. We show how resolution is expressed using the full...
Relationships between Dynamic Objects (1993)
Ralf Jungclaus, Thorsten Hartmann, Gunter Saake, Abt Datenbanken, Tu Braunschweig
. In this paper, we describe the specification of communication relationships between objects in a framework for object-oriented conceptual modeling of information systems. In our approach, objects...
An Object-Oriented Design for the ACT ONE Environment (1993)
Martin Gogolla, Ingo Claßen, Abt Datenbanken, Tu Braunschweig
The overall aim of this paper is to stabilize and strengthen the algebraic specification method to software engineering and development. We do not introduce new theoretical results, but define a...
A Universal Co-Processor for Workstations (1993)
Andreas Koch And, Ulrich Golze, Tu Braunschweig
This paper considers the design and implementation of an FPGA-based configurable co-processor for general-purpose computers. Topics include the selection of suitable FPGAs as well as their...
A Nonce-Based Protocol For Multiple Authentications (1992)
Kehne Schonwalder, A. Kehne, J. Schonwalder, H. Langendorfer, Tu Braunschweig
The Kerberos authentication service, a part of MIT's Project Athena, is based on the Needham and Schroeder protocol. Timestamps depending on reliable synchronized clocks are used to guarantee...
Aggregation in a Behavior Oriented Object Model (1992)
Thorsten Hartmann, Ralf Jungclaus, Gunter Saake, Abt Datenbanken, Tu Braunschweig
T ROLL is a language to specify information systems with dynamic behavior. Here, we elaborate on the specification of object aggregation in T ROLL . We distinguish between two kinds of aggregation,...
Fault Diagnosis of a Sewage Plant (1991)
J. Schonwalder, M. Hofmann, H. Langendorfer, Tu Braunschweig
In this paper we present a project whose aim is the development of an expert system managing and diagnosing a sewage plant. After a short description how the knowledge acquisition process took place...
Ingo Claßen, Tu Berlin, Fg Formale Spezifikation, Martin Gogolla, Tu Braunschweig
Due to the interactive nature of the specification task, it is desirable and necessary for a specification environment to support a collection of pre-defined or already verified modules on secondary...
NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical
Bernd Fischer, Abt Softwaretechnologie, Tu Braunschweig, Johann Schumann
Deduction-based software component retrieval uses pre- and postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This idea is very...