researcher / Michel Riveill

Michel Riveill

at_id:

orcid_id:

Disciplines:

Applied sciences
Common sciences and techniques
Computer sciences
Edit Merge See Links

Thesis:

Conker : un modèle de répartition pour processus communicants : application à OCCAM

Directed Thesis:

Détection des effets indésirables des médicaments dans les notes cliniques
Un modèle de raisonnement pour les opérateurs de composition logicielle décrits en boite noire
Préserver la séparation des préoccupations durant l’intégration de domaines hétérogènes dans les systèmes logiciels
Gestion du contrôle de la diffusion des données d’entreprises et politiques de contrôles d’accès
Passage à l’échelle des systèmes de recommandation avec respect de la vie privée
Résolution des interférences pour la composition dynamique de services en informatique ambiante
Composition d'applications multi-modèles dirigée par la composition des interfaces graphiques
Composition d'applications et de leurs interfaces homme-machine dirigée par la composition fonctionnelle
Intégration sécurisée et fiable des réseaux de capteurs sans fil dans des applications d'entreprise
Adaptations dynamiques au contexte en informatique ambiante : propriétés logiques et temporelles
Contexte et sécurité dans les intergiciels d'informatique ambiante
Construction et validation de modèles guidées par l'application idempotente de transformations
Adaptation dynamique par tissage d'aspects d'assemblage
Une architecture pour le transfert électronique sécurisé de document
Capitalisation de la sûreté de fonctionnement des applications soumises à des adaptations dynamiques : le modèle exécutable Satin
Un modèle de réécriture pour l'intégration de services
Une architecture pour le support de la régulation dans les collecticiels
Coopeer : une architecture d'égal à égal pour la conception collaborative : méthode optimiste de résolution automatique des conflits pour la cohérence de données répliquées
Cohérence des données dans les services coopératifs télécom pour les utilisateurs mobiles
Reconfiguration d'applications réparties : application au bus logiciel CORBA
Prise en compte des sources de donnees indisponibles dans les systemes de mediation
L'auto-organisation de groupes pour l'allocation de taches dans les systemes multi-agents : application a corba
Modélisation des activités conjointes dans les collecticiels. : Rôles, places et positions des participants
Protocole multipoint fiable et ordonne pour applications cooperatives asynchrones
Architectures systèmes pour la construction et l'exécution de collecticiels