Publicaciones

Affichage de 4861 à 4870 sur 5563


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

  • Communication dans un congrès

Higher order sliding modes in robotics

Michael Defoort, Thierry Floquet, Annemarie Kökösy, Wilfrid Perruquetti

International Workshop on Variable Structure Systems, 2010, Mexico, Mexico. ⟨hal-00731066⟩

  • Communication dans un congrès

Human factors in studies of the safety and reliability of agro-equipment

Wided Ben Yahia, Philippe Polet, Frédéric Vanderhaegen, N. Tricot

This paper aims to show the importance of taking into account human factors in risk analysis. Safety analysis methods identify system failures and dangers, thus allowing risk to be analyzed. However, although erroneous human behaviour can affect the Human-Machine System (HMS), studies using safety...

11th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, Aug 2010, Valenciennes, France. pp.6. ⟨hal-02594644⟩

  • Communication dans un congrès

New fast heuristics for the 2D strip packing problem with guillotine constraint

Ha Minh Hoang, François Clautiaux, Said Hanafi, Christophe Wilbaut

9th International Symposium on efficient algorithms, SEA 2010, May 2010, Napoli, Italy. ⟨inria-00522681⟩

  • Article dans une revue

Upper limb joint dynamics during manual wheelchair propulsion

Guillaume Desroches, Raphaël Dumas, Didier Pradon, Philippe Vaslin, François-Xavier Lepoutre, Laurence Cheze

Background: Inverse dynamic methods have been widely used to estimate joint loads during manual wheelchair propulsion. However, the interpretation of 3D net joint moments and powers is not always straightforward. It has been suggested to use joint coordinate systems (expression of joint moment on...

Clinical Biomechanics, 2010, 25 (4), pp.299-30. ⟨10.1016/j.clinbiomech.2009.12.011⟩. ⟨hal-00989650⟩

  • Chapitre d'ouvrage

Querying Issues in Pervasive Environments

Genoveva Vargas-Solar, Christine Collet, Michel Adiba, Jean-Marc Petit, Thierry Delot, Noha Ibrahim

Pervasive computing is all about making information, data and services available everywhere and anytime. The explosion of huge amounts of data largely distributed and produced by different means (sensors, devices, networks, analysis processes, more generally data services) and the requirements to...

Malatras Editor, Apostolos. Pervasive Computing and Communications Design and Deployment: Technologies, Trends, and Applications, IGI Global, pp.1--20, 2010. ⟨hal-00953113⟩