Passive testing is the process of collecting traces of the messages exchanged between an operating implementation and its environment, in order to verify that these traces actually belong to the language accepted by the provided specification. The specification has in general the form of a finite state machine (FSM). In this paper, we present an extension… (More)
This paper presents a method of analysis and processing of digital images, with a particular interest in the technique that uses the set of Gabor mathematical functions (Gabor wavelet). It also proposes a method of image indexing and searching, according to the information contained in the image. This information is defined by a signature obtained using a… (More)
porating Long Messages into the LogP model-One step closer towards a realistic model for parallel computation.