Outils pour utilisateurs

Outils du site


middleware_for_ubiquitous_computing_course

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision Les deux révisions suivantes
middleware_for_ubiquitous_computing_course [2010/01/17 10:56]
tigli
middleware_for_ubiquitous_computing_course [2010/01/17 10:57]
tigli
Ligne 4: Ligne 4:
  
 [[Course 1 |Draft Course 1]] [[Course 1 |Draft Course 1]]
 +
 [[Course 2 |Draft Course 2]] [[Course 2 |Draft Course 2]]
 +
 [[Course 3 |Draft Course 3]] [[Course 3 |Draft Course 3]]
 ====== References : ====== ====== References : ======
Ligne 156: Ligne 158:
  
 AMIGO6 IST, European Commission under FP6 contract numbers 004182, [[http://​www.hitech-projects.com/​euprojects/​amigo/​|link]] AMIGO6 IST, European Commission under FP6 contract numbers 004182, [[http://​www.hitech-projects.com/​euprojects/​amigo/​|link]]
- 
-====== Course 1 ====== 
- 
-===== 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] 
- 
-=== First Definitions === 
- 
-=== Middleware Taxonomies === 
- 
-  * W. Emmerich Taxonomy (2000) 
-  * D.E. Baken (2001) 
-  * R. E. Schantz and D. C. Schmidt Taxonomy (2002) 
- 
-== Transactional Middleware == 
-== Tuplespace-based Middleware == 
-== Message-oriented Middleware == 
-== Remote procedure Calls Middleware == 
-== Object oriented Middleware == 
- 
-== Component oriented Middleware == 
-== Service-oriented Middleware == 
- 
-=== Exercices === 
- 
- 
-=== 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 editors, IEEE-CS Press. 2007. [[http://​www-roc.inria.fr/​arles/​members/​issarny/​issarny_et_al-FOSE07.pdf|link]] 
- 
-[[http://​sardes.inrialpes.fr/​~krakowia/​MW-Book/​Chapters/​Preface/​preface.html|E-book]]: ​ Middleware Architecture with Patterns and Frameworks, Prof. Sacha Krakowiak 
- 
-==== What does Ubiquitous Computing Mean ? ==== 
- 
- 
-=== Exercices === 
- 
-=== videos === 
- 
-The following scenes together are a complete [[http://​www.ubiq.com/​hypertext/​weiser/​UbiMovies.html|movie about ubiquitous computing at Xerox PARC]] 
- 
-=== References === 
- 
-GATECH Course about Ubiquitous computing [[http://​www.cc.gatech.edu/​classes/​cs6751_97_fall/​projects/​say-cheese/​marcia/​mfinal.html|course]] 
- 
- 
-==== What does Middleware for Ubiquitous Computing Mean ? ==== 
- 
-=== New motivations === 
- 
-  * High level device and ressource abstractions matching the application computational model  
-  * device and ressource abstraction is often transparency in multiple access  ​ 
-  * Distribution with or without nertwork ... 
- 
-=== Example in  distributed systems === 
- 
-=== Example in  OS and Virtual Machine ​ === 
- 
-=== Example in  HMI === 
- 
-  * application computational model : widgets ​ 
-  * low level device drivers : mouse and screen ​ 
-  * Middleware :  ​ 
- 
-=== Example ​ in  Robotics ​ === 
- 
- 
-==== Trends on the future of Middleware ==== 
- 
-==== From Mobility to Ubiquity ​ ==== 
- 
-==== New Requirements ​ ==== 
- 
-=== Exercices === 
- 
-=== Projets de recherche : === 
-OpenCOM and ReMMoC Web Page,  Paul Grace and Gordon S. Blair - [[http://​www.comp.lancs.ac.uk/​computing/​research/​mpg/​projects/​opencom/​|link]] 
- 
-ARLES Project-Team,​ V. Issarny, ​ [[http://​www-roc.inria.fr/​arles/​|link]] 
- 
-Project AMAZONES, Citi Lab, INSA Lyon, Frenot Stéphane, Le Mouel Frédéric ​ [[http://​www.citi.insa-lyon.fr/​teams/​amazones/​|link]] 
- 
  
 ====== Course 2 : Formal Methods for Middleware verification ====== ====== Course 2 : Formal Methods for Middleware verification ======
middleware_for_ubiquitous_computing_course.txt · Dernière modification: 2010/01/17 11:00 par tigli