Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 2123
Conférences

le (1h8m54s)

Theoretical Foundations for Runtime Monitoring

Runtime monitoring/verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel questions to software engineers: it is not easy to see which specifications are amenable to runtime monitoring, and it is not clear which monitors perform the required runtime analysis correctly. In this talk, I will present a theoretical framework that can be used to provide answers to those questions. I will view monitorability as a spectrum: the fewer monitor guarantees are required, the more properties become monitorable. I will then present a monitorability hierarchy ...
Voir la vidéo
Conférences

le (49m58s)

Le lieu d’accueil et d’éducation des jeunes enfants comme lieu d’égalité de chances, de soutien social et de cohésion sociale en contexte de diversité croissante / Michel Vandenbroeck

Le lieu d’accueil et d’éducation des jeunes enfants comme lieu d’égalité de chances, de soutien social et de cohésion sociale en contexte de diversité croissante / Michel Vandenbroeck, in colloque interdisciplinaire international « Bébé, petite enfance en contextes » organisé sous la responsabilité scientifique de Chantal Zaouche Gaudron et Anne Dupuy (Université Toulouse Jean Jaurès), Jean-Luc Attié, Michelle Kelly-Irving et Christine Mennesson (Université Toulouse 3). Toulouse, 15-17 mai 2019.Nos sociétés sont confrontées à des défis importants, en vue des transformations de contextes de diversité vers des ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte