JY Tigli Homepages

Prof. Ignas G. M. M. Niemegeers, Delft University of Technology, The Netherlands :

2009-09-21T14:58:46+02:00

Prof. Ignas G. M. M. Niemegeers, Delft University of Technology, The Netherlands : Abstract Keynote ACM Mobile, Sophia-Antipolis, September 3, 2009 Title: Personal Networks and Federations: Creating new capabilities for people through personal mobile distributed environments According to recent predictions of the Wireless World Research Forum, in 2017, every person on earth will, on the average, own 1000 digital devices equipped with wireless interfaces, ranging from sophisticated equipment…

About the Conference

2009-09-21T14:56:48+02:00

About the Conference Mobility 2009, 2 - 4 september 2009, Nice, France Mobility Conference & Exhibition is a three (3) day event comprising keynote speeches by both leading researchers and industrial experts, focused symposiums, technical oral presentations and updates by industrial presenters. This event provides a platform to introduce new mobile technologies that would shape the next generation of mobile systems & technology platforms.

Première partie du cours Applications Réparties SI4 : les Web Services

2011-03-23T15:31:24+02:00

Cours : Cours 1 et 2 : Couche de session (exemple HTTP) [Cours HTTP] Cours 3 à 5 : Les Services Web WS * Généralités * Architecture * SOAP * WSDL * Conclusion [Cours Web Services] Cours 6 : UDDI et REST * UDDI, des annuaires de services standardisés * REST, les Services Web de type “representational state transfer”

article_de_presse_regionale

2010-02-02T19:13:48+02:00

Behavioral Model and Programming

2010-01-02T11:30:06+02:00

Wikipedia Behavior as used in computer science is an anthropomorphic construct that assigns “life” to the activities carried out by a computer, computer application, or computer code in response to stimuli, such as user input. Also, “a behavior” is a reusable block of computer code or script that, when applied to an object (computer science), especially a graphical one, causes it to respond to user input in meaningful patterns or to operate independentl…

billet_avion

2009-11-13T13:56:27+02:00

TIGLI/JEAN YVES(ADT) 23NOV NCE ORY This document is automatically generated. Please do not respond to this mail. BILLET ELECTRONIQUE RECU ITINERAIRE PASSAGER FRAM VOYAGES DATE: 13 NOVEMBRE 2009 5 CHEMIN DE TERREFORT AGENT: 8981 BP 10113 CORNEBARRIEU NOM: TIGLI/JEAN YVES(ADT) 31703 BLAGNAC CEDEX IATA : 202 11914 TELEPHONE: 0811.464.864 COMPAGNIE EMETTRICE : AIR…

Bibliographie des papiers citant nos travaux

2011-06-30T17:47:44+02:00

Citations des papiers relatifs à SLCA (Mobility'08, IJCSI'09) * Tao Wang, Yunxiang Ling, Guohua Zhang, Huxiong Liao. Service-Based Public Interaction Framework for Pervasive Computing. Communications in Computer and Information Science, 2011, Volume 105, Part 1, 17-24, Springer-Verlag. [file]

Historique

2009-12-07T08:17:01+02:00

[Document in Progress on Amiquale Grenoble - Nice] Deadline : 21 décembre 2009 Contributeurs : James Crowley / Joëlle Coutaz / Michel Riveill / Jean-Yves Tigli Consultations : * INRIA Sophia : Gérard Giraudon * INRIA PULSAR : François Brémont * I3S Rainbow : Stéphane Lavirotte, Gaëtan Rey

Cours :

2011-02-09T14:32:37+02:00

Cours : Cours 1 et 2 : Couche de session (exemple HTTP) [ transparents ] Cours 3 à 6 : Introduction aux Web services [ transparents ] [ transparents ] * Généralités * Architecture * SOAP * WSDL * UDDI * Conclusion Travaux Dirigés : TD1 : Conception d'un Serveur HTTPD (liaison avec le module Internet et Réseau) [ sujet ]

Course 1

2010-01-17T10:57:23+02:00

Introduction What does Traditional Middleware Mean ? Motivations * make development faster and easier * to assist distributed software * promoting software reuse * A bridge between OS and application [Krakoviak] * High level network abstractions matching the application computational model [Issarny]

Course 2 : Formal Methods for Middleware verification

2010-01-17T10:58:31+02:00

There are currently two families of formal methods. These two approaches are complementary. Proof-based verification Example : such as B or Z In proof-based methods, the model is described by means of axioms, properties are theorems to be verified using a theorem prover.

Course 3

2010-01-17T11:00:47+02:00

New Challenges due to Ubiquitous Computing * immersion in a real environment Ubiquitous Computing applications are continuously interacting with a real world, partly unknown at design time and, always changing at runtime in uncountable manner

DOSSIER de DEMANDE D’UN CONGE POUR RECHERCHES OU CONVERSIONS THEMATIQUES

2009-01-27T18:23:15+02:00

[Télécharger le dossier ICI] Jean-Yves Tigli Laboratoire I3S et Polytech’Nice Sophia Antipolis, Bât. Templiers, 930 route des Colles, BP 145, 06903 Sophia Antipolis cedex bur. : (33) + 4 93 20 03 31 mob. : (33) + 6 84 24 55 67 email : tigli@polytech.unice.fr

