Sheet-of-light range measurement is a commonly used method in todays industrial applications. This paper describesa new way of using an existingimage sensorand turns it into a fas...
In this paper, we present a rich semantic network based on a differential analysis. We then detail implemented measures that take into account common and differential features bet...
The lifecycle for industrial applications are becoming shorter, the application complexity increases, performance is to low, fault tolerance is required, reuse of components is de...
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...