Publications

Affichage de 4841 à 4850 sur 5560


  • Communication dans un congrès

BRILLANT: an open source platform for B

Samuel Colin, Dorian Petit, Georges Mariano, Vincent Poirriez

This article presents an open-source platform, the BRILLANT project, with a focus on some of its most prominent components.

Workshop on Tool Building in Formal Methods, Feb 2010, Orford, Canada. ⟨inria-00480709⟩

  • Poster de conférence

TangiSense : table interactive RFID pour la manipulation d'objets tangibles et traçables

Jean Caelen, Karine Xue, Valentin Valls, Christian Perrot, Sébastien Kubicki, Yoann Lebrun, Christophe Kolski, Sophie Lepreux, René Mandiau, Emmanuel Adam, Philippe dos Santos, P. Rivier, N. Geraud, Céline Verchère, Miguel Aubouy, Hervé Schultz, F Javier Martin-Campo

2ème Colloque STIC "Quelle recherche pour les STIC de demain ?", Jan 2010, Paris, France. ⟨hal-03325901⟩

  • Communication dans un congrès

How to Learn from the Resilience of Human-Machine Systems?

Kiswendsida Abel Ouedraogo, Simon Enjalbert, Frédéric Vanderhaegen

In this paper, we aim to analyse the resilience of Human-Machine Systems (HMS) in order to improve it from learning process. A State of Art is achieved and resilience engineering of HMS is defined. Then, human-machines’ learning processes supposed to improve systems’ resilience and indicators…

11th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, Aug 2010, Valenciennes, France. pp.374-379, ⟨10.3182/20100831-4-FR-2021.00066⟩. ⟨hal-03644372⟩

  • Communication dans un congrès

Highly mobile query processing

Thierry Delot, S. Ilarri, Marie Thilliez, Genoveva Vargas-Solar, M. Bellengier

A number of wireless and small-sized devices have started to be embedded in modern cars in the form of on-board computers, GPS navigators, or even multimedia centers. Thus, the vehicles can carry useful information, acting as data sources for other vehicles. Recently, some works have addressed the…

In proceedings of The International Conference on Ambient Systems, Networks and Technologies, ACM, 2010, 2010, Paris, France. pp.101--108. ⟨hal-00953117⟩