Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 276
Conférences

le (1h8m36s)

Sommes-nous responsables de nos croyances ?

Les croyances ont des causes plutôt que des raisons, et beaucoup d'entres elles sont soumises à des déterminations sociales. Si la croyance n'est pas volontaire, comment pourrions-nous être responsables de nos croyances? Peut-on reprocher à quelqu'un de croire des choses stupides? Et pourtant on peut blâmer un individu pour ses croyances racistes ou pour ses opinions irrationnelles, et nombre de conceptions de la croyance religieuse en font des engagements volontaires. Depuis le fameux argument du pari de Pascal, on a également soutenu que les raisons pratiques de croire pouvaient, dans certains cas, l'emporter sur les raisons théoriques de croire. Y-a-t-il ...
Voir la vidéo
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

 
FMSH
 
Facebook Twitter Google+
Mon Compte