This paper presents a component model for building distributed applications with fault-tolerance requirements. The AFT-CCM model selects the configuration of replicated services d...
Abstract— This paper presents a technique for the Simultaneous Calibration of Action and Sensor Models (SCASM) on a mobile robot. While previous approaches to calibration make us...
An algorithm for automatic modelling of wavelet coefficients from context properties is presented. The algorithm is used to implement an image coder, in order to demonstrate its i...
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
Hidehiko Masuhara, Gregor Kiczales, Christopher Du...