1. RIVF 2003:
Hanoi,
Vietnam
Actes de la Première Conférence Internationale RIVF'03 Rencontres en Informatique Vietnam-France, RIVF'03, Hanoi, Vietnam, 10-13 Février, 2003.
Editions Suger, Paris 2003, ISBN 2-912590-15-9 BibTeX
@proceedings{DBLP:conf/rivf/2003,
title = {Actes de la Premi{\`e}re Conf{\'e}rence Internationale
RIVF'03 Rencontres en Informatique Vietnam-France, RIVF'03, Hanoi,
Vietnam, 10-13 F{\'e}vrier, 2003},
booktitle = {RIVF},
publisher = {Editions Suger, Paris},
year = {2003},
isbn = {2-912590-15-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Prométhée Spathis, Kim Loan Thai:
MAF: Un Protocole de Multicast Fiable.
1-6
Electronic Edition (link) BibTeX
- Trung Ha Quoc:
Recursions Removal in Fast Matrix Multiplication without Stacks.
7-10
Electronic Edition (link) BibTeX
- Cyril Briand, Hoang Trung La:
Une Procédure Par Séparation Et Évaluation Progressive Pour l'Ordonnancement Robuste De Problèmes À Une Machine.
11-16
Electronic Edition (link) BibTeX
- Nhat Linh Doan, Dritan Nace:
Calcul de Routages Equitables dans les Réseaux Internet.
17-22
Electronic Edition (link) BibTeX
- Jean Caelen, Ngoc-Hoa Nguyen:
Vers Une Architecture Generique De Systeme De Dialogue Homme-Machine.
23-26
Electronic Edition (link) BibTeX
- Ta Tuan Anh:
Une Navigation Par "Itineraires" Dans Un Web Communautaire.
27-32
Electronic Edition (link) BibTeX
- Thanh-Nghi Do, François Poulet:
Fouille de textes avec proximal support vector machines.
33-36
Electronic Edition (link) BibTeX
- Thanh Son Nguyen:
MC - Marché de connaissances.
37-42
Electronic Edition (link) BibTeX
- Huy-Hoang Nguyen:
Survey of Co-ordination of En Route Air Traffic Conflicts Resolution Modelling Methods.
43-48
Electronic Edition (link) BibTeX
- Huy Trandac, Philippe Baptiste, Vu Duong:
Airspace Sectorization By Constraint Programming.
49-58
Electronic Edition (link) BibTeX
- Minh Nguyen-Duc, Vu Duong, Jean-Pierre Briot, Alexis Drogoul:
Multi-Agent coordination techniques applied to Air Traffic Control.
59-64
Electronic Edition (link) BibTeX
- Ha Le-Hong:
Immersive Virtual Environment Technologies and Applications in Air Traffic Management.
65-70
Electronic Edition (link) BibTeX
- Nguyen Thong Dang:
3d Interaction In Immersive Virtual Environment For Air Traffic Controller.
71-76
Electronic Edition (link) BibTeX
- Thi Viet Nga Nguyen, François Irigoin:
Advanced Program Analyses and Verifications.
77-82
Electronic Edition (link) BibTeX
- Duc-Duy Vo:
Analysis of program based on Synchronous Active Objects.
83-92
Electronic Edition (link) BibTeX
- Christophe Lecerf, Thi Minh Luan Nguyen:
Complex Systems Modeling.
93-98
Electronic Edition (link) BibTeX
- Thuy Lien Pham, Marc Bui, Michel Lamure:
Overview of Game Theory and Using to model the Knowledge of multi-agent system.
99-103
Electronic Edition (link) BibTeX
- Duong Hieu Phan, David Pointcheval:
Une comparaison entre deux méthodes de preuve de sécurité.
105-110
Electronic Edition (link) BibTeX
- Van Tuyet Dao, Van Lang Tran:
Multiagent Model and the preditive problem solving.
111-118
Electronic Edition (link) BibTeX
- Simone Sédillot, S. Cao Kim:
Profile Data Management for Telecom Services.
119-126
Electronic Edition (link) BibTeX
- Thi Mai Trang Nguyen, Guy Pujolle, Nadia Boukhatem, Dominique Gaïti:
Contrôle des réseaux IP fixes et Mobiles.
127-132 BibTeX
- Thi Tuyet Loan Pham:
Optimisation and Survivability of Telecommunication Networks.
133-138
Electronic Edition (link) BibTeX
- Sylvie Delaët, Duy-So Nguyen, Sébastien Tixeuil:
Stabilite Et Auto-Stabilisation Du Routage Inter-Domaine Dans Internet.
139-144
Electronic Edition (link) BibTeX
- Si Hoàng Do, Marc Bui, Paul Kopff:
A Based-On Agent Framework For Home Networking.
145-148
Electronic Edition (link) BibTeX
- Jean-Marie Garcia, Le Ha Duc, David Gauchard, Olivier Brun:
Modélisation Analytique Du Protocole Tcp New Reno Et Etude Comparative Avec Le Simulateur Ns (Network Simulator).
149-154
Electronic Edition (link) BibTeX
- Thanh Ha Dang, Dinh Khang Tran:
Une Approche d'Extension des Définitions de Dépendance de Données.
155-158
Electronic Edition (link) BibTeX
- Pham Thi Xuan Loc, Philippe Mauran, Gérard Padiou:
Sûreté de Service des Composants.
159-162
Electronic Edition (link) BibTeX
- Phuong-Quynh Duong, Elizabeth Pérez Cortés, Christine Collet:
Adaptable Fault Tolerance Requirements on Component Models.
163-166
Electronic Edition (link) BibTeX
- H. Tran Viet:
Gestion de la Mobilité dans l'ORB Flexible Jonathan.
167-176
Electronic Edition (link) BibTeX
- Tuyet-Trinh Vu, Christine Collet:
Query Brokers for Distributed and Flexible Query Evaluation.
177-182
Electronic Edition (link) BibTeX
- Thanh Ha Dang:
Ve Phep Tach va Phep Ket Noi trong Quan He co Thuoc Tinh Mo.
183-186
Electronic Edition (link) BibTeX
- Minh Phung Bui Thi:
Structuration Sémantique des Contenus de la Vidéo.
187-198
Electronic Edition (link) BibTeX
- Dinh-Thue Nguyen:
Determining of Translation and Rotation of an Object from It's Radon Transform via Neural Network.
199-202
Electronic Edition (link) BibTeX
- Thi Thanh Hai, Augustin Lux:
Extraction de Caractéristiques Locales: Crêtes et Pics.
203-211
Electronic Edition (link) BibTeX
- De Cao Tran, Kinji Ono:
Content-Based Image Retrieval: Object representation by the Density of Feature Points.
213-218
Electronic Edition (link) BibTeX
- Bernard Moreau:
Maîtrise de la Qualité Logicielle au Centre de Recherche du Groupe France Télécom.
219-222
Electronic Edition (link) BibTeX
- Huy-Vu Do, Nguyen Thanh Binh, Chantal Robach, Michel Delaunay:
Analyse de la Testabilité des Logiciels Flots de Données Synchrones.
223-232
Electronic Edition (link) BibTeX
- Quyet Thang Huynh, Phung Hiep Hoang, Minh Duc Duong:
Quy Trinh Phat Trien Phan Mem BKSPD Cho Du An Vua va Nho.
233-238
Electronic Edition (link) BibTeX
- Hanh Nhi Tran, Bernard Coulette, Xavier Crégut, Dong Thi Bich Thuy, Tran Dan Thu:
Modélisation du Méta-Procédé Rhodes Avec SPEM.
239-246
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:35:56 2009
by Michael Ley (ley@uni-trier.de)
