degrees, you need to make a decision about what to get for lunch. You can do a numerical calculation and weigh the price of each bottle by the probability that its contents will please your taste, but chances are that a more automatic decision mechanism kicks in that is based on anticipation and will tell

on simple microprocessors. These cases are typically found in control applications requiring the periodic execution (or transmission) of a set of tasks (or messages) with low jitter. This paper refers to a simple execution strategy based on synchronised time-triggering and non-preemptive scheduling

al. 24 are: • Algorithms to find and minimize program repairs based on test cases that describe desired functionality. The algorithms are generic in the sense that they can repair many classes of bugs. • A novel and efficient representation and set of operations for applying GP to program repair

Background: Gait analysis is a valuable tool that can be used in human motion tracking in many applications. Most motion tracking are performed using Marker-based System technologies. Objective: we present a simple but efficient two dimensional (2D) marker-based method that extracts the gait

to be managed in an equally adaptive and predictable way. To address this need, we introduce a novel, tool-supported framework for the development of adaptive servicebased systems called QoSMOS (QoS Management and Optimization of Service-based systems). QoSMOS can be used to develop service-based systems

Detailed modeling of the performance of commercial applications is difficult. The applications can take a very long time to run on real hardware and it is impractical to simulate them to completion on performance models. Furthermore, these applications have complex execution environments

that estimates the computing time of a sequential function. (ii) A code generator tool for generating hybrid code based on the compiler analyser and a simple analytical parallel per-formance prediction model to estimate the execution time of an hybrid program. (iii) An evaluation of the accuracy of the framework

The advent of multicore technologies is a fundamental development that is impacting software design processes across a wide range of application domains, including an important category of such applications, namely, those that have real-time constraints. This development has led to much recent work

the modeling of a recent ST-based protocol, by deriving (i) sufficient conditions for probabilistic guarantees on the end-toend packet reliability, and (ii) a Markovian model to estimate the long-term energy consumption. Validation using testbed experiments confirms that our simple models are also highly

reliable, low-cost monitoring of migratory species. The developed multi-tier architecture yields ecologists with unconventional behavior in-formation not furnished by alternative tracking systems at such a large scale and for a low-cost. The simulation, development and implementation of the Crane