Suche
Ergebnisse
-
The design and implementation of a flexible middleware for multimedia communications comprising usage experience
(1998)TIK ReportDistributed multimedia applications require a variety of communication services. These services and different application demands have to be provided and supported within end-systems in an efficient and integrated manner, combining the precise specification of Quality-of-Service (QoS) requirements, application interfaces, multicast support, and security features. The Da CaPo++ system presented in this paper provides an efficient middleware ...Report -
Organizational integrity: facing the challenge of the global software process
(1998)TIK ReportEmerging technologies influence the way software is produced and deployed. Software component developers build virtual organizations to produce properly interoperating components by connecting their software processes to a “global software process”. Its support challenges the traditional concepts of software engineering environments and requires organizational integrity to become the key design issue. This encompasses the common understanding ...Report -
A distributed framework for integrated software process and deployment support
(1998)TIK ReportSoftware development and deployment are traditionally separate non interoperating tasks, yet they concern much of the same information. We propose a modeling language for software development processes that incorporates the software artifacts being developed in the process as well as their product structure information including evolution, such as dependency, origin, version, and configuration information which is required for deployment. ...Report -
Using interval diagram techniques for the symbolic verification of timed automata
(1998)TIK ReportIn this report, we suggest interval diagram techniques for formal verification of timed automata. Interval diagram techniques are based on interval decision diagrams (IDDs) – representing sets of system configurations of, e.g., timed automata – and interval mapping diagrams (IMDs) – modeling their transition behavior. IDDs are canonical representations of Boolean functions and allow for their efficient manipulation. We present the methods ...Report -
-
The WaveVideo system and network architecture: design and implementation
(1998)TIK ReportWireless video in acceptable quality is only possible by following an end-to-end approach. WaveVideo is an integrated, adaptive video coding architecture designed for heterogeneous wireless networks. It includes basic video compression algorithms based on wavelet transformations, an efficient channel coding, a filter architec ture for receiver-based media scaling, and error-control methods to adapt video transmissions to the wireless ...Report -
Concept Oriented Design of Numerical Software
(1998)SAM Research ReportThe continuously growing computing power of modern computers admits to tackle numerical problems of extreme complexity. This complexity carries over to the numerical methods applied to solve the problems. Whereas the mathematical formulation of these methods does not raise any difficulties, their implementation turns out to be the bottleneck in the realization of numerical applications. In the last years, in order to afford relief, object ...Report -
A spectral Garlekin method for hydrodynamic stability problems
(1998)SAM Research ReportA spectral Galerkin method for calculating the eigenvalues of the Orr-Sommerfeld equation is presented. The matrices of the resulting generalized eigenvalue problem are sparse. A convergence analysis of the method is presented which indicates that a) no spurious eigenvalues occur and b) reliable results can only be expected under the assumption of {\em scale resolution}, i.e., that $\re/p^2$ is small; here $\re$ is the Reynolds number and ...Report -
An evolutionary algorithm for multiobjective optimization: the strength Pareto approach
(1998)TIK ReportReport -
The Coulomb energy for dense periodic systems
(1998)SAM Research ReportA method for calculating the Coulomb energy in a periodic system is discussed for the case that the number N of charges is large,so that it would be too time consuming to calculate 1/2N*(N-1) pairs.Report