Technique et science informatiques
Sommaire Volume 30 – n° 3/2011
SYSTÈMES DISTRIBUÉS ET MOBILES
241 Éditorial – DJAMAL BENSLIMANE
243 La validation dynamiquement adaptable des transactions mobiles.
Une approche sensible au contexte utilisant des politiques d’adaptation A policy-based context-aware approach for the commitment of mobile transactions
NADIA NOUALI-TABOUDJEMAT,OMAR NOUALI,HABIBA DRIAS
275 Communication « basée contenus » dans les réseaux mobiles ad hoc discontinus
Content-based communication in disconnected mobile ad hoc network FRÉDÉRIC GUIDEC,JULIEN HAILLOT
309 Un assistant méthodologique UML. Modélisation et vérification formelle de protocoles guidées par des patrons
A methodological assistant for UML. Pattern-driven modeling and formal verification of protocols
LUDOVIC APVRILLE,PIERRE DE SAQUI-SANNES
339 De l’intelligence collective pour le transport à la demande Collective intelligence for the demand-responsive transit BESMA ZEDDINI,MAHDI ZARGAYOUNA,MONCEF TEMANI, ADNAN YASSINE
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com
Cet article des Editions Lavoisier est disponible en acces libre et gratuit sur tsi.revuesonline.com