Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
A new solution for cDNA microarray image acquisition and processing is introduced. The proposed solution uses a two-color filter array placed on top of a single image sensor to c...
In this article we introduce a grid runtime system called TGrid which is designed to run hierarchically structured task-parallel programs on heterogenous environments and can also...
Location-aware computing enables automatic tailoring of information and services based on the current location of a mobile user. We have designed and implemented CMUseum, a system...
We present a SAT-based approach to the task and message allocation problem of distributed real-time systems with hierarchical architectures. In contrast to the heuristic approache...