This chapter describes a real-time system performance analysis approach known as reservation-based analysis (RBA). The scalability of RBA is derived from an abstract (target-independent) representation of system software components, their timing and resource requirements and run-time scheduling policies. The RBA timing analysis framework provides an evolvable modeling solution that can be insti...

Many of today’s software systems are built using distributed services, which evolve in different organizations. In order to facilitate their integration, it is necessary to provide a contract that the services participating in a composition should adhere to. A contract specifies interactions among a set of services from a global point of view. One important problem in a top-down development pro...

An ideal triangle mesh compression technology would simultaneously support the following three objectives: (1) progressive refinements of the received mesh during decompression, (2) nearly optimal compression ratios for both geometry and connectivity, and (3) in-line, real-time decompression algorithms for hardware or software implementations. Because these three objectives impose contradictory...

The concept of multiresolution-based adaptive DG schemes for nonlinear one-dimensional hyperbolic conservation laws has been developed and investigated analytically and numerically in N. Hovhannisyan, S. Müller, R. Schäfer, Adaptive multiresolution Discontinuous Galerkin Schemes for Conservation Laws, Math. Comp., 2013. The key idea is to perform a multiresolution analysis using multiwavelets o...

Relative correctness is the property of a program to be morecorrect than another program with respect to a given specification. Among the many properties of relative correctness, that which we found most intriguing is the property that program P ′ refines program P if and only if P ′ is more-correct than P with respect to any specification. This inspires us to reconsider program derivation by s...

Goal Reasoning (GR) concerns actors that assume the responsibility for dynamically selecting the goals they pursue. Our focus is on modelling an actor’s decision making when they encounter notable events. We model GR as an iterative refinement process, where constraints introduced for each abstraction layer shape the solutions for successive layers. Our model provides a conceptual framework for...

An approach for automatic control using on-line learning is presented. This approach uses a set of adaptive elements, each of which corresponds to a (hyperspherical) region of state space. The state space partition is initially coarse. An adaptive element is activated when the state enters its region, allowing the element to attempt to optimize the response within this region. The region size i...

We investigate the aggregation of amphiphilic molecules by adapting the two-state Muller-Lee-Graziano model for water, in which a solvent-induced hydrophobic interaction is included implicitly. We study the formation of various types of micelle as a function of the distribution of hydrophobic regions at the molecular surface. Successive substitution of nonpolar surfaces by polar ones demonstrat...

Automatic analysis of head gestures and facial expressions is a challenging research area and it has significant applications in humancomputer interfaces. In this study, facial landmark points are detected and tracked over successive video frames using a robust method based on subspace regularization, Kalman prediction and refinement. The trajectories (time series) of facial landmark positions ...

Multi-level modelling is a technology that promotes an incremental refinement of meta-models in successive meta-levels. This enables a flexible way of modelling, which results in simpler and more intensional models in some scenarios. In this context, integrity constraints can be placed at any meta-level, and need to indicate at which meta-level below they should hold. This requires a very caref...