In the last years, the mobile agents paradigm has received significant attention in the research community. This activity has been crystallized in the development of a variety of mobile agent systems and works of normalization which will allow the development of commercial systems. Nevertheless, in this aspect the expected deployment of such systems has still not been achieved. It is argued tha...

In this document, we give a more detailed explanation of the accuracy (ACC) vs. frequency-of-use (FOU) metric introduced in the main paper. We show the ACC vs. FOU curves for a human user1 as well as automatic failure prediction using our specification sheets. The area under these curves were reported in Tables 2 and 3 in the main paper (and are replicated here in Tables 1 and 2). Recall that o...

This article studies a specific kind of change in an argumentation system which has been little studied so far : the removal of an argument and its interactions. To support our approach, we present an example that underlines the interest of removing an argument. Then, we present Dung’s argumentation formal framework and introduce the expansive, narrowing and monotonic change notions. These noti...

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

For d ∈ {1,2,3}, let (B t ; t ≥ 0) be a d-dimensional standard Brownian motion. We study the d-Brownian span set Span(d) := {t − s;Bd s = B t for some 0 ≤ s ≤ t}. We prove that almost surely the random set Span(d) is σ -compact and dense in R+. In addition, we show that Span(1) = R+ almost surely; the Lebesgue measure of Span(2) is 0 almost surely and its Hausdorff dimension is 1 almost surely;...

We study topological von Neumann regularity and principal von Neumann regularity of Banach algebras. Our main objective is comparing these two types of Banach algebras and some other known Banach algebras with one another. In particular, we show that the class of topologically von Neumann regular Banach algebras contains all $C^*$-algebras, group algebras of compact abelian groups and ...

This paper demonstrates that multi-agent systems have the capacity to model a region in all its complexity. An example is developed to show that these tools are not only capable of spatializing and distributing the behaviour of individuals, but above all, that they allow individuals to integrate different perceptions of space as well as the constraints imposed on them by a community. A dialecti...

L’introduction des jeux-vidéo sérieux comme soutiens pédagogiques dans le domaine de l’enseignement est un processus de plus en plus démocratisé. En parallèle de cette introduction, la recherche en ”game studies” représente une discipline académique très active qui s’intéresse à l’analyse des systèmes vidéoludiques complexes, notamment en ce qui concerne la compréhension de l’expérience des jou...

In ebXML the choreography of a business process should be modeled by UMM (UN/CEFACT Modeling Methodology) and is finally expressed in BPSS (Business Process Specification Schema). Our analysis of UMM and BPSS by workflow patterns shows that their expression power is not always equivalent. We use the workflow patterns to specify the transformation from UMM to BPSS where possible. Furthermore, th...