DAAD Summer CTDS 09

2010-05-04T11:11:37+02:00

My Talk : Trends in Middleware for Ubiquitous Computing: WComp Solution (Session 10) Abstract : Ubiquitous Computing, introduced by Mark Weiser in 1991, raised many challenges across computer science : in systems design and engineering, in systems modeling, and in user interface design. Initially the effective integration and interaction with the physical world sufficed to promote ubiquitous computing interest due to significantly increased real world visibility as well as real world control,…

Titres Universitaires

2008-09-06T17:56:53+02:00

Thèse de Doctorat, Spécialité Informatique, Janvier 1996 “Vers une architecture de contrôle pour robot mobile orientée comportement, SMACH ” Université de Nice Sophia Antipolis, Directeur de thèse : Prof. Marie-Claude Thomas Diplôme d’Ingénieur en Informatique, Septembre 1991

Délégation INRIA PULSAR

2010-01-13T07:48:16+02:00

Rapport d'activité : Ma partie du rapport d'activité PULSAR 2009 Tâches : * Suivi de Zouhaire Ramadan (Stage) * Suivi d'Oscar Carillo (Projet + Stage) * Préparation SC 2010 * Spécification des mesures SUP Meetings : * Meeting Erwan 1209 : Minutes of the meeting SUPComp 120909

TITLE : xxxxx

2010-01-17T23:02:05+02:00

Plan Papier Annie : Titre : Statefull Service Composition, the key in Multi-device Applications 1> Introduction : Middleware is today cahllenging by grid-computing , ubqutious computing, prevaisive computing, context-awarness ... Main question : New challenges or new application domains ?

Environnement Informatique

2012-02-03T13:14:47+02:00

Espace de travail Systèmes et gestions de fichiers Installations logicielles Introduction au Multimedia Réseaux Internet Shell

CIP1 Environnement et Système

2010-07-09T17:50:34+02:00

Mon environnement sous windows Objectif : les principaux outils éprouvés à ajouter sous windows Thunderbird Firefox CCleaner Paint .Net ou Gimp OpenOffice Notepaf et Notepad ++ Cygwin anti-virus Shell, script et base de registres sous windows Objectif : limiter l'utilisation de l'interface graphique sous windows et automatisation des tâches d'administration

Environnements Informatiques

2011-12-06T09:40:29+02:00

Cursus concernés PeP1 : première année prépa intégrée de Polytech'Nice MAM 3 : première année du cursus Mathématique Appliqué et Modélisation, troisième année Polytech'Nice. BAT 3 : première année du cursus Bâtiment Intelligent, troisième année Polytech'Nice.

Meeting 231209

2010-01-07T15:33:13+02:00

Présents : Moisan, Rigault, Annie, Bernard , JY Le projet auqel participer Bernard implique l'université d'Hambourg (IA) pour la gestion d'événements de haut niveau. Bernard et Pulsar interviennent au niveau des événements “primitifs” au sens des scenarios.

exemple_de_descriptions_de_scenario

2010-01-07T15:33:21+02:00

” xsi:noNamespaceSchemaLocation=“Scenarios.xsd”>

Final Examination

2010-02-24T17:01:47+02:00

Students must : * compose groups of 3 to 4 students * choose 5 papers in the list below and send to JY Tigli by email (To : tigli@polytech.unice.fr, Subject : [MUC Paper and Group] ) the list of the students in the group and the 5 chosen papers, before the 22th of january, in the evening. (UbiNet Students must choose a Research paper).

