6,122 datasets found

This article describes the different approaches cur- rently followed in the field of social navigation for robots. A novel approach focusing on human activ- ity called...

High performance computing applications must be resilient to faults, which are common occurrences especially in post-petascale settings. The traditional...

Cette recherche explore de nouvelles possibilités de description des espaces, dans une vision pragmatique d'aménagement durable de la ville, envisagé comme une...

This paper aims to present and illustrate how using formal verification approaches and techniques could allow managing and controlling efficiently a given system...

Interoperability problems which can occur during the collaboration between several enterprises can endanger this collaboration. Consequently, an enterprise manager...

The aim of this paper is to present and to illustrate a formal model verification framework called UPSL (Unified Property Specification Language) applied here in...

Systems Engineering (SE) approach is a tried and tested approach that promotes and coordinates all appropriate processes to design, develop and test a system. These SE...

Enterprise Modelling (EM) enables the representation of companies' activities, of their resources along with their roles and responsibilities in order to share the...

Cet article propose une méthodologie d'inspection automatisée d'assemblages mécaniques basée sur l'utilisation d'un bras manipulateur, équipé en tête d'effecteur d'un...

This paper aims at presenting the foundation of an Anticipative Effects Driven Approach to validate a collaborative process taking into account interoperability...

This paper aims at presenting an Anticipative Effects-Based Approach (AEBA) to evaluate the potential effects of a collaborative crisis management process response on...

Managing change projects in manufacturing enterprises remains difficult and often risky. Some existing research works, good practices and available tools are poorly...

The aim of this paper is to describe and illustrate a collaborative process model verification approach. This approach allows the coherence of a given collaborative...

Electoral maps are one of the main tools used to analyze French elections, but scales most commonly used (commune, canton, department) do not allow investigation of...

We describe how to use refactoring tools to transform a Java program conforming to the Composite design pattern into a program conforming to the Visitor design pattern...

We are interested in the choice of a graph-based knowledge representation formalism that would allow for the representation, manipulation, query, and reasoning over...

The emergence of new management paradigms having XML as a core foundation block demands a comprehensive analysis of their security and performance issues. This paper...

2012 is the penultimate year of financial support by the CPER 2007-2013 for ETOILE's research program, sustained by the PRRH at the University Claude Bernard. As with...

In this technical report are discussed the details of the authoring process of one specific video publishing genre - the interactive hypermedia (or also: video) book...

We study the effect of human circulation on the onset of an epidemics for a arboviral (mosquito-borne) illness such as dengue. The underlying dynamics on a...