Conférence Internationale : Sciences Electroniques, Technologies de l'Information et des Télécommunications, SETIT 2004, Mar 2004, Sousse, Tunisie. pp.295-300. ⟨hal-05368496⟩

Article dans une revue

Towards A Generic Object Oriented Decision Support System for University Timetabling : An Interactive Approach

Sylvain Piechowiak, Christophe Kolski

Timetable management in universities is a complicated issue which uses up a great deal of human resources and is therefore very costly. This article deals with the analysis and design of an interactive decision support system for timetable management. This tool will be able to take hierarchical...

International Journal of Information Technology and Decision Making, 2004, 3 (1), pp.179-208. ⟨10.1142/S0219622004000982⟩. ⟨hal-03279470⟩

Article dans une revue

Design of intelligent distributed control systems: A dependability point of view

Laurent Cauffriez, Joseph Ciccotelli, Blaise Conrard, Mireille Bayart

The use of fieldbuses and the emergence of intelligent sensors and actuators are opening up new possibilities for distributed control systems, but are also introducing additional constraints in terms of achieving dependability objectives. The type of production environment will greatly determine...

Reliability Engineering and System Safety, 2004, 84 (1), pp.19-32. ⟨10.1016/S0951-8320(03)00174-1⟩. ⟨hal-00289496⟩

Article dans une revue

Contribution to the definition of a partial overlapping plastic strain rates domain for moderate loadings - application to tensile testing on metallic materials

Grégory Haugou, Eric Markiewicz, Jacky Fabis, Gérard Gary

Generally, tensile testing on Hopkinson bars requires some particular considerations. Most of the specific devices, designed to hold tensile sheet specimens on the bars, involve the degradation of the pulses in particular case of no-direct tensile loadings. A tensile testing configuration for sheet...

International Journal of Crashworthiness, 2004, 9 (2), pp.187-194. ⟨10.1533/ijcr.2004.0278⟩. ⟨hal-00111426⟩

Communication dans un congrès

Conception des systèmes multi-agents : pistes de réflexion en vue de futures coopérations entre ergonomes et informaticiens

Christophe Kolski, Emmanuelle Grislin-Le Strugeon, Emmanuel Adam, Philippe Mathieu

Issus de l’Intelligence Artificielle Distribuée, les agents et systèmes multi-agents sont de plus en plus présents dans les systèmes en interaction avec les utilisateurs. En conséquence, leur utilisation devrait nécessiter l’adaptation ou la définition de méthodes d’analyse, conception et..., Issued from Distributed Artificial Intelligence, agents and multi-agent systems are more and more present in systems in interaction with users. Consequently, their using may necessitate the adaptation or definition of analysis, design and evaluation methods, dedicated to new agent-based systems....

Actes de la conférence Ergo-IA 2004 (ErgoIA'2004), Nov 2004, Biarritz, France. pp.147--154. ⟨hal-00731990⟩

Article dans une revue

A genetic algorithm for robust schedules in a just-in-time environment

Marc Sevaux, Kenneth Sorensen

Computing a schedule for a single machine problem is often difficult for irregular criteria, but when the data are uncertain, the problem is much more complicated. In this paper, we modify a genetic algorithm to compute robust schedules when release dates are subject to small variations. Two types...

AAPS PharmSciTech, 2004, pp.1-25. ⟨10.1007/s10288-003-0028-0⟩. ⟨hal-03368987⟩

Communication dans un congrès

Gestion Dynamique des Services Techniques pour Modèle à Composants

Colombe Hérault, Sylvain Lecomte

Les nouvelles applications étant destinées à des environnements de plus en plus hétérogènes, il est indispensable de proposer des solutions de développement qui répondent au mieux aux besoins d'adaptation des nouveaux services. La programmation par composants répond en partie à cela, en...

2004, pp.135-146. ⟨hal-00003290⟩

Thèse

Génération automatique de composants logiciels sûrs à partir de spécifications formelles B, Automatic generation of reliable components from B formal specifications

Dorian Petit

Ce mémoire est consacré à l'étude de la génération de code à partir de spécifications formelles B. L'aspect primordial à maîtriser pour la génération de code est la modularité du langage B. Pour ce faire, nous avons modélisé le système de modules du langage B en l'exprimant par un..., These works are related to the study of the code generation from B formal specifications. The main aspect that should be studied in the code generation is the modularity of the B language. We have expressed the B modularity with an Harper-Lillibridge-Leroy module system (an ML-like module system)....

Informatique [cs]. Université de Valenciennes et du Hainaut-Cambrésis, 2003. Français. ⟨NNT : 2003VALE0039⟩. ⟨tel-03420740⟩