Publicaciones

Affichage de 4851 à 4860 sur 5560


  • Article dans une revue

A first attempt to combine SysML requirements diagrams and B

Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, Bruno Tatibouët

This article describes a work-in-progress in the framework of a research project aiming at combining requirements engineering methods with formal methods. The main idea is to extend the SysML language with concepts of existing requirements engineering methods. In this article we present extensions...

Innovations in Systems and Software Engineering, 2010, 1-2 (6), pp.47-54. ⟨10.1007/s11334--009-0119-y⟩. ⟨hal-01224642⟩

  • Ouvrages

Stability analysis and nonlinear observer design using Takagi-Sugeno fuzzy models

Zsofia Lendek, Thierry-Marie Guerra, Robert Babuska, Bart de Schutter

2010, ⟨10.1007/978-3-642-16776-8⟩. ⟨hal-02446398⟩

  • 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⟩

  • Chapitre d'ouvrage

Bayesian network model for decision problems

K Sedki, V Delcroix, Fx Lepoutre, Emmanuel Adam, Anne-Pascale Godillon-Maquinghen, Isabelle Ville

M. A. Klopotek; M. Marciniak; A. Mykowiecka; W. Penczek; S. Wierzchon. Intelligent Information Systems, new approaches, House of University of Podlasie, pp.285-298, 2010, 9788370515805. ⟨hal-03707651⟩

  • Article dans une revue

Les activités de gestion de soins : un cadre d'étude privilégié de la cognition en situation naturelle, Health Management Activities : An Ideal Setting for Cognition Research in its Natural Framework

Françoise Anceaux, Christine Chauvin

Le travail humain, 2010, 73 (4), pp.293. ⟨10.3917/th.734.0293⟩. ⟨hal-03208725⟩