2005
-
Corps de décomposition de groupe de Galois PSL(2,7)
A. Valibouze -
Bases de données : de l'objet à l'interopérabilité
B. Defude -
Transformation de propriétés CTL lors d'une méthode de conception incrémentale
C. Braunstein, E. Encrenaz -
Une Condition Suffisante de Vivacité pour les Graphes d'événements généralisés
O. Marchetti, A. Munier-Kordon -
Minimisation de la Capacité des Places d'un Graphe d'Evenenements Généralisé.
O. Marchetti, A. Munier-Kordon -
Actes du Consortium des Doctorants associé à la 5ème Conférence Internationale et
Interdisciplinaire sur la Modélisation et l'Utilisation du Contexte (CONTEXT-05
C. Ghidini, B.-L. Doan, P. Brézillon -
Actes des Brevia and Demonstrations associé à la 5ème Conférence Internationale et
Interdisciplinaire sur la Modélisation et l'Utilisation du Contexte (CONTEXT-05)
A. Dey, B. Kokinov, D. Leake, R. Turner, P. Brézillon -
Diagrammes de Décision de Données pour l'analyse de systèmes ProMeLa
V. Beaudenon, E. Encrenaz, S. Taktak -
Approche polyédrale pour un problème de lot-sizing à capacité finie avec temps de setup et coûts de ruptures.
N. Absi, S. Kedad-Sidhoum -
Méthode de réplication basée sur les plans pour la tolérance aux pannes des systèmes multi-agents
A. Luna Almeida, S. Aknine, J.-P. Briot, J. Malenfant -
Une nouvelle extension de ML avec des traits orientés objets de FOCAL
S. Fechter
Tous les rapports ont un résumé en français.