Publications de l'équipe Progress pour l'année 2005

Années: 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013

  1. X. Blanc. Equations aux dérivés partielles elliptiques non linéaires. Applications à la modélisation des solides et aux condensats de Bose-Einstein. PhD thesis, Université Sciences et Technologies - Bordeaux I, 2005.
  2. N. Georgantas, S. Ben Mokhtar, D. Bromberg, V. Issarny, J. Kalaoja, J. Kantorovitch, A. Gérodolle, and R. Mevissen. The amigo service architecture for the open networked home environment. In Fifth Working IEEE / IFIP Conference on Software Architecture : WISCA 2005, pages 295-296, 2005.
  3. D. Bromberg and V. Issarny. Service discovery protocol interoperability in the mobile environment. In 4th International workshop on software engineering and middleware : SEM 2004, pages 64-77, 2005.
  4. D. Négru, A. Mehaoua, and E. Pallis. Mipv6 extensions for seamless ip mobility in converged dvb-t/wlan networks. In 14th IST Mobile & Wireless Communications Summit, 2005.
  5. S. Ammour, X. Blanc, and M. Ziane. Transformations de modèles uml outillées: Retour d'expériences. In S. S. Alexandre Vautier, editor, MajecSTIC 2005 : Manifestation des Jeunes Chercheurs francophones dans les domaines des STIC, pages 159-166, 2005.
  6. B. Benmammar and F. Krief. Gestion dynamique du handover horizontal et vertical basée sur le profil de mobilité de l'utilisateur. In Colloque GRES 2005 : Gestion de REseaux et de Services, 2005.
  7. G. Muller and J. Lawall. The bossa framework for scheduler development. In Ecole d'été Temps Réel 2005, pages 23-29, 2005.
  8. J. Lawall, G. Muller, and R. Urunuela. Tarantula: killing driver bugs before they hatch. In The 4th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS), pages 13-18, 2005.
  9. J. Lawall, H. Duchesne, G. Muller, and A. F. Le Meur. Bossa nova: introducing modularity into the bossa domain-specific language. In R. Glück and M. Lowry, editors, 4th International Conference, GPCE 2005, volume 3676 of lncs, pages 78-93. pub.springer, 2005.
  10. J.-P. Bodeveix, M. Filali, J. Lawall, and G. Muller. Applying the b formal method to the bossa domain-specific language. In The 17th Nordic Workshop on Programming Theory (NWPT'05), pages 35-38, 2005.
  11. J.-P. Bodeveix, M. Filali, J. Lawall, and G. Muller. Formal methods meet domain specific languages. In The 5th International Conference on Integrated Formal Methods, pages 187-206, 2005.
  12. G. Muller, J. Lawall, and H. Duchesne. A framework for simplifying the development of kernel schedulers: Design and performance evaluation. In 9th IEEE International Symposium on High-Assurance Systems Engineering, pages 56-65, 2005.
  13. G. Muller, J. Lawall, and H. Duchesne. A framework for simplifying the development of kernel schedulers: Design and performance evaluation. In Tenth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2005), pages 219-227, 2005.
  14. I. Berrada, R. Castanet, and R. Castanet. Definition of interoperability testing. In Marie Curie TAROT Summer School, 2005.
  15. F. Saad Khorchef and X. Delord. Une méthode de test de robustesse adaptée aux protocoles de communication – application au protocole tcp. In Colloque Francophone sur l'Ingénierie des Protocoles de Communication 2005 (CFIP 2005), pages 101-109, 2005.
  16. S. Chaumette and D. Sauveron. Some security problems raised by open multiapplication smart cards. In 10th Nordic Workshop on Secure IT-systems (NordSec 2005), pages 1-12, 2005.
  17. D. Magoni and P. Lorenz. Distributed addressing and routing architecture for internet overlays. In 4th International Conference on Networking, volume 3420, pages 646-653, 2005.
  18. S. Chaumette and P. Vigneras. Behavior model of mobile agent systems. In R. J. Hamid R. Arabnia, editor, International Conference on Foundation of Computer Science (FCS 2005), pages 135-142. CSREA Press, 2005.
  19. I. Berrada, R. Castanet, and P. Félix. Testing communicating systems : a model, a methodology and a tool. In TESTCOM, LNCS, pages 115-130. Springer, 2005.
  20. A. Mehaoua, T. Ahmed, A. h. Asgari, G. Kormentzas, and G. Xilouris. Inter-domain qos monitoring system for supporting service assurance and resource management across heterogeneous networks. In in International Workshop on 'Next Generation Networking Middleware' (NGNM05),, 2005.
  21. T. Ahmed, A. h. Asgari, E. Borcoci, S. Eccles, G. Kormentzas, A. Kourtis, A. Mehaoua, and G. Xilouris. Enthrone core networking elements for end-to-end qos provision over heterogeneous settings. In in IST Mobile & Wireless Communications Summit, 2005.
  22. H. Moungla and F. Krief. Détection et résolution de conflits dans la gestion par politiques des réseaux diffserv. In Journées Doctorales Informatiques et Réseaux, 2005.
  23. Z. Jrad, F. Krief, and S. Guerif. Une interface utilisateur pour faciliter l'accès à l'internet nouvelle génération. In Journées Doctorales Informatique et Réseaux, 2005.
  24. B. Benmammar and F. Krief. Gestion dynamique du handover horizontal et vertical basée sur le profil de mobilité de l'utilisateur. In 6ème Colloque Francophone sur la Gestion de Réseaux et Services, pages 159-170, 2005.
  25. N. Samaan, B. Benmammar, F. Krief, and A. Karmouch. An advanced resource reservatiion protocol in wireless integrated networks based on hosts mobility prediction. In IEEE Anual Canadian Conference on Electrical and Computer Engineering, 2005.
  26. H. Moungla and F. Krief. A probabilistic heuristic for conflict detection in policy based management of diffserv networks. In IEEE/IFIP International Workshop on Mobility Aware Technologies and Applications, LNCS 3744, pages 394-404, 2005.
  27. H. Moungla and F. Krief. Conflict detection and resolution in qos policy based management. In International Symposium on Personal Indoor and Mobile Radio Communications, 2005.
  28. N. Mbarek and F. Krief. Sln nslp: A service level negotiation signaling protocol in the nsis environment. In IEEE International Conference on Telecommunications, 2005.
  29. F. Krief. Learning agents and autonomic networking. In International Conference on Telecommunication Systems, Modeling and Analysis, pages 210-218, 2005.
  30. Z. Jrad, B. Benmammar, J. Correa, F. Krief, and N. Mbarek. A user assistant for qos negotiation in a dynamic environment using agent technology. In IFIP International Conference on Wireless and Optical Communications Networks, 2005.
  31. B. Benmammar and F. Krief. Qos management for mobile users. In I. .-.-.-.-. SpringerVerlag, editor, IFIP International Conference on Network Control and Engineering for QoS, Security and Mobility, pages 101-112, 2005.
  32. B. Benmammar and F. Krief. An advanced resource reservation protocol in wireless networks based on user mobility profile. In IEEE Workshop on Applications and Services in Wireless Networks, 2005.
  33. B. Benmammar and F. Krief. Mqos nslp: A mobility profile management based approach for advance resource reservation in a mobile environment. In 7th IEEE/IFIP International Conference on Mobile and Wireless Communications Networks, 2005.
  34. B. Benmammar and F. Krief. Advance resource reservation in a wman environment based on the qos nslp signaling application and the ctp protocol. In IFIP Open Conference on Metropolitan Area Networks Architecture, protocols, control and management, pages 253-272, 2005.
  35. C. Consel, F. Latry, L. Réveillère, and P. Cointe. A generative programming approach to developing dsl compilers. In International Conference on Generative Programming and Component Engineering (GPCE), pages 29-46, 2005.
  36. E. Borcoci, H. Asgari, N. Butler, T. Ahmed, A. Mehaoua, G. Kourmentzas, and S. Eccles. Service management for end-to-end qos multimedia content delivery in heterogeneous environment. In AICT-SAPIR-ELETE, pages 46-52, 2005.
  37. D. Magoni and P. Lorenz. Application layer addressing, routing and naming framework for overlays. In 48th IEEE Global Telecommunications Conference, pages 66-71, 2005.
  38. A. Casteigts and S. Chaumette. Dynamicity aware graph relabeling systems - a local computation-based model to describe manet algorithms. In S. Zheng, editor, 17th IASTED International Conference on Parallel and Distributed Computing Systems (PDCS'05), pages 231-236. IASTED/ACTA Press, 2005.
  39. E. Atallah, F. Darrigade, S. Chaumette, A. Karray, and D. Sauveron. A grid of java cards to deal with security demanding application domains. In 6th e-Smart International Conference (e-Smart 2005), pages 1-7, 2005.
  40. L. Dehni, Y. Bennani, and F. Krief. Low energy adaptive connectionist clustering for wireless sensor networks. In IEEE/IFIP MATA 2005 : 2nd International Workshop on Mobility Aware Technologies and Applications, 2005.
  41. L. Dehni, F. Krief, and Y. Bennani. Power control and clustering in wireless sensor networks. In Med-Hoc-Net 2005 : Mediterranean Ad Hoc Networking Workshop, 2005.
  42. L. Dehni, F. Krief, and Y. Bennani. Power control and clustering in wireless sensor networks. In Med-Hoc-Net 2005 : Mediterranean Ad Hoc Networking Workshop, 2005.
  43. D. Sauveron and S. Chaumette. An efficient and simple way to test the security of java cards (tm). In L. J. G. Eduardo Fernandez-Medina, Julio César Hernandez, editor, 3rd International Workshop on Security in Information System (WOSIS 2005), pages 331-341. INSTICC Press, 2005.
  44. D. Sauveron, S. Chaumette, P. Grange, A. Karray, and P. Vigneras. Secure distributed computing on a java card (tm) grid. In 7th International Workshop on Java for Parallel and Distributed Computing (IWJPDC 2005), held in conjunction with the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2005), pages 1-8. IEEE Computer Society, 2005.
  45. F. Krief. Application des agents dans la gestion par politique. In H. Science, editor, Intelligence dans les réseaux, pages 103-136. Lavoisier, 2005.
  46. L. Burgy, C. Consel, F. Latry, N. Palix, and L. Réveillère. Telephony over ip: Experience and challenges. In ERCIM NEws, pages 53-54. European Research Consortium for Informatics and Mathematics, 2005.
  47. T. Ahmed, R. Boutaba, and A. Mehaoua. A measurement-based approach for dynamic qos adaptation in diffserv networks. Computer Communications, Volume 28(Issue 18), 2005.
  48. T. Ahmed, A. Mehaoua, R. Boutaba, and Y. Iraqi. Adaptive packet video streaming over ip networks: a cross-layer approach. IEEE Journal on Selected Areas in Communications, 23(Issue 2,), 2005.
  49. D. Magoni. Network topology analysis and internet modelling with nem. International Journal of Computers and Applications, 27(4):252-259, 2005.
  50. D. Magoni and P. Lorenz. Multicast state distribution by joins using multiple shortest paths. Journal of Interconnection Networks, 6(2):115-129, 2005.
  51. D. Magoni and M. Hoerdt. Internet core topology mapping and analysis. Computer Communications, 28(5):494-506, 2005.
  52. A. Aftalion, X. Blanc, and J. Dalibard. Vortex patterns in a fast rotating bose-einstein condensate. Physical Review A: Atomic, Molecular and Optical Physics, 71:023611, 2005.

Années: 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013

Page mise à jour le 11/12/2017 à 16:25