Création et Manipulation de documents (GED

2012-02-03T13:18:57+02:00

Edition de documents numériques Writer et Word Tableurs numériques * Calc et Excel Edition de présentations numériques * Impress et Powerpoint Conception de pages Web Gestion de base de données * openoffice Base (Access) Edition d'images numériques * Gimp

Gestion Biblio

2009-11-12T09:36:19+02:00

Zotero Il s'agit d'un plugin de Firefox : Lien : zotero Guide de démarrrage rapide : lien

Gestion Web

2009-11-12T15:53:01+02:00

Les styles dokuwiki : lien modifier dokuwiki Les balises META dans Dokuwiki DokuWiki et les moteurs de recherche KML - KMZ dans mes pages En fait KMZ = zip de KML pour insérer KMZ dans ma page Web : lien Exemple : voir le script de cet page : lien

groupe_de_travail_iam

2010-01-05T17:59:37+02:00

Meeting 23 et 24 Novembre [Compte rendu atelier AmI des 23 et 24 Novembre 2009, Paris J. Coutaz (avec les notes de I. Demeure)] Historique (angle bâtiment tertiaire et résidentiel) {services de la qualité de lieu de vie} Meeting GTIAm Campus STIC

HDR

2010-04-02T08:11:24+02:00

Mon PLAN HDR Travaux à considérer Noha IBRAHIM Thèse en 2008 : Spontaneous Service Integration in Pervasive Environments [manuscript] Cours LIG : Donsez - Seinturier ...

Contact

2012-01-03T13:00:21+02:00

Jean-Yves Tigli, Associate Professor at Nice - Sophia Antipolis University Knowledge and Software Engineering Department I3S Laboratory - Rainbow research group Université de Nice Sophia Antipolis Laboratoire I3S - Unité Mixte de Recherche (UMR 6070) Equipe RAINBOW Ecole Polytechnique Universitaire – Département Informatique Ass. Prof. Jean-Yves Tigli

Collaboration Recherche et Pédagogie (Université Nice Sophia Antipolis / ESPRIT) dans le domaine de l'Informatique Ambiante et M2M

2011-05-13T11:11:30+02:00

Collaborateurs : * Kamel Hamrouni, Prof. à l'ENIT, enseignant à ESPRIT * Hassen Djedidi, assistant à ESPRIT * Jean-Yves Tigli, Ass. Prof. à l'Université Nice Sophia Antipolis Description du séminaire Invité : Jean-Yves Tigli Email: tigli@polytech.unice.fr

Middleware for Ubiquituous Computing

2009-02-09T14:19:32+02:00

Description Main Instructor : Jean-Yves Tigli Email: tigli@polytech.unice.fr Web : Instructors : Jean-Yves Tigli, Michel Riveill, Gaetan Rey , Stéphane Lavirotte, Jonathan Bardin and Didier Donsez (UJF - IMAG), Nicolas Ferry (TA), Vincent Hourdin (TA).

Middleware for Mobile Computing

2010-12-13T16:35:28+02:00

Objets Communicants (Smart Objects)

2010-11-08T12:42:51+02:00

Description Responsable : Jean-Yves Tigli, MCF Université de Nice – Sophia Antipolis email : tigli@polytech.unice.fr Durée : 16 semaines (évaluation comprise) Autres intervenants académiques (Nom / Etablissement) : * Stéphane Lavirotte, MCF Université de Nice – Sophia Antipolis * Gaëtan Rey, MCF Université de Nice – Sophia Antipolis * Estelle Perrin, MCF Université de Reims * Frédéric Danesi, Ingénieur Chef de Projet, Centre technique DINCCS

Objets Communicants - 2010 - 2011

2011-02-08T11:34:43+02:00

Cours 1 : Introduction Intervenant : Jean-Yves Tigli Cours d'introduction aux objets communicants Cours 2 : UPnP Intervenant : Jean-Yves Tigli Cours d'introduction à UPnP TD 2 : UPnP Intervenant : Jean-Yves Tigli Travaux dirigés sur UPnP

IJCAI 2003 Comments

2010-01-13T07:49:10+02:00

Scenario representation

Développement Logiciels et Communications en Domotique (Home Automation)

2012-05-11T20:21:53+02:00

* Introduction à la Domotique et l'Immotique : cours 2h * 5 Domaines d'applications Domotiques et Technologies associées (2h de cours et 8h de TDs [fonction des plateformes de TDs achetées et installées]) * Pour gérer le confort thermique et optimiser la performance énergétique : régulation de chauffage pièce par pièce, programmation en fonction de scénarios d’occupation, prise en compte de la ventilation, des veilles des équipements électriques, extinction de toutes les lumières d’un seu…

Description

2008-11-11T10:07:10+02:00

Description Responsable : Jean-Yves Tigli email : tigli@polytech.unice.fr Evaluation : Travaux pratiques évalués et Examen final sur papier Volume : 20h Contenu Le module de 20h est organisé en trois cycles : Cycle 1 : Utilisation avancée des logiciels informatiques (inspiré du C2i niveau 1)

Informatique Ambiante

2009-01-19T22:01:20+02:00

Enseignant : Jean-Yves Tigli email : tigli@polytech.unice.fr web : Description Enseignant : Jean-Yves Tigli Email: tigli@polytech.unice.fr Web : Volume : 21 heures dont 18 heures en présentiel

Informatique Ambiante et Intergiciel WComp

2009-09-24T08:44:18+02:00

Enseignant : Jean-Yves Tigli email : tigli@polytech.unice.fr web : Biography JY Tigli is associate professor in Software Engineering, Networks and System in the Computing Department in the Engineering School, Called “Polytech” of the University of Nice Sophia Antipolis and he's also, this year, delegated by his University, as INRIA researcher in Team PULSAR to pursue research on middleware for ubiquitous computing and activity recognition. He has publishe…

Internet et Réseaux

2008-10-31T16:47:10+02:00

Description Responsable : Jean-Yves Tigli email : tigli@polytech.unice.fr Evaluation : Travaux pratiques évalués et examen final sur papier Volume : 12h de cours et 24 h de travaux dirigés Supports de Cours Cours 1 : [Cours 1 Introduction Internet et Réseaux SI4]

Internship Offers

2009-12-06T12:42:51+02:00

Dec 2009 : Stage Plateforme SYNCOMP Feb 2010: UbiNet Internship 2010 test

Introduction aux Middlewares

2010-01-08T18:31:49+02:00

job_offers

2009-11-12T12:32:01+02:00

Test

2009-12-01T11:21:02+02:00

Live Social Semantic

2009-11-10T15:53:10+02:00

Vidéos Vidéo exemple Papiers Live Social Semantics, Alani, H., Szomszor, M., Cattuto, C., Van den Broeck, W., Correndo, G. and Barrat, A. (2009) Live Social Semantics. In: 8th International Semantic Web Conference (ISWC), October 2009, US. link

master_ubinet

2009-11-16T13:38:05+02:00

[Compte Rendu de la réunion du Master Ubinet du 10-11-09] Master Ubinet

Meeting GTIAm Campus STIC

2010-01-05T18:04:43+02:00

Date : 4 janvier 2010 Lieu : Sophia Antipolis Réunion “Intelligence ambiante” 04/01/2010 – ESSI Participants : * Patrick Morand, CSTB * JF Bremond, INRIA * B. Trousse, INRIA * B. Senach, INRIA * A. Giboin, INRIA * S. Lavirotte, UNS * JY Tigli, UNS * M. Riveill, UNS

Outils

2009-11-19T14:23:05+02:00

Magicdraw Magicdraw Lien installations Remarque : Pour ne pas avoir de logos ou de messages dans le fond il faut exporter les graphiques en eps ou svg. Meta-Modèles Lien des meta-modèles

Middleware for Ubiquitous Computing

2010-01-17T11:00:02+02:00

Draft Course 1 Draft Course 2 Draft Course 3

Mobility'09 Page for Session Chairs

2009-08-31T17:03:03+02:00

Technical Programme Chairs Dr Zhou Ass. Prof Tigli (33+6 84 24 55 67) Final programme of Mobiltiy'09 Final Programme 090902 Final Programme 090903 Final Programme 090904 List of the Session Chairs * Session 1 : Software platform, framework and middleware for Mobile and Ubiquitous Computing, Session Chair : Prof. Michel Riveill, University of Nice Sophia Antipolis, France

Middleware for Ubiquitous Computing

2010-02-24T14:38:42+02:00

Lecture 1 : Introduction to Middleware for Ubiquitous Computing * Date : December, 7th 2009 * Instructor : J.-Y. Tigli * Duration : 3h Ressources : Lecture1 Lecture 2 : Verification in Middleware for Ubiquitous Computing * Date : December, 14th 2009 * Instructors : A. Ressouche and J.-Y. Tigli * Duration : 4h

Lecture 1 : Introduction to Middleware for Ubiquitous Computing

2010-01-04T13:46:39+02:00

Lecture 1 : Introduction to Middleware for Ubiquitous Computing * Date : December, 8th 2009 * Instructor : J.-Y. Tigli * Duration : 3h Ressources : * Slides of the lecture “First trends in Middleware for Ubiquituous Computing” : Middleware for Ubiquitous Computing WComp 2.0

Lecture 2 : Formal Methods for Middleware verification

2010-01-05T12:31:02+02:00

* Date : December, 14th 2009 * Instructor : A. Ressouche and J.-Y. Tigli * Duration : 4h There are currently two families of formal methods. These two approaches are complementary. Proof-based verification Example : such as B or Z In proof-based methods, the model is described by means of axioms, properties are theorems to be verified using a theorem prover.

Lecture 3 : Wcomp middleware and proved components

2010-01-05T08:25:50+02:00

* Date : January, 5th 2010 * Instructor : J.-Y. Tigli * Duration : 3h Part 1 : How to Design Components in a Middleware for Ubiquitous Computing WComp 2.0 * Date : December, 15th 2009 * Instructor : A. Ressouche - J-Y. Tigli * Duration : 3h

Lecture 4 : From Web Services Middleware to Web Services for Device Middleware

2010-01-12T16:18:17+02:00

* Date : January, 12th 2010 * Instructor : S. Lavirotte * Duration : 3h Ressources : * Lecture slides : From Web Services Middleware to Web Services for Device Middleware * Tutorial 4a : Creating a Web Service for Device: UPnP (for Ubinet Students) * Tutorial 4b : Creating a Web Service for Device: DPWS (for Polytech Students)

Lecture 5 : Adaptive Middleware and Aspect of Assembly

2010-01-19T08:12:39+02:00

* Date : January, 19th 2010 * Instructor : JY Tigli * Duration : 3h Ressources : * Lecture slides : Slides * Tutorial / Demo 5 : Demo References :

Lecture 6 : Aspect of Assembly

2010-02-25T08:05:49+02:00

* Date : January, 26th 2010 * Instructor : M. Gautier * Duration : 3h Ressources Tutorial : Tutorial_AA.pdf Tutorial_AA.zip Correction : Correction_AA.zip

Middleware for Ubiquitous Computing

2011-01-11T18:35:22+02:00

Lecture 1 : Introduction to Middleware for Ubiquitous Computing * Date : December, 7th 2010 * Instructor : J.-Y. Tigli * Duration : 3h Ressources : Lecture1 Lecture 2 : Verification in Middleware for Ubiquitous Computing * Date : December, 14th 2010 * Instructors : A. Ressouche * Duration : 4h

Lecture 1 : Introduction to Middleware for Ubiquitous Computing

2010-12-08T12:08:39+02:00

Lecture 1 : Introduction to Middleware for Ubiquitous Computing * Date : December, 7th 2010 * Instructor : J.-Y. Tigli * Duration : 3h Ressources : * Slides of the lecture “First trends in Middleware for Ubiquituous Computing” : Middleware for Ubiquitous Computing * Slides of the lecture “WComp middleware for ubiquitous computing, tutorial 1” : Tutorial 1 WComp * Document for the tutorial 1 : Tutorial 1 WComp

Lecture 2 : Formal Methods for Middleware verification

2010-12-15T10:06:15+02:00

* Date : December, 14th 2010 * Instructor : A. Ressouche * Duration : 4h There are currently two families of formal methods. These two approaches are complementary. Proof-based verification Example : such as B or Z In proof-based methods, the model is described by means of axioms, properties are theorems to be verified using a theorem prover.

Lecture 3 : Wcomp middleware Tutorial

2011-01-04T08:32:04+02:00

* Date : January, 4h 2010 * Instructor : V. Hourdin * Duration : 4h Ressources : * Tutorial paper : Tutorial : Middleware for Ubiquitous Computing, WComp 2.4 References : * Official WComp Project Website * Vincent Hourdin, Jean-Yves Tigli, Stéphane Lavirotte, Gaëtan Rey, Michel Riveill, “SLCA, Composite Services for Ubiquitous Computing”, in the proceedings of the International Conference on Mobile Technology, Applications and Systems, Sep 2008. * J.-Y. Tigli, S. Lavirotte, G.…

Lecture 4 : From Web Services Middleware to Web Services for Device Middleware

2011-02-03T11:09:13+02:00

Lecture 4 : From Web Services Middleware to Web Services for Device Middleware * Date : January, 11th 2011 * Instructor : S. Lavirotte * Duration : 1h30 Lecture and 2h Tutorial Ressources : * Slides of the lecture "From Web Services Middleware to Web Services for Device Middleware" [PDF] * Document for the Tutorial A : Tutorial A * Document for the Tutorial B : Tutorial B

Lecture 5 : Adaptive Middleware for Ubiquitous Computing

2011-01-19T14:23:32+02:00

Lecture 5 : Adaptive Middleware for Ubiquitous Computing * Date : January, 11th 2011 * Instructor : N. Ferry, J.-Y. Tigli * Duration : 3h Lecture Ressources : * Slides of the lecture "Adaptive Middleware for Ubiquitous Computing" References : A Perspective on the Future of Middleware-based Software Engineering. V. Issarny, M. Caporuscio, N. Georgantas. In Future of Software Engineering 2007 (FOSE) at ICSE (International Conference on Software Engineering). L. Briand and A. Wolf edi…

Tutorial 6 : Middleware for Ubiquitous Computing, WComp 2.4 and designers

2011-01-24T18:12:03+02:00

Tutorial 6 : Middleware for Ubiquitous Computing, WComp 2.4 and designers * Date : January, 25th 2011 * Instructor : V. Hourdin * Duration : 4h practical course Ressources : * Slides of the lecture "Tutorial 6 : Middleware for Ubiquitous Computing, WComp 2.4 and designers"

Middleware for Ubiquitous Computing

2012-01-17T18:35:17+02:00

Lecture 1 : Introduction to Middleware for Ubiquitous Computing * Date : January, 6th 2012 * Instructor : J.-Y. Tigli * Duration : 3h30 [Middleware for Distributed Computing] [Middleware for network of things and Ubiquitous Computing ] Lecture 2 : * Date : January, 9th 2012 * Instructors : S. Lavirotte * Duration : 3h30

Intervention pour le Master MBDS/HAITI de la Faculté des Sciences de l'Université d'Etat d'Haïti

2008-11-24T16:23:56+02:00

[|] Intervention pour le Master MBDS/HAITI de la Faculté des Sciences de l'Université d'Etat d'Haïti Enseignant : Jean-Yves Tigli email : tigli@polytech.unice.fr web : Volume : 3 heures de cours à distance

AMBIENT COMP - VALORPACA

2010-02-01T17:13:07+02:00

We have to choose some products for build a demonstration of our search result Pico PC Document : To add list of Pico PC Devices Domotic Devices - X10 technology - Delta Dore (X2D protocol) - AMD Remote Wonder Plus Sensor Device - Newsteo Other Devices - Twinlinx

Mon PLAN HDR

2010-04-02T08:50:49+02:00

Titre Intergiciel pour l'Informatique Ambiante Introduction : * Rappel sur l'histoire de l'Informatique comme Science (Cf. Berry) * Où placer la notion de Middleware ? (Cf. Tigli / Fête de la Science) * Objectif : Masquer et gérer la distribution = déjà idée de maintenir un modèle idéal du système au runtime fonction d'une infrastructure contrainte. (Sacha Krakoviak)

Plateformes Logicielles pour l'Informatique Mobile

2010-11-17T11:23:35+02:00

Cours 1 : Introduction Cours Introduction Cours 2 : Java Native Interface Cours JNI TD 2 : Java Native Interface TD JNI Cours 3 et TD 3 : Java Micro Edition (J2ME) J2ME Cours 4 et TD 4 : Windows Phone 7 TD Windows Phone 7 Référence :

Plateformes Logicielles pour l'Informatique Mobile

2011-11-06T10:49:55+02:00

Cours 1 : Introduction [Cours d'Introduction] Intervenant : Jean-Yves Tigli Cours 2 : Androïd [ Cours Android ] Intervenant : Arnaud Farine Cours 3 : IOs et Objective C Intervenant : Jeremy Templier Cours 4 : Windows Phone 7 TD Windows Phone 7

Programmation et environnements logiciels

2012-05-11T20:30:29+02:00

Rappels sur la programmation orientée Objet par la pratique en C# 14h * Introduction à .Net * Les bases de C# * Les concepts de la POO dans C# * Encapsulation et surcharge * L’héritage * Le polymorphisme * Classes abstraites et interfaces * Méthodes et Gestion d’erreurs * [Test]

UbiNet Students Project : Reactive Adaptation in Middleware for Ubiquitous Computing

2009-10-26T09:48:41+02:00

UbiNet Students Project : Reactive Adaptation in Middleware for Ubiquitous Computing Who? * Name : Jean-Yves Tigli, and Stéphane Lavirotte * Mail: tigli@polytech.unice.fr, lavirott@unice.fr * Telephone: +33684245567 * Web page: www.tigli.fr, www.lavirotte.com

Projet SI5 : WComp over Sup

2009-09-23T17:51:24+02:00

Date: 2008-2009 Titre : Web services UPnP et DPWS d'analyse de scène à partir de flux video et mise en oeuvre dans la plateforme pour l'assemblage de services pour dispositif WComp Résumé du projet SUP (Scene Understanding software Platform) est une plateforme logicielle d'analyse de scènes à partir d'un ensemble de flux vidéo basé sur des algorithmes de traitements issus des recherches menées dans l'équipe PULSAR. La plateforme se décompose en modules :

Projet SI5 : SynComp

2009-09-23T17:49:08+02:00

Date: 2008-2009 Titre : Composition et Validation formelle dans une plateforme d'assemblage de services pour dispositifs Résumé du projet Ce projet s'inscrit dans le cadre d'une collaboration entre l'équipe Pulsar et Rainbow pour la validation formelle de composition de services pour dispositifs, qui a donné lieu à une Action Color de 2007 à 2008 SynComp.

Projet SI5 : Projet WComp sur Khepera

2009-09-23T17:45:58+02:00

Date: 2008-2009 Titre : Plateforme d'assemblage de composants suivant le modèle LCA de WComp sous Linux sur robot Mobile Khepera . Résumé du projet Khepera III Khepera III est le dernier robot mobile destiné à la recherche et l'éducation et conçu par la société suisse K-TEAM. Le robot mesure 130mm de diamètre pour une hauteur de 70mm. Il est muni de 5 sondes ultra soniques, 2 capteurs infrarouges et 8 capteurs pour se repérer. Le robot fonctionne sous Linux et est comporte une connexion …

pub

2009-07-24T21:44:21+02:00

Publications et Communications antérieures à 2003

2008-12-20T11:10:42+02:00

Articles de Revue Internationales [1998] M.J. Rendas, J. Santos-Victor, J.-Y. Tigli, I. Lourtie, L. Pronzato, M.-C. Thomas, A. Bernardino and M. Ribo, “Uncertainty Modeling and Perceptual Guiding for Safe Operation in Unknown Environments”, International Journal on Intelligent Control Systems, vol 2, n'2, pp. 235-285, 1998. [ ].

Publications

2012-01-11T19:10:48+02:00

Base bibliographique Articles de Journaux et Revues Internationaux [2011] Nicolas Ferry, Jean-Yves Tigli, Stéphane Lavirotte, Gaëtan Rey, Michel Riveill. “Aspects of Assembly and Cascaded Aspects of Assembly: Logical and Temporal Properties” in International Journal of Computer Science Issues (IJCSI), 8 (4), pages 1--15, IJCSI, jul 2011 ISSN 1694-0814 (Acceptation Rate: 29 %)

Ma partie du rapport d'activité PULSAR 2009

2010-01-07T13:45:57+02:00

[Rapport] Multiple Services for Device Adaptive Platform for Scenario Recognition * Participants: Annie Ressouche, Jean-Yves Tigli Activity recognition and monitoring systems based on multi-sensor and multi-device approaches are more and more popular to enhance events production for scenario analysis. Underlying software and hardware infrastructures can be considered as static (no changes during the overall recognition process quasi-static (no changes during two reconfigurations of the pro…

Multiple-Device and adaptive platform of Services for Scenario recognition

2009-11-30T14:28:39+02:00

Activity recognition and monitoring systems based on multi-sensor and multi-device approaches are more and more popular to enhance events production for scenario analysis. Underlying software and hardware infrastructures can be considered as static (any change during the overall recognition process), quasi-static (any change during two reconfigurations of the process) or really dynamic (depending on dynamic appearance and disappearance of numerous sensors and devices in the scene, communicating …

rapport_d_activite_2010_2011

2010-05-19T08:15:11+02:00

Nos thèmes de recherche : Multi-dispositifs : Après les réseaux de capteurs ... The two mains challenges are (1) the heterogeneity of numerous objects and devices present in the environment and (2) the environment and context variability that can impact applications.

Récapitulatif

2008-12-09T12:04:40+02:00

Publications dans des revues et journaux internationaux Depuis 2003 Avant 2003 Total IEEE journal 1 1 World Scientific Journal 1 1 Springer Journal 1 1 Total 1 2 3 Publications dans des conférences internationales Depuis 2003 Avant 2003 Total ACM international conferences …

Réseaux et Internet :

2012-05-11T20:25:28+02:00

Réseaux WAN, LAN, PAN PAN : ex. USB, Bluetooth LAN : ex. Wifi, Ethernet, CPL (les courants porteurs) WAN : technologies ADSL, GSM et GPRS,... Cours 2h , TD 2h Réseau Internet IPv4/IPv6 , TCP, UDP Cours 1h , TD 3h Services réseaux SMTP HTTP ...

Robotique

2008-11-04T17:13:04+02:00

Description Responsable : Jean-Yves Tigli email : tigli@polytech.unice.fr Durée : 7 semaines (évaluation comprise) Evaluation : Travaux Pratiques et Examen écrit Volume : 21 heures Résumé Après une introduction des méthodes de modélisation mécanique des robots de type bras manipulateur ou robots mobiles à roues, ce module introduit des techniques d'inversion de modèle pour la mise en oeuvre de tâches robotiques dans l'espace opérationnel du robot et la génération de consignes dans l'…

Robotique

2010-12-15T14:33:34+02:00

Description Responsable : Jean-Yves Tigli email : tigli@polytech.unice.fr Durée : 8 semaines (évaluation comprise) Evaluation : Travaux Pratiques et Examen écrit Volume : 24 heures Résumé Après une introduction des méthodes de modélisation mécanique des robots de type bras manipulateur ou robots mobiles à roues, ce module introduit des techniques d'inversion de modèle pour la mise en oeuvre de tâches robotiques dans l'espace opérationnel du robot et la génération de consignes dans l'…

Robotique

2012-01-09T10:36:52+02:00

Thèse de Nadia et "événements"

2010-01-08T16:44:28+02:00

L'architecture de Nadia est la suivante : * Un module de reconnaissance de scenario, émettant des primitive event , state ou composite event (format 3) , state à partir des mesures issues du traitement video (format 1) * Un module de reconnaissance de scenario, émettant des primitive event , state ou composite event (format 3) , state à partir des mesures issues de capteurs (format 2 )

SC 2010

2010-01-13T07:43:13+02:00

Site Web Draft Paper TITLE : xxxxx Important Dates Paper Submission: January 29, 2010 Acceptance notification: March 24, 2010 Camera-ready copy: April 21, 2010 Conference Dates: June 28-July 2, 2010 Topics of Interest: The SC 2010 program committee seeks original, high quality papers related to Software Composition, such as but not limited to the following:

schema_de_description_des_scenarios

2010-01-07T12:01:59+02:00

”>

Stage Ingénieur : Plateforme SYNCOMP

2009-10-06T17:23:55+02:00

Date: 2009-2010 Durée: 6 mois Titre : Plateforme de composition de services pour dispositifs et de validation pour l’interprétation de scènes pour la reconnaissance d’activités en informatique ambiante Résumé du projet SUP (Scene Understanding software Platform) est une plateforme logicielle d'analyse de scènes à partir d'un ensemble de flux vidéo basé sur des algorithmes de traitements issus des recherches menées dans l'équipe PULSAR. La plateforme se décompose en modules :…

Jean-Yves Tigli, Maître de Conférences en Informatique

2012-05-12T09:14:16+02:00

Jean-Yves Tigli, Maître de Conférences en Informatique Depuis 2007, Titulaire de la PEDR puis de la PES Porteur du projet ANR Continuum (Programme VERSO, Continuum ANR-08-VERS-005), 12-2008/09-2012 Porteur du projet STIC-ASIA – UbiFlood (financé par le Ministère des Affaires Etrangères et le CNRS), 2010-2012 Université de Nice Sophia Antipolis Laboratoire I3S - Unité Mixte de Recherche (UMR 6070) Equipe RAINBOW Ecole Polytechnique Universitaire – Département Informatique Je…

Student Projects

2010-01-27T18:19:39+02:00

Student Projects Students must provide : * A Proved Bean Component (lustre checked code, corresponding C code generated, corresponding Bean code) * A sample WComp assembly to illustrate how this proved component works. * A document with all necessary explanations

Minutes of the meeting SUPComp 120909

2009-12-09T18:07:47+02:00

Date : 120909 Who ? : Annie, Erwan, Zouhaire, Jean-Yves SUP introduction SUP is the new software platform of the Team Pulsar. It's the VSIP plateform reengineered without the Genius commrecial part (even if temporarly, genius is always in the SUP platform)

SynComp

2009-11-18T14:05:26+02:00

Cours Annie sur Lustre Tutorial Lustre SyncCharts have been introduced in an invited paper presented at CESA'96, IEEE-SMC, Lille(F), july 9-12, 1996, entitled:“Representation and Analysis of Reactive Behaviors: A Synchronous Approach ”, Charles André. (you can get the postscript file of the associated research report: tr96-28, 11 pages).

Projet SI5 :

2009-09-23T12:29:27+02:00

Date: 2008-2009 Résumé du projet * Un stage est envisageable après le projet Informations Complémentaires Nom des encadrants * Annie Ressouche, chargé de recherche à l'INRIA Sophia Antipolis - Méditerranée, équipe PULSAR * Jean-Yves Tigli, enseignant chercheur à Polytech'Nice Sophia Antipolis, équipe RAINBOW en délagation dans l'équipe PULSAR

test

2009-12-06T12:43:26+02:00

” xml:lang=“fr”> Stéphane Lavirotte: Master Ubinet: Reactive Adaptation in Middleware for Ubiquitous Computing

Discussion Ewan Nadia 120110

2010-01-12T13:02:04+02:00

Deux questions : * Format des flux de mesure (en entrée du module de reconnaissance de scenario) : Quel est le timestamp associé au numéro de Frame du fichier de mesure issu du flux vidéo ? En fait il n'apparaît pas dans les format1* mais Nadia utilise le Timestamp des images. Erwan explique que pour chaque Frame il y a une structure en C++ qui donne le Time Stamp.

Titres Universitaires

2008-03-28T12:36:46+02:00

Internship Offers

2011-09-29T10:42:02+02:00

Nov 2009 : Reactive Adaptation in Middleware for Ubiquitous Computing Oct 2009 : Projet SynComp Oct 2009 : Projet WComp over Sup Oct 2009 : Projet WComp sur Khepera

Ubiflood

2012-02-07T10:00:51+02:00

Official Web Site Documents about Ubiflood [Project Proposal] [Project Report By Suresh] Slides about Ubiflood [Project Slides] [Project Poster] Video about ubiflood UbiFlood Video Flood Sensitivity Matrix [ Bangkok] [Singapore] [Bangalore]

UbiNet Internship 2010

2009-12-02T17:14:20+02:00

Who? Name: Jean-Yves Tigli and Stéphane Lavirotte Mail: tigli@polytech.unice.fr, lavirott@unice.fr Telephone: +33684245567 Web page: www.tigli.fr, www.lavirotte.com Where? Place of the project: I3S, Bât Templier of Polytech'Nice sophia Antipolis

Ubiquituous Computing Lab : Ubiquarium

2009-09-16T18:18:48+02:00

* Official Web Site : Official Web pages of Ubiquarium Main objectives The Ubiquarium comprises various devices and services, which can be discovered and composed at runtime. Those devices can either be virtual devices (3D scene objects in which the user is immersed), or physical devices worn by the user or present in his immediate environment. All devices of the Ubiquarium, physical or virtual, are based on Web Services interfaces which limit ad-hoc programming. The current Ubiquarium reli…

ubiquarium_ubiquituous_computing_lab_google0551b0a9ff520b8e.html

2009-07-24T09:07:01+02:00

ubiquitous web services

2010-03-25T13:40:38+02:00

ubiquitous web services An ECA-based framework for decentralized coordination of ubiquitous web services Jae-YoonJung JonghunPark Seung-KyunHan KangchanLee Réference Jae-Yoon Jung, Jonghun Park, Seung-Kyun Han, Kangchan Lee, An ECA-based framework for decentralized coordination of ubiquitous web services, Information and Software Technology, Volume 49, Issues 11-12, November 2007, Pages 1141-1161, ISSN…

UML extensions for ubiquitous computing

2009-12-27T19:25:45+02:00

References Paulo Pinheiro da Silva, Norman W. Paton: UMLi: The Unified Modeling Language for Interactive Applications. UML 2000: 117-132 paper Wagelaar, D. 2004. Towards a Context-Driven Development Framework for Ambient Intelligence. In Proceedings of the 24th international Conference on Distributed Computing Systems Workshops - W7: EC (Icdcsw'04) - Volume 7 (March 23 - 24, 2004). ICDCSW. IEEE Computer Society, Washington, DC, 304-309. paper

Cours UNIT

2010-01-08T18:30:36+02:00

Introduction aux Middlewares Introduction aux Middlewares Middlewares pour l'Informatique Distribuée Middlewares pour l'Informatique Distribuée Middleware pour plateformes mobiles Middleware pour plateformes mobiles Middleware pour Informatique Ambiante Middleware pour Informatique Ambiante

WComp (Software Platform for Ubiquituous Computing)

2009-07-24T08:45:15+02:00

* Official Web Site : Official Web pages of WComp Main objectives The paradigm, which allows the management of the orchestration of those web-services for devices, is particularly relevant when it is based on an assembly of components, namely associated with a dynamic composition language. According to contexts and available devices, different aspects of the application can be selected, applied and then woven to adapt the application. WComp is a prototyping environment for context-aware appl…

wcomp_software_platform_for_ubiquituous_computing_google0551b0a9ff520b8e.html

2009-07-24T08:59:50+02:00

Students Projects

2011-02-01T16:15:05+02:00

Rules of the projects : * students must compose groups of 3 students * students must choose 5 papers in the list below and send to JY Tigli by email (To : tigli@polytech.unice.fr, Subject : [MUC Paper and Group] ) the list of the students in the group and the 5 chosen papers, before the 16th of january, in the evening.