Proposition de sujet de thèse - Telecom ParisTech Dép. Infres

Dimension: px
Commencer à balayer dès la page:

Download "Proposition de sujet de thèse - Telecom ParisTech Dép. Infres"

Transcription

1 TITRE DE LA THÈSE : Raisonnement délibératif pour un système autonomique Application à une micro grille intelligente («micro smart grid») RESPONSABLES DE LA THÈSE : Ada Diaconescu - Jean-Louis Dessalles ÉCOLE DE RATTACHEMENT DU RESPONSABLE DE LA THÈSE : Télécom ParisTech ÉQUIPE(S) D ACCUEIL DE LA THÈSE : Dép. informatique & réseaux, équipe S3 (50%) Dép. informatique & réseaux, équipe DbWeb (50%) MOTS CLÉS : informatique autonomique, dialogue, intelligence artificielle, grille intelligente RÉSUMÉ : L approche autonomique vise à rendre les systèmes informatiques capables de s autogérer. Mais leurs décisions obéissent à une logique interne, qui n est pas communicable telle quelle aux utilisateurs. La thèse proposée a comme objectif principal de résoudre ce problème de communicabilité, tant au niveau pratique qu à un niveau théorique. La méthode consiste à insérer une couche de raisonnement symbolique de type délibératif au sein d'un système autonomique. Le domaine d'application ciblé est une micro grille intelligente («micro smart grid») connectée à plusieurs maisons intelligentes. L'objectif est de rendre ce système capable de s'autogérer, tout en permettant à l'humain de spécifier, de négocier et d observer le niveau de réussite des objectifs de haut niveau. L enjeu est scientifique : savoir comment reproduire les mécanismes de la pertinence dans une interaction entre l humain et un système autonome. L enjeu est aussi technique : l autonomisation des systèmes risque de les rendre incontrôlables. Mais le progrès de la reconnaissance de la parole et de son traitement de haut niveau laissent entrevoir une plus-value considérable si l on est capable d instaurer un dialogue naturel pertinent entre l humain et le système.

2 1. Motivation et objectifs L Informatique Autonomique («Autonomic Computing») vise à rendre les systèmes informatiques capables de s autogérer, de façon à minimiser le besoin d interventions humaines. De tels systèmes ont un inconvénient potentiel, qui est de prendre leurs décisions selon une logique interne, incompréhensible pour leurs utilisateurs. La thèse proposée a comme objectif principal de résoudre ce problème de communicabilité, tant au niveau pratique qu à un niveau théorique. La méthode consiste à insérer une couche de raisonnement symbolique de type délibératif au sein d'un système autonomique. Le domaine d'application ciblé est une micro grille intelligente («micro smart grid») connectée à plusieurs maisons intelligentes. L'objectif est de rendre ce système capable de s'autogérer, tout en permettant à l'humain de spécifier, de négocier et d observer le niveau de réussite des objectifs de haut niveau. Nous souhaitons parvenir à des dialogues humain-système comme celui-ci : H- Il fait trop froid ici. S- Je peux augmenter la température de la chambre dès maintenant, mais je devrai diminuer celle du séjour. H- Non. Monte la température dans la chambre, juste pour aujourd hui. [L utilisateur pense que le problème vient des limites de coût qu il a fixées] S- Je ne peux pas avant 18h, car le quartier est en pic de consommation. Sinon je baisse la température du séjour. H- Ok pour 18h. Ce type de dialogue est transposable à des situations professionnelles (par ex. conduite de processus de fabrication ou pilotage de centrale électrique). Notre point de départ, côté système autonomique, est une maquette de micro-grille intelligente développée à Télécom ParisTech, capable de gérer les équipements électriques d une ville. D un autre côté, les principes de base du raisonnement délibératif (procédure Conflit Abduction Négation ) ont déjà été appliqués à des cas de connaissances simples. L enjeu de la thèse est de démontrer que ces deux logiques de fonctionnement (autonomique et délibératif), que tout oppose a priori, peuvent fonctionner ensemble, ce qui permettra à l utilisateur d exercer un contrôle sur le système sans remettre en question son autonomie. Il s agira en outre de montrer que ce co-fonctionnement peut passer à l échelle. 2. Contexte scientifique 2.1 L informatique autonomique L'Informatique Autonomique («Autonomic Computing») vise à augmenter l autonomie des systèmes informatiques [1]-[6]. Ce courant de recherche résulte d une initiative lancée par IBM au début des années 2000 [1]-[3]. L'approche est motivée par la complexité croissante des systèmes informatiques actuels ; par les coûts de leur maintenance («total ownership cost») ; et leur importance croissante dans notre société qui en devient dépendante. La complexité des systèmes informatiques provient notamment de la multitude de leurs contraintes fonctionnelles et non-fonctionnelles, du nombre important des composants logiciels et matériels mis en jeu, de l hétérogénéité et du caractère distribué de leurs

3 composants, et des changements souvent imprévisibles qui interviennent tout au long du cycle de vie du système. Quelques exemples notables de systèmes informatiques complexes incluent les systèmes d'entreprise, les plates-formes de type «cloud», les grilles de calcul, les systèmes pervasifs et ubiquitaires et les systèmes pour la collecte, la transmission et le traitement massif de données. Les changements dynamiques (à l'exécution) d'un système soulèvent des défis d'administration importants. La sécurité, la sûreté et la disponibilité du système, et indirectement sa rentabilité, se retrouvent exposés au risque d une faille. La gestion manuelle de tels changements requiert des interventions rapides par des administrateurs experts, impliquant des coûts et des risques importants. Dans ce contexte, l'informatique Autonomique cherche à automatiser la plupart des tâches administratives de façon à éviter les interventions manuelles. Cette automatisation implique des tâches d'auto-surveillance, auto-analyse, auto-planification et auto-adaptation du système [7]. Le système autonomique a en outre besoin d'obtenir et de maintenir une base de connaissances, sur lui-même et sur son environnement d'exécution, pour permettre les différentes rétroactions. Les défis que l'informatique Autonomique doit surmonter pour introduire dans les systèmes informatiques des capacités automatisées d'analyse, de prise de décision, de planification et de gestion de connaissances rejoignent certains objectifs que le domaine de l'intelligence Artificielle [8] cible depuis longtemps. D'autres domaines de recherche sont à la fois pertinents et à la fois similaires à l'informatique Autonomique : l'informatique Organique [9] («Organic Computing»), l'informatique Amorphe («Amorphous Computing») [10] et les systèmes informatiques auto-adaptables. Cette thèse s'appuiera sur un système autonomique et une plate-forme de test déjà existants au sein de Télécom ParisTech [11]-[12]. Ceux-ci incluent un simulateur virtuel de maison et grille intelligente (http://adadiaconescu.there-you-are.com/research.html#mistigrid) et une maquette de maison intelligente (http://www.youtube.com/watch?v=ti6z9lgafty). 2.2 Le raisonnement délibératif Les prises de décision des systèmes informatiques, et surtout des systèmes autonomiques, ne sont pas conçues pour être aisément comprises par un utilisateur humain. Par exemple, des éléments qui s imitent mutuellement peuvent prendre une décision majoritaire sans que la notion de majorité existe de manière explicite dans le système. Cette situation se révèle problématique dans deux cas : - lorsque l utilisateur veut comprendre le comportement du système - lorsque l utilisateur veut influencer le comportement du système La modélisation cognitive du dialogue spontané menée à Télécom ParisTech [13]-[14] a conduit à un schéma minimal permettant l analyse et la génération d arguments pertinents. Il s agit de la procédure Conflit Abduction Négation (CAN). Cette modélisation diffère d autres systèmes de dialogue qui reposent pour l'essentiel sur des méthodes de planification (pour l'aspect raisonnement) et sur des techniques d'appariement («pattern matching») pour l interaction verbale [15]. Par exemple, les

4 concepteurs de systèmes d'aide se contentent souvent de sélectionner les interventions de la machine dans une liste de messages possibles prévus à l'avance. Ces techniques produisent des dialogues finalisés (orientés vers des tâches et des objectifs spécifiés à l'avance). Les arguments ainsi produits ont la garantie d être pertinents du point de vue de la machine. Ils ne le sont pas nécessairement pour l utilisateur. Les contraintes cognitives de l utilisateur imposent, dans le schéma CAN, de situer toute intervention de l utilisateur ou de la machine par rapport à une contradiction logique (le conflit). La contradiction peut opposer deux désirs (élever la température, baisser la facture d électricité) ou impliquer des croyances (la température extérieure va baisser). Toute intervention pertinente doit amener une nouvelle contradiction ou tenter de résoudre la contradiction courante. C est ce que réalise la procédure CAN. La procédure CAN est le fruit de plusieurs années de recherche visant à reproduire automatiquement la pertinence dans le dialogue. Les principaux résultats, notamment le lien entre CAN et le cadre théorique plus général de la Théorie de la Simplicité [16], sont exposés dans un ouvrage - La pertinence et ses origines cognitives [13]. L interface entre CAN et le système autonomique sera réalisée au niveau de la procédure abductive (le A de CAN). L abduction [17]-[19] a pour fonction de produire une cause plausible d un état de fait. Si cet état est observé (il fait froid dans la pièce), on parle d abduction diagnostique. S il s agit d un état souhaité (baisse du montant de la facture d électricité), on parle d abduction contrefactuelle. Le défi de l étude proposée consiste pour une bonne part à réaliser cette opération d abduction à partir de l auto-observation du système autonomique. 2.3 Principes mis en jeu dans la thèse L interfaçage entre un système symbolique utilisant la logique, comme la procédure Conflit Abduction Négation, d une part, et d autre part un système subsymbolique (un réseau de neurones, un système collectif à base d agents) ou un système utilisant des règles de fonctionnement implicites (tout système informatique) est un problème ancien. Les tentatives de couplage sont rares. Il est bien plus facile, techniquement, de renoncer au couplage ou de renoncer à l un des deux systèmes. Ainsi, la plupart des systèmes d aide fonctionnent sur la base de requêtes, sans analyse de la situation problématique en cours. Inversement, la plupart des systèmes informatiques, y compris les systèmes autonomiques, fonctionnent selon des schémas réactifs, sans raisonnement logique explicite. Le principe de base qui sera mis en jeu dans la thèse est celui de l abduction (recherche de cause). L abduction suppose que trois mécanismes soient mis en place au niveau du système sous-jacent : Auto-observation, capable de traduire un état en prédicat observable (par exemple : «la température est de 14 C», ou «la température est anormalement basse»). Auto-observation des corrélations et des dépendances causales entre états (par exemple un lien entre la température de la pièce, la température extérieure et la consommation d électricité).

5 Expression des contraintes strictes (ne pas dépasser un ampérage donné) ou graduelles (consommer le moins possible) à l aide de prédicats observables. Le premier enjeu de l étude est de systématiser ces principes pour les rendre génériques (indépendantes du système considéré). Le deuxième enjeu est de profiter des capacités d auto-observation des systèmes autonomiques pour automatiser les trois mécanismes cidessus, qui assurent l interface avec le système délibératif. Du côté délibératif, on sait déjà que la procédure Conflit Abduction Négation, dans son implémentation de type «laboratoire» (en Prolog), est capable de produire les mêmes arguments que ceux qui sont observés dans des dialogues réels, en utilisant un nombre réduit d'étapes. L'un des atouts majeurs de la procédure Conflit Abduction Négation est sa plausibilité cognitive et sa capacité à assurer la pertinence. L enjeu est de démontrer que la procédure passe à l échelle, lorsque la taille de la connaissance augmente. Ceci est techniquement possible, car la procédure abductive est dirigée par les données. 3. Innovations attendues La sophistication des systèmes et, dans le cas qui nous occupe, leur autonomisation, les rend de plus en plus opaques à leurs utilisateurs. Cette situation laisse craindre une perte de contrôle, qui est dommageable non seulement pour la satisfaction des utilisateurs, mais également pour la sûreté et la sécurité. D un autre côté, le progrès de la reconnaissance vocale (que chacun peut constater concrètement sur son smartphone) rend la perte de contrôle d autant plus insupportable. La machine comprend les mots, mais ne sait pas les interpréter. L étude proposée peut se révéler exemplaire à plusieurs titres. En tant que preuve de principe. Il s agit de montrer que les capacités d autoobservation d un système autonome, en l occurrence la micro-grille intelligente, peuvent se prêter à une traduction symbolique sur laquelle le raisonnement humain a prise. Par la généricité des principes mis en jeu. Nous voulons contraindre l étude à n utiliser que des principes génériques (auto-observation, abduction, révision ) qui sont transposables à toute autre interaction entre l humain et un système sophistiqué. Par son exemplarité. Le progrès dans le contrôle dialogique des systèmes est lent en partie parce que de nombreux chercheurs pensent qu un contrôle réaliste et acceptable est hors de portée. Le fait de montrer une application réelle dans laquelle le dialogue permet de contrôler facilement un système présentant un certain degré de sophistication peut susciter une nouvelle voie de progrès technologique. 4. Ouverture à l'international Participation à des conférences internationales. Les conférences visées sont celles des communautés de l'intelligence Artificielle et de l'informatique Autonomique comme IJCAI, ECAI, AIA pour l'ia et ICAC, SASO ou SEAMS pour l'autogestion.

6 Opportunités éventuelles de participer à des projets de recherche Européens. 5. Modalités pratiques La thèse se déroulera dans les locaux du LTCI/INFRES sous la codirection de Ada Diaconescu (http://adadiaconescu.there-you-are.com), spécialiste en Informatique Autonomique, et de Jean-Louis Dessalles (www.dessalles.fr), expert en Intelligence Artificielle. Les travaux pourront amener le doctorant à interagir avec plusieurs acteurs industriels tels qu'edf ou Orange Labs. Références [1] P. Horn, Autonomic Computing: IBM's Perspective on the State of Information Technology, IBM T.J. Watson Labs, NY, October [2] J. O. Kephart and D. M. Chess, The vision of Autonomic Computing, IEEE Computer, Jan. 2003, pp [3] A. G. Ganek and T. A. Corbi, The dawning of the autonomic computing era, IBM Systems Journal, Vol. 42, No. 1, 2003, pp 5-18 [4] M. G. Hinchey and R. Sterritt, Self-managing software, Computer, 39 (2), 2006, pp [5] Philippe Lalanda, Julie A. McCann and Ada Diaconescu, "Autonomic Computing - Principles, Design and Implementation", Undergraduate Topics in Computer Science Series, Springer, due: May 31, 2013 (ISBN ), texbook (298 pages) [6] An architectural blueprint for autonomic computing, IBM Whitepaper, June 2005, Third edition. [7] M. Parashar and S. Hariri, Autonomic Computing: Concepts, Infrastructure, and Applications, CRC Press, Taylor and Francis Group, 2007 [8] S. Russell and P. Norvig, Artificial Intelligence: A Modern Approach, Prentice Hall, 3rd edition, December 2009, ISBN-10: , ISBN-13: [9] H. Schmeck, C. Müller-Schloer, E. Çakar, M. Mnif and U. Richter, Adaptivity and Selforganisation in Organic Computing Systems, (pp. 5 37) in Organic Computing - A Paradigm Shift for Complex Systems, C. Müller-Schloer, H. Schmeck, T. Ungerer (Editors), Springer Basel AG, [10] H. Abelson, D. Allen, D. Coore, C. Hanson, G. Homsy, T. F. Knight, Jr., R. Nagpal, E. Rauch, G. J. Sussman, and R. Weiss, Amorphous computing. Communications of the ACM Vol. 43, Issue 5, May 2000, pp [11] Sylvain Frey, Ada Diaconescu, David Menga and Isabelle Demeure, "Towards a reference model for multi-goal, highly-distributed and dynamic autonomic systems", 10th International Conference on Autonomic Computing (ICAC), Self-aware Internet of Things (Self-IoT) track, San Jose, Ca, USA, Juin [12] S. Frey, A. Diaconescu and I. Demeure, "Architectural Integration Patterns for Autonomic Management Systems", 9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe 2012), Novi Sad, Serbia, April 2012, (10 pages) [13] J.-L. Dessalles, "La pertinence et ses origines cognitives", Hermès-Sciences, Paris, 2008.

7 [14] J.-L. Dessalles, "A computational model of argumentation in everyday conversation: a problem-centred approach". In P. Besnard, S. Doutre & A. Hunter (Eds.), Computational Models of Argument - Proceedings of COMMA 2008, IOS Press, Amsterdam, [15] Bouchet F., Sansonnet J. P., "Agents conversationnels psychologiques : Modélisation des réactions rationnelles et comportementales des agents assistants conversationnels", Revue d'intelligence Artificielle, Vol. 27(6), pp , [16] J.-L. Dessalles. Simplicity Theory (Web Site). Accessible at: [17] H. C. Bunt, W. Black, "Abduction, belief and context in dialogue". John Benjamins Publishing Comp., Amsterdam, [18] L. Magnani, "Abduction, reason and science - Processes of discovery and explanation". Kluwer Academic, New York, [19] J. R. Hobbs, M. Stickel, P. Martin. Interpretation as abduction. Artificial Intelligence, 63 (1-2), 1993, pp

Domaine: Sciences et technologies de l'information et de la communication (STIC)

Domaine: Sciences et technologies de l'information et de la communication (STIC) Agents Délibératifs pour un Système Autonomique. Application à la négociation, l évaluation et l adaptation d une micro grille intelligente («micro smart grid») Proposé par: JEAN LOUIS DESSALLES Directeur

Plus en détail

Ada Diaconescu INFRES / S3. Appellation de Maître de Conférences. Mars 2010. ada.diaconescu@telecom-paristech.fr 01/03/2010

Ada Diaconescu INFRES / S3. Appellation de Maître de Conférences. Mars 2010. ada.diaconescu@telecom-paristech.fr 01/03/2010 Ada Diaconescu INFRES / S3 Appellation de Maître de Conférences Mars 2010 Parcours Études - Université Polytechnique Timisoara (1995-2000 ) Diplôme d Ingénieur en Informatique (BAC+5) Ingénieur R&D à Teltec,

Plus en détail

CURRICULUM VITAE. Informations Personnelles

CURRICULUM VITAE. Informations Personnelles CURRICULUM VITAE Informations Personnelles NOM: BOURAS PRENOM : Zine-Eddine STRUCTURE DE RATTACHEMENT: Département de Mathématiques et d Informatique Ecole Préparatoire aux Sciences et Techniques Annaba

Plus en détail

Transformation IT de l entreprise ANALYTIQUE: L ÈRE WATSON

Transformation IT de l entreprise ANALYTIQUE: L ÈRE WATSON Transformation IT de l entreprise ANALYTIQUE: L ÈRE WATSON L analytique joue un rôle désormais primordial dans la réussite d une entreprise. Les pouvoirs qu elle délivre sont incontestables, cependant

Plus en détail

Novembre 2013. Regard sur service desk

Novembre 2013. Regard sur service desk Novembre 2013 Regard sur service desk édito «reprenez le contrôle grâce à votre service desk!» Les attentes autour du service desk ont bien évolué. Fort de la riche expérience acquise dans l accompagnement

Plus en détail

INF 721 Mesures et indicateurs du génie logiciel Trimestre Été 2015 Professeur. Évariste Valéry BÉVO WANDJI

INF 721 Mesures et indicateurs du génie logiciel Trimestre Été 2015 Professeur. Évariste Valéry BÉVO WANDJI UNIVERSITÉ DE SHERBROOKE FACULTÉ DES SCIENCES CENTRE DE FORMATION EN TECHNOLOGIES DE L INFORMATION PLAN DE COURS Cours INF 721 Mesures et indicateurs du génie logiciel Trimestre Été 2015 Professeur Évariste

Plus en détail

IBM Global Technology Services Service Management

IBM Global Technology Services Service Management IBM Global Technology Services La voie vers la transformation de l informatique L INFORMATIQUE, UN SOUTIEN AUX MÉTIERS DE L ENTREPRISE Les dirigeants considèrent aujourd hui l informatique comme un levier

Plus en détail

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services 69 Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services M. Bakhouya, J. Gaber et A. Koukam Laboratoire Systèmes et Transports SeT Université de Technologie de Belfort-Montbéliard

Plus en détail

Institut Supérieur d Informatique WORKFLOW. Fahem KEBAIR kebairf@gmail.com

Institut Supérieur d Informatique WORKFLOW. Fahem KEBAIR kebairf@gmail.com Institut Supérieur d Informatique WORKFLOW Fahem KEBAIR kebairf@gmail.com INTRODUCTION Les entreprises cherchent de plus en plus des mécanismes aidant à l organisation, l exécution et l optimisation du

Plus en détail

Carole Adam Curriculum Vitæ détaillé

Carole Adam Curriculum Vitæ détaillé Carole Adam Curriculum Vitæ détaillé 1 Présentation Docteur-ingénieur en Informatique, je suis actuellement ATER (Attachée Temporaire d Enseignement et de Recherche). J enseigne à l ENSEEIHT (Ecole Nationale

Plus en détail

Architecture d'entreprise : Guide Pratique de l'architecture Logique

Architecture d'entreprise : Guide Pratique de l'architecture Logique Guides Pratiques Objecteering Architecture d'entreprise : Guide Pratique de l'architecture Logique Auteur : Version : 1.0 Copyright : Softeam Equipe Conseil Softeam Supervisée par Philippe Desfray Softeam

Plus en détail

Mission de pédagogie universitaire Université Saint-Joseph Glossaire 1

Mission de pédagogie universitaire Université Saint-Joseph Glossaire 1 glossaire Les définitions succinctes, présentées dans ce glossaire, sont, en grande partie, tirées des chapitres du Manuel. Elles sont en harmonie avec les références relatives au Processus de Bologne.

Plus en détail

Langage dédié pour le pilotage de solveurs de contraintes

Langage dédié pour le pilotage de solveurs de contraintes LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2010 Langage dédié pour le pilotage

Plus en détail

Intelligence Artificielle Introduction

Intelligence Artificielle Introduction Intelligence Artificielle Introduction Bruno Bouzy http://web.mi.parisdescartes.fr/~bouzy bruno.bouzy@parisdescartes.fr Licence 3 Informatique UFR Mathématiques et Informatique Université Paris Descartes

Plus en détail

Analyse qualitative et quantitative des Systèmes Automatisés de Production

Analyse qualitative et quantitative des Systèmes Automatisés de Production Analyse qualitative et quantitative des Systèmes Automatisés de Production Jean-Luc Cojan Laboratoire LISyC Université de Bretagne Occidentale Encadrants : M. Philippe Le Parc M. Loïc Plassart M. Franck

Plus en détail

Patrons de conception prouvés

Patrons de conception prouvés Patrons de conception prouvés Thierry Lecomte 1 Dominique Méry 2 Dominique Cansell 2 (1) ClearSy, 320, avenue Archimède, Les Pléiades 3 Bât A 13857 Aix en Provence, France. (2) Loria, Université Henri

Plus en détail

Synthèse et conclusion des débats

Synthèse et conclusion des débats «L ambition de la pensée simple était de contrôler et maîtriser le réel. Il s agit de s exercer à une pensée capable de traiter avec le réel, de dialoguer avec lui, de négocier avec lui.» Edgar MORIN Synthèse

Plus en détail

WHITEPAPER. Quatre indices pour identifier une intégration ERP inefficace

WHITEPAPER. Quatre indices pour identifier une intégration ERP inefficace Quatre indices pour identifier une intégration ERP inefficace 1 Table of Contents 3 Manque de centralisation 4 Manque de données en temps réel 6 Implémentations fastidieuses et manquant de souplesse 7

Plus en détail

Influence De La Taille Du Jeton Sur Les Performances De L algorithme D'exclusion Mutuelle De Ricart - Agrawala

Influence De La Taille Du Jeton Sur Les Performances De L algorithme D'exclusion Mutuelle De Ricart - Agrawala Influence De La Taille Du Jeton Sur Les Performances De L algorithme D'exclusion Mutuelle De Ricart - Agrawala Sarah Benkouider, Souhila Labgaa 2, Mohamed Yagoubi 3 Université Amar Telidji Département

Plus en détail

Antoine Cornuéjols. 1- Introduction à l IA. 1.1- C est quoi l intelligence? 1.2- Comment étudier l intelligence? AgroParisTech

Antoine Cornuéjols. 1- Introduction à l IA. 1.1- C est quoi l intelligence? 1.2- Comment étudier l intelligence? AgroParisTech ! 7 séances de 3h (cours + TD/TP)! Programme et références sur : http://www.agroparistech.fr/ufr-info/membres/cornuejols/teaching/agro/cours-ia/ iodaa-cours-ia.html Antoine Cornuéjols AgroParisTech! Contrôle

Plus en détail

IBM PureFlex System Groupe ABC Informatique Présentation 2013

IBM PureFlex System Groupe ABC Informatique Présentation 2013 IBM PureFlex System Groupe ABC Informatique Présentation 2013 IBM PureFlex System regroupe le traitement, le stockage, les fonctions réseau, la virtualisation et la gestion au sein d'une unique infrastructure

Plus en détail

Les systèmes embarqués et les tendances technologiques: une évolution constante, une innovation continue!

Les systèmes embarqués et les tendances technologiques: une évolution constante, une innovation continue! Les systèmes embarqués et les tendances technologiques: une évolution constante, une innovation continue! Vasiliki Sfyrla Une approche des systèmes embarqués Les systèmes embarqués existent depuis longtemps.

Plus en détail

Tirez plus vite profit du cloud computing avec IBM

Tirez plus vite profit du cloud computing avec IBM Tirez plus vite profit du cloud computing avec IBM Trouvez des solutions de type cloud éprouvées qui répondent à vos priorités principales Points clés Découvrez les avantages de quatre déploiements en

Plus en détail

Études de bachelor en informatique

Études de bachelor en informatique 1 Études de bachelor en informatique Informatique A notre époque, il n y a pratiquement plus aucune activité qui puisse se passer de l ordinateur. On ne le trouve pas seulement sur les bureaux et dans

Plus en détail

Maîtriser les patterns experts : les patterns d application virtuelle

Maîtriser les patterns experts : les patterns d application virtuelle Maîtriser les patterns experts : les patterns d application virtuelle Comment les patterns d application virtuelle IBM PureSystems peuvent accélérer le déploiement, simplifier la gestion, réduire le risque

Plus en détail

Introduction à l Intelligence Artificielle

Introduction à l Intelligence Artificielle 1 / 14 Introduction à l Intelligence Artificielle Présentation de l option 2 nd semestre 2014-15 Philippe Chatalic chatalic@lri.fr Université Paris Sud Laboratoire de Recherche en Informatique (UMR CNRS

Plus en détail

Planifier la migration des applications d entreprise dans le nuage

Planifier la migration des applications d entreprise dans le nuage TM Planifier la migration des applications d entreprise dans le nuage Guide de vos options de migration : nuage privé et public, critères d évaluation des applications et meilleures pratiques de migration

Plus en détail

agility made possible

agility made possible DOSSIER SOLUTION Amélioration de la planification de la capacité à l aide de la gestion des performances applicatives Comment assurer une expérience utilisateur exceptionnelle pour les applications métier

Plus en détail

La Supply Chain. vers un seul objectif... la productivité. Guy ELIEN

La Supply Chain. vers un seul objectif... la productivité. Guy ELIEN La Supply Chain vers un seul objectif... la productivité Guy ELIEN juin 2007 Sommaire Le contexte... 3 le concept de «chaîne de valeur»... 3 Le concept de la Supply Chain... 5 Conclusion... 7 2 La Supply

Plus en détail

Lettre d'information n 17 - Janvier 2011

Lettre d'information n 17 - Janvier 2011 Lettre d'information n 17 - Janvier 2011 Sommaire 1. Meilleurs voeux 2011 2. Quand la gestion des services et les technologies de virtualisation s'associent pour donner le Cloud Computing (informatique

Plus en détail

Programmation paresseuse et causale des architectures orientées services

Programmation paresseuse et causale des architectures orientées services LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2016 Programmation paresseuse

Plus en détail

DOSSIER SOLUTION Amélioration de la planification de la capacité à l aide de la gestion des performances applicatives

DOSSIER SOLUTION Amélioration de la planification de la capacité à l aide de la gestion des performances applicatives DOSSIER SOLUTION Amélioration de la planification de la capacité à l aide de la gestion des performances applicatives Comment assurer une expérience utilisateur exceptionnelle pour les applications métier

Plus en détail

EXPERIENCE DE COUPLAGE DE MODELES ALTARICA AVEC DES INTERFACES METIERS EXPERIMENT OF COUPLING ALTARICA MODELS WITH SPECIALIZED INTERFACES

EXPERIENCE DE COUPLAGE DE MODELES ALTARICA AVEC DES INTERFACES METIERS EXPERIMENT OF COUPLING ALTARICA MODELS WITH SPECIALIZED INTERFACES EXPERIENCE DE COUPLAGE DE MODELES ALTARICA AVEC DES INTERFACES METIERS EXPERIMENT OF COUPLING ALTARICA MODELS WITH SPECIALIZED INTERFACES PERROT Benoit, PROSVIRNOVA Tatiana, RAUZY Antoine, SAHUT D IZARN

Plus en détail

Vers un nouveau paradigme d interaction humain-ordinateur porté

Vers un nouveau paradigme d interaction humain-ordinateur porté Vers un nouveau paradigme d interaction humain-ordinateur porté Nicolas Plouznikoff nicolas.plouznikoff_à_polymtl.ca Alexandre Plouznikoff alexandre.plouznikoff_à_polymtl.ca (étudiant au doctorat, génie

Plus en détail

Rapport d activité. Mathieu Souchaud Juin 2007

Rapport d activité. Mathieu Souchaud Juin 2007 Rapport d activité Mathieu Souchaud Juin 2007 Ce document fait la synthèse des réalisations accomplies durant les sept premiers mois de ma mission (de novembre 2006 à juin 2007) au sein de l équipe ScAlApplix

Plus en détail

Intelligence Artificielle et Robotique

Intelligence Artificielle et Robotique Intelligence Artificielle et Robotique Introduction à l intelligence artificielle David Janiszek david.janiszek@parisdescartes.fr http://www.math-info.univ-paris5.fr/~janiszek/ PRES Sorbonne Paris Cité

Plus en détail

LES AVANTAGES DU CLOUD

LES AVANTAGES DU CLOUD 1 INTRODUCTION Toutes les entreprises ont un point en commun : la volonté d accroître leurs revenus et leur productivité. Mais beaucoup d entreprises ne profitent pas des ressources à leur disposition

Plus en détail

IFT 615 Intelligence artificielle

IFT 615 Intelligence artificielle Département d informatique IFT 615 Intelligence artificielle Plan de cours Hiver 201 Professeur Auxiliaire Froduald Kabanza Courriel : kabanza@usherbrooke.ca Local : D-1022-2 Téléphone : (819) 821-8000,

Plus en détail

La décision répartie pour le déploiement distribué

La décision répartie pour le déploiement distribué La décision répartie pour le déploiement distribué Auteur : Chafik Merkak 1 Encadrant : Fabien Dagnat 2 Équipe : CAMA, TELECOM Bretagne 27 janvier 2011 Master Recherche en Informatique Systèmes et Objets

Plus en détail

Master Sciences et technologies Mention MI : Management de l Innovation

Master Sciences et technologies Mention MI : Management de l Innovation Master Sciences et technologies Mention MI : Management de l Innovation M2 Spécialité Ingénierie et Management de la Formation (IMFL ) Présentation des UE UE de spécialité UE1 «Management des connaissances

Plus en détail

Évaluation et implémentation des langages

Évaluation et implémentation des langages Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation

Plus en détail

Vers l orchestration des grilles de PCs par les mécanismes de publication-souscription issus des technologies du WEB

Vers l orchestration des grilles de PCs par les mécanismes de publication-souscription issus des technologies du WEB Vers l orchestration des grilles de PCs par les mécanismes de publication-souscription issus des technologies du WEB Présenté par Leila Abidi sous la direction de Christophe Cerin & Mohamed Jemni Université

Plus en détail

«Autonomic Computing» l Autogestion de Systèmes Informatiques Ada Diaconescu

«Autonomic Computing» l Autogestion de Systèmes Informatiques Ada Diaconescu «Autonomic Computing» l Autogestion de Systèmes Informatiques Ada Diaconescu ada.diaconescu@telecom-paristech.fr Sommaire Introduction contexte, problématique l Autogestion Informatique notions de base,

Plus en détail

TP10 Modélisation, simulation et vérification du «Priority Inheritance Protocol» en Kind2

TP10 Modélisation, simulation et vérification du «Priority Inheritance Protocol» en Kind2 École normale supérieure Année 2014-2015 Systèmes et réseaux TP10 Modélisation, simulation et vérification du «Priority Inheritance Protocol» en Kind2 1 Plan En suivant l exemple de Jahier, Halbwachs et

Plus en détail

PROJET BIGDATART DOSSIER DE PRESENTATION

PROJET BIGDATART DOSSIER DE PRESENTATION PROJET BIGDATART DOSSIER DE PRESENTATION Le projet BigDatArt est une installation scientifico-artistique centrée autour des notions d images et de BigData. Ce que je propose dans mon projet et d'inverser

Plus en détail

Département d'informatique, Université Laval, IFT-63677 SBC V&V : VÉRIFICATION ET VALIDATION DES SBC

Département d'informatique, Université Laval, IFT-63677 SBC V&V : VÉRIFICATION ET VALIDATION DES SBC Assurance qualité logicielle Logiciel conventionnel SBC Fiabilité Facilité d'entretien Facilité des modifications Principales causes d erreur Absence de spécification, manque de conformité (1) Erreurs

Plus en détail

Avantage d'une migration vers une solution EDI externalisée

Avantage d'une migration vers une solution EDI externalisée Avantage d'une migration vers une solution EDI externalisée Description Problématique Infrastructure Ressources Logiciel Maintenance Conclusion Avantages d une migration vers une solution EDI externalisée

Plus en détail

AT&S Renforce son Efficacité et sa Flexibilité Métier Grâce à une Gestion IT Optimisée

AT&S Renforce son Efficacité et sa Flexibilité Métier Grâce à une Gestion IT Optimisée CUSTOMER SUCCESS STORY Mars 2014 AT&S Renforce son Efficacité et sa Flexibilité Métier Grâce à une Gestion IT Optimisée PROFIL CLIENT Secteur: Industrie manufacturière Société: AT&S Effectifs: 7 500 personnes

Plus en détail

Résumé CONCEPTEUR, INTEGRATEUR, OPERATEUR DE SYSTEMES CRITIQUES

Résumé CONCEPTEUR, INTEGRATEUR, OPERATEUR DE SYSTEMES CRITIQUES Aristote ----- Cloud Interopérabilité Retour d'expérience L A F O R C E D E L I N N O V A T I O N Résumé Les systèmes d'information logistique (SIL) sont des outils qui amènent des gains de productivité

Plus en détail

Etat de l art sur l utilisation des techniques Web Sémantique en ECD

Etat de l art sur l utilisation des techniques Web Sémantique en ECD Etat de l art sur l utilisation des techniques Web Sémantique en ECD Hicham Behja ENSAM Meknès(1,2,3) Brigitte Trousse Projet AxIS INRIA Sophia Antipolis (2) Abdelaziz Marzak Faculté des sciences Casablanca

Plus en détail

Quel profil pour les futurs professionnels de l'informatique? Le référentiel de compétences du master en sciences informatiques de l'ucl.

Quel profil pour les futurs professionnels de l'informatique? Le référentiel de compétences du master en sciences informatiques de l'ucl. université catholique de louvain louvain-la-neuve, belgique Quel profil pour les futurs professionnels de l'informatique? raisonner théorie appliquer apprendre examens concevoir bachelier référentiel universitaire

Plus en détail

Sécurisation du stockage de données sur le Cloud Michel Kheirallah

Sécurisation du stockage de données sur le Cloud Michel Kheirallah Sécurisation du stockage de données sur le Cloud Michel Kheirallah Introduction I Présentation du Cloud II Menaces III Exigences de sécurité IV Techniques de sécurisation 2 26/02/2015 Présentation du Cloud

Plus en détail

Plan d études du CAS SMSI Volée 2014

Plan d études du CAS SMSI Volée 2014 Plan d études du CAS SMSI Volée 2014 SIE Système d information d entreprise Crédits ECTS : 2 Périodes : 32 «Le module SIE a pour objectif de faire connaître les fondements théoriques du système d information

Plus en détail

Cours : INF 752 Techniques de vérification et de validation Trimestre : Automne 2015 Enseignant : Évariste Valéry BÉVO WANDJI

Cours : INF 752 Techniques de vérification et de validation Trimestre : Automne 2015 Enseignant : Évariste Valéry BÉVO WANDJI Faculté des sciences Centre de formation en technologies de l information Cours : INF 752 Techniques de vérification et de validation Trimestre : Automne 2015 Enseignant : Évariste Valéry BÉVO WANDJI 1.

Plus en détail

Cloud Computing et SaaS

Cloud Computing et SaaS Cloud Computing et SaaS On a vu fleurir ces derniers temps un grands nombre de sigles. L un des premiers est SaaS, Software as a Service, sur lequel nous aurons l occasion de revenir. Mais il y en a beaucoup

Plus en détail

Pédagogie du projet?

Pédagogie du projet? Pédagogie du projet? Toute pédagogie qui place l intérêt des apprenants comme levier des conduites éducatives est appelée «pédagogie fonctionnelle». Ainsi, la pédagogie du projet peut rentrer dans cette

Plus en détail

3 minutes. pour tout savoir sur. Orange Consulting le conseil par Orange Business Services

3 minutes. pour tout savoir sur. Orange Consulting le conseil par Orange Business Services 3 minutes pour tout savoir sur Orange Consulting le conseil par Orange Business Services la technologie digitale est partout et n a jamais été aussi riche en promesses Notre ambition dans notre plan stratégique

Plus en détail

IAM: Intelligence Ambiante

IAM: Intelligence Ambiante Parcours Polytech Sciences Informatique 5 ème année IAM: Intelligence Ambiante Présentation: (Responsable du parcours) De l Internet des Objets L Internet des Objets (Internet of Things) 20 milliards d

Plus en détail

WEB15 IBM Software for Business Process Management. un offre complète et modulaire. Alain DARMON consultant avant-vente BPM alain.darmon@fr.ibm.

WEB15 IBM Software for Business Process Management. un offre complète et modulaire. Alain DARMON consultant avant-vente BPM alain.darmon@fr.ibm. WEB15 IBM Software for Business Process Management un offre complète et modulaire Alain DARMON consultant avant-vente BPM alain.darmon@fr.ibm.com Claude Perrin ECM Client Technical Professional Manager

Plus en détail

LES NOUVEAUX USAGES DE LA MOBILITÉ. Un enjeu et une opportunité majeurs pour l industrie automobile

LES NOUVEAUX USAGES DE LA MOBILITÉ. Un enjeu et une opportunité majeurs pour l industrie automobile LES NOUVEAUX USAGES DE LA MOBILITÉ Un enjeu et une opportunité majeurs pour l industrie automobile. Position du problème Un axe très important dans les transports individuels est celui des nouveaux usages

Plus en détail

Thème 8 : Capteurs et objets connectés au service de l observabilité et du pilotage du réseau public de distribution d électricité

Thème 8 : Capteurs et objets connectés au service de l observabilité et du pilotage du réseau public de distribution d électricité Concours ERDF de l innovation 2015 «Réseaux Electriques Intelligents» Thème 8 : Capteurs et objets connectés au service de l observabilité et du pilotage du réseau public de distribution d électricité

Plus en détail

Automatisation de la découverte, de la surveillance et de l analyse des causes premières dans le datacenter virtualisé (VDC) EMC SERVER MANAGER

Automatisation de la découverte, de la surveillance et de l analyse des causes premières dans le datacenter virtualisé (VDC) EMC SERVER MANAGER EMC SERVER MANAGER Automatisation de la découverte, de la surveillance et de l analyse des causes premières dans le datacenter virtualisé (VDC) Avantages clés Corrélation et analyse des machines virtuelles

Plus en détail

MAINTENANCE INDUSTRIELLE

MAINTENANCE INDUSTRIELLE Fiche Pratique MAINTENANCE INDUSTRIELLE Comment évaluer la performance d une prestation sur site? UNE METHODE D ANALYSE Juin 2006 MAINTENANCE INDUSTRIELLE ET DEMARCHES DE PROGRES CONTEXTE L optimisation

Plus en détail

IBM Software IBM Business Process Manager - Simplicité et performances

IBM Software IBM Business Process Manager - Simplicité et performances IBM Software IBM Business Process Manager - Simplicité et performances Gérer ses processus métier et bénéficier d une visibilité totale avec une plateforme de BPM unique IBM Software 2 IBM Business Process

Plus en détail

l Intelligence Artificielle

l Intelligence Artificielle 1 Introduction à l Intelligence Artificielle Antoine Cornuéjols antoine@lri.fr http://www.iie.cnam.fr/~cornuejols/ I.I.E. & L.R.I., Université d Orsay Intelligence Artificielle : plan 2 1-2- 3-4- 5-6-

Plus en détail

de vos processus des événements autour du tissu industriel concerné par ses solutions.

de vos processus des événements autour du tissu industriel concerné par ses solutions. Les logiciels Tekla en pratique : Industrie de l'acier La gestion de l'information tout au long de vos processus Photo : Emily Brown v Travailler avec les logiciels Tekla est la manière la plus avancée

Plus en détail

DOSSIER DE PRESSE. Concepteur et éditeur de logiciels industriels de MES & Supervision

DOSSIER DE PRESSE. Concepteur et éditeur de logiciels industriels de MES & Supervision O R D I N A L / S a l o n S M A R T I N D U S T R I E S 2 0 1 5 Agence ARTOP Septembre 2015 DOSSIER DE PRESSE Stand C16 Concepteur et éditeur de logiciels industriels de MES & Supervision Exposant sur

Plus en détail

White Paper ADVANTYS. Workflow et Gestion de la Performance

White Paper ADVANTYS. Workflow et Gestion de la Performance White Paper Workflow et Gestion de la Performance Présentation L automatisation des process combinée à l informatique décisionnelle (Business Intelligence) offre une nouvelle plateforme de gestion pour

Plus en détail

LES LOGICIELS TEKLA EN PRATIQUE : INDUSTRIE DE L'ACIER

LES LOGICIELS TEKLA EN PRATIQUE : INDUSTRIE DE L'ACIER LES LOGICIELS TEKLA EN PRATIQUE : INDUSTRIE DE L'ACIER LA GESTION DE L'INFORMATION TOUT AU LONG DE VOS PROCESSUS Photo : Emily Brown v Travailler avec les logiciels Tekla est la manière la plus avancée

Plus en détail

MASTER INFORMATIQUE ET INGENIERIE DES SYSTEMES COMPLEXES PARCOURS SIGNAL ET TELECOMMUNICATIONS

MASTER INFORMATIQUE ET INGENIERIE DES SYSTEMES COMPLEXES PARCOURS SIGNAL ET TELECOMMUNICATIONS MASTER INFORMATIQUE ET INGENIERIE DES SYSTEMES COMPLEXES PARCOURS SIGNAL ET TELECOMMUNICATIONS Domaine ministériel : Sciences, Technologies, Santé Présentation Nature de la formation : Diplôme national

Plus en détail

Accélérer l innovation pour obtenir des résultats commerciaux concrets

Accélérer l innovation pour obtenir des résultats commerciaux concrets IBM Software Avril 2013 Accélérer l innovation pour obtenir des résultats commerciaux concrets Les logiciels sont votre plus grand atout stratégique 2 Une innovation rapide pour des résultats commerciaux

Plus en détail

Elasticité logicielle pour optimiser l empreinte énergétique

Elasticité logicielle pour optimiser l empreinte énergétique Ecole des Mines de Nantes Elasticité logicielle pour optimiser l empreinte énergétique Thomas Ledoux (équipe Ascola, INRIA-EMN, LINA) direction des études décembre 2010 page 1 Relation logiciel empreinte

Plus en détail

«PRATIQUES DOCUMENTAIRES ET

«PRATIQUES DOCUMENTAIRES ET «PRATIQUES DOCUMENTAIRES ET NOUVEAUX MODES DE PUBLICATION» - Résultats de l enquête Centre de documentation LAAS-CNRS Juin 2006 1) PRESENTATION DE L ENQUETE a) Objectifs Dresser un état des lieux sur :

Plus en détail

MÉTHODOLOGIE DE L ASSESSMENT CENTRE L INSTRUMENT LE PLUS ADÉQUAT POUR : DES SÉLECTIONS DE QUALITÉ DES CONSEILS DE DÉVELOPPEMENT FONDÉS

MÉTHODOLOGIE DE L ASSESSMENT CENTRE L INSTRUMENT LE PLUS ADÉQUAT POUR : DES SÉLECTIONS DE QUALITÉ DES CONSEILS DE DÉVELOPPEMENT FONDÉS MÉTHODOLOGIE DE L ASSESSMENT CENTRE L INSTRUMENT LE PLUS ADÉQUAT POUR : DES SÉLECTIONS DE QUALITÉ ET DES CONSEILS DE DÉVELOPPEMENT FONDÉS 1. Introduction Placer la «bonne personne au bon endroit» représente

Plus en détail

La détection automatique de l opinion : contraintes et enjeux

La détection automatique de l opinion : contraintes et enjeux La détection automatique de l opinion : contraintes et enjeux Frédéric Marcoul Responsable R&D de Spotter fmarcoul@spotter.com Ana Athayde Président Directeur Général de Spotter aathayde@spotter.com RÉSUMÉ

Plus en détail

Systèmes d'informations historique et mutations

Systèmes d'informations historique et mutations Systèmes d'informations historique et mutations Christophe Turbout SAIC-CERTIC Université de Caen Basse-Normandie Systèmes d'informations : Historique et mutations - Christophe Turbout SAIC-CERTIC UCBN

Plus en détail

Introduction au développement du logiciel

Introduction au développement du logiciel Introduction au développement du logiciel Vers le génie logiciel Université de Nantes Master Miage M1 Plan 1 Introduction 2 Génie logiciel 3 Projet informatique 4 Méthode de développement 5 Qualité Bibliographie

Plus en détail

Les projets d investissement en PME

Les projets d investissement en PME Le point sur Les projets d investissement en PME Concilier performance économique et conditions de travail L investissement reste un moment clé du développement d une entreprise. C est l occasion de repenser

Plus en détail

Mesurer l efficacité de la formation

Mesurer l efficacité de la formation Pascaline MALASSINGNE Mesurer l efficacité de la formation Évaluer le résultat et la rentabilité, 2007 ISBN : 978-2-212-53794-9 Chapitre 5 Les trois cartes de l efficacité en formation La démarche finalisée

Plus en détail

Fixer et Atteindre les Objectifs

Fixer et Atteindre les Objectifs M R P - ACT Accélérateur de talents Programme de Management Relationnel et Professionnel C I Jtp G S E T R A T Cycle N 3 Fixer et Atteindre les Objectifs J. Triponez Cycle 3 : Partez de votre vision et

Plus en détail

Renseignements personnels

Renseignements personnels Wafa Mekki Curriculum Vitae Renseignements personnels Date et lieu de naissance: 22 Novembre 1986 à Sfax, Tunisie Nationnalité: Tunisienne Etat civil: Mariée Adresse: Route Manzel Chaker Km 5, 3013, Sfax,

Plus en détail

Cas d étude appliqué à l ingénierie logicielle

Cas d étude appliqué à l ingénierie logicielle ypbl : une méthodologie pédagogique pour la professionnalisation d une formation Cas d étude appliqué à l ingénierie logicielle Ernesto Exposito 1,2, Anne Hernandez 2 1 CNRS ; LAAS ; 7 av. du Colonel Roche,

Plus en détail

SEcurité et Internet Des Objets : le laboratoire SEIDO

SEcurité et Internet Des Objets : le laboratoire SEIDO SEcurité et Internet Des Objets : le laboratoire SEIDO Gérard Memmi, Chef du Département Informatique et Réseaux Télécom ParisTech Philippe Forestier, Chef de projet EDF R&D AGENDA 1. INTERNET OF THINGS

Plus en détail

LOG2420 Analyse et conception d interfaces utilisateur

LOG2420 Analyse et conception d interfaces utilisateur LOG2420 Analyse et conception d interfaces utilisateur Évaluation d interfaces Michel C. Desmarais Génie informatique École Polytechnique de Montréal Automne, 2015 Types d évaluation Principaux types :

Plus en détail

MESURE & ESTIMATION DES PROJETS LOGICIELS

MESURE & ESTIMATION DES PROJETS LOGICIELS C E N T R E D E MAITRISE DES SYSTEMES ET DU LOGICIEL MESURE & ESTIMATION DES PROJETS LOGICIELS INTRODUCTION N.Trèves / CNAM - CMSL / Mesure & estimation des projets logiciels 31-3-04 / Vers. 1.0 Page 1

Plus en détail

Cloud Computing, discours marketing ou solution à vos problèmes?

Cloud Computing, discours marketing ou solution à vos problèmes? Cloud Computing, discours marketing ou solution à vos problèmes? Henri PORNON 3 avril 2012 IETI Consultants 17 boulevard des Etats-Unis - F-71000 Mâcon Tel : (0)3 85 21 91 91 - fax : (0)3 85 21 91 92-

Plus en détail

1 Bref Curriculum Vitae

1 Bref Curriculum Vitae Hélène FARGIER Institut de Recherche en Informatique de Toulouse (IRIT) 118 route de Narbonne, 31062 Toulouse Cedex 9, France Tel : (33) 5. 61.55.82.97 E-mail : fargier@irit.fr État civil : 48 ans, veuve,

Plus en détail

Approche dirigée par les modèles pour la spécification, la vérification formelle et la mise en œuvre des services Web composés

Approche dirigée par les modèles pour la spécification, la vérification formelle et la mise en œuvre des services Web composés Approche dirigée par les modèles pour la spécification, la vérification formelle et la mise en œuvre des services Web composés Christophe Dumez Laboratoire Systèmes et Transports (SeT) Université de Technologie

Plus en détail

Modélisation agent d une Architecture Logicielle de commande d un Véhicule Autonome

Modélisation agent d une Architecture Logicielle de commande d un Véhicule Autonome Modélisation agent d une Architecture Logicielle de commande d un Véhicule Autonome ENNAJI Mourad LASC université de Metz Ile du Saulcy B.P 80794 57 012 METZ Ennaji@lasc.sciences.univ-metz.fr Résumé Cet

Plus en détail

Evolution des pratiques achats

Evolution des pratiques achats Evolution des pratiques achats Enquête clients Juin 2012 2 Sommaire 3 4 4 4 5 6 6 7 7 8 9 9 10 11 Introduction I - Utilisation générale de b-pack Modes d acquisition Volume d achats Modules et catégories

Plus en détail

Périmètre des activités et des acteurs

Périmètre des activités et des acteurs Périmètre des activités et des acteurs ETUDES CONSEILS PRODUCTION AUDIOVISUELLE NUMERIQUE IMPRIMERIE & INDUSTRIES GRAPHIQUES TRANSPORTS ROUTAGE LOGISTIQUE INFORMATIQUE CREDIT CONSOMMAT. PUBLICITE CENTR

Plus en détail

Cloud Service Management

Cloud Service Management Cloud Service Management HEAT Help Desk SOLUTION BRIEF 1 MODERNISEZ LES OPERATIONS DE GESTION DES SERVICES ET OFFREZ PLUS DE VALEUR STRATEGIQUE A L ENTREPRISE HEAT Cloud Service Management est un ensemble

Plus en détail

Curriculum Vitae. Formation. Années Nature des études Diplômes 1983-1989 Etudes primaires à l école Juin 89 : Diplôme des études primaires

Curriculum Vitae. Formation. Années Nature des études Diplômes 1983-1989 Etudes primaires à l école Juin 89 : Diplôme des études primaires Curriculum Vitae Nom : KHAYATI Prénom : Naoufel Date et lieu de naissance : 25 juillet 1978 à Tébourba. Adresse 1 : Apt 24, Bloc 4, Rue Benbla, Cité Romana, 1068, Tunis. Adresse 2 : 7 Avenue Essafsaf,

Plus en détail

Quelques éléments sur la conception et l ingénierie des EIAH

Quelques éléments sur la conception et l ingénierie des EIAH Quelques éléments sur la conception et l ingénierie des EIAH Lium Université du Maine Pierre.Tchounikine@lium.univ-lemans.fr EIAH : définition EIAH = Environnement Informatique pour l Apprentissage Humain

Plus en détail

Contrôle stochastique d allocation de ressources dans le «cloud computing»

Contrôle stochastique d allocation de ressources dans le «cloud computing» Contrôle stochastique d allocation de ressources dans le «cloud computing» Jacques Malenfant 1 Olga Melekhova 1, Xavier Dutreilh 1,3, Sergey Kirghizov 1, Isis Truck 2, Nicolas Rivierre 3 Travaux partiellement

Plus en détail

Evolution des technologies et émergence du cloud computing Drissa HOUATRA, Orange Labs Issy

Evolution des technologies et émergence du cloud computing Drissa HOUATRA, Orange Labs Issy Evolution des technologies et émergence du cloud computing Drissa HOUATRA, Orange Labs Issy Séminaire Aristote, 17 Déc. 2009 Ecole Polytechnique Palaiseau Plan L'univers du cloud Ressources Grilles, middleware

Plus en détail

Cours Systèmes Multi-Agents

Cours Systèmes Multi-Agents Un système multi-agents «Un Système Multi-Agents(SMA) comporte plusieurs agents qui interagissent entre eux dans un environnement commun. Certains de ces agents peuvent être des personnes ou leurs représentants

Plus en détail

Vers l'orchestration de grilles de PC par les mécanismes de publicationsouscription

Vers l'orchestration de grilles de PC par les mécanismes de publicationsouscription Vers l'orchestration de grilles de PC par les mécanismes de publicationsouscription Présentée par Leila Abidi Sous la direction de Mohamed Jemni & Christophe Cérin Plan Contexte Problématique Objectifs

Plus en détail

Prise de position de la section 7. travail sur une possible partition

Prise de position de la section 7. travail sur une possible partition Prise de position de la section 7 travail sur une possible partition Notre prise de position est structurée comme suit : dans une première partie, nous expliquons le contexte dans lequel notre travail

Plus en détail