Sciweavers

22 search results - page 3 / 5
» On Modular Decomposition Concepts: the case for Homogeneous ...
Sort
View
FM
2006
Springer
126views Formal Methods» more  FM 2006»
13 years 9 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
OTM
2005
Springer
13 years 11 months ago
An Aspect-Oriented Communication Middleware System
Abstract. This paper describes a Java-based communication middleware, called AspectJRMI, that applies aspect-oriented programming concepts to achieve the following requirements: (1...
Marco Tulio de Oliveira Valente, Fabio Tirelo, Dia...
ECSA
2010
Springer
13 years 7 months ago
Functional Architecture Modeling for the Software Product Industry
Although a lot of research has been carried out on the technical architecture of software systems, the domain of Functional Architecture in the software product industry lacks a fo...
Sjaak Brinkkemper, Stella Pachidi
HYBRID
2010
Springer
14 years 24 days ago
Compositional analysis for linear control systems
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
Florian Kerber, Arjan van der Schaft
ICA
2007
Springer
14 years 3 days ago
On Separation of Signal Sources Using Kernel Estimates of Probability Densities
The discussion in this paper revolves around the notion of separation problems. The latter can be thought of as a unifying concept which includes a variety of important problems in...
Oleg V. Michailovich, Douglas Wiens