In this paper, we present a method of verification of collaborative workflow processes based on model checking techniques. In particular, we propose to verify soundness properties of these processes using SPIN model checker. First we translate the adopted specification of workflows (i.e. the WF-net) to Promela which is the description language of models to be verified by SPIN. Then we express t...

In this paper, we presented our study and benchmark on Reverse Image Search (RIS) methods, with a special focus on finding almost similar images in a very large image collection. In our framework we concentrate our study on radius (threshold) based image search methods. We focused our study on perceptual hash based solutions for their scalability, but other solutions seem to give also good resu...

The development of spatial data infrastructures (SDIs) aims to promote environmental management. However, technological advances, organizational and regulatory frameworks available do not seem sufficient for the realization of such an objective. For many authors, the real contribution of SDIs depends on the answers they provide to their users. This paper presents an original methodological appr...

The role of Information Systems is growing constantly. They should be elaborated in an organized way following a well-defined logic using a clear and justifiable argumentation of the decision made. Design Rationale (DR) is a discipline responding to this requirement as it includes the design and modeling of the reasons justifying the decisions made during the design of information systems. Many...

Our work lies within the scope of the integration of biological data, the representation and the assistance to knowledge discovery with regard to a particular biological problem: the construction of biological regulation networks. We proposed an automated system allowing to build regulation networks starting from experiments of bio chips. This system was validated by biologists’ partners and bi...

________________________________________________________________________________________________________ Learning non-native contrasts: Limits of the statistical training Recently, studies showed that distributional information contained in the speech signal can contribute to the acquisition of phoneme categories. Indeed, exposition to bimodal distributions leads to an improvement of phoneme di...

The coastal area is a multi-issue area and its observation provides heterogeneous geographical database. Challenges are located on the integration and the rendering of these data: (1) geographic data used to characterize the sea must be combined to obtain water depth and sea/land interface (data heterogeneity problem) and (2) current visualization systems do not provide continuous rendering on ...

The development of users’ profiles is central for adaptive system to propose information that corresponds to user specific needs. Online social networks provide valuable information sources to collect and identify user’s information and user’s interests. This work focuses on extracting user’s interests from his social egocentric network to build the social dimension of his user profile. To impr...

This study proposes a new methodology allowing a better knowledge of the territorial vulnerability of the Greater Lyon’s environmental stakes to the transport and the storage of hazardous materials. This one is mainly based on a compilation of heterogeneous spatial data and a statistical processing, based on semi-structured interviews with experts and cartographically translated with a Geograph...

cles or the tendons then that’s minimally invasive surgery. If you can do it with two incisions, three incisions, or ten incisions, it doesn’t matter, as long as you don’t cut the muscles or the tendons. Most of the ways that surgeons are doing a single mini incision involve cutting the muscles and cutting the tendons. There’s nothing magic about making one incision or two incisions. However, t...