En cours de chargement...
- Modélisation et support d'applications multimédias réparties Conception de protocoles de cohérence de MVP par traduction d'une spécification Gamma à l'aide d'aspects
- Mise en cohérence et analyse de traces logicielles multi-niveaux
- Specification model and platform for distributed multimedia applications
- Designing SVM coherence protocols with aspect-oriented translation of Gamma specification
- Consistency enforcement and analysis of multi-level software-based traces.