Changes between Version 7 and Version 8 of JINO-1

Timestamp:

Jun 26, 2012, 11:03:58 AM (6 years ago)

Author:

frederic.loulergue@…

Comment:

--

JINO-1

@@ -12 +12 @@
 * 11h30-12h15 '''Vers des environnements infonuagiques vérifiés''' [[BR]] ''Frédéric Loulergue, Frédéric Gava, Nikolay Kosmatov, Matthieu Lemerre'' [[BR]] As the usage of the cloud becomes pervasive in our lives, it is needed to ensure the reliability, safety and security of cloud environments. In this paper we study a usual software stack of a cloud environment from the perspective of formal verification. This software stack ranges from applications to the hypervisor.  We argue that most of the layers could be practically formally verified, even if the work to verify all levels is huge.
 * 12h15-14h00 '''Déjeuner'''
-* 14h00-14h45 '''Requêtes relationnelles et informatique dans les nuages''' [[BR]] ''Abdeljallil Abajjane, Mostafa Bamha''[[BR]]Résumé à venir
+* 14h00-14h45 '''Requêtes relationnelles et informatique en nuage''' [[BR]] ''Abdeljallil Abajjane, Mostafa Bamha''[[BR]]Résumé à venir
 * 14h45-15h30 '''Traitements de grands graphes appliqués à l'analyse de réseaux sociaux ''' [[BR]] ''Nicolas Dugué, Frédéric Moal'' [[BR]]L'explosion des données, connue aussi sous le nom de "Big Data" est un phénomène qui émerge depuis quelques années dans les secteurs de l'internet, la business intelligence ou encore la génétique. Stocker, partager et analyser ces données de plus en plus volumineuses et complexes est devenue une préoccupation majeure. C'est ainsi ce qui a notamment favorisé l'émergence du Cloud Computing, qui offre des possibilités de stockage et de calculs quasiment illimités mais aussi des moyens de traitement de données à large-échelle tels qu'Apache Hadoop. [[BR]]Les réseaux sociaux tels que Twitter et Facebook sont partie prenante du phénomène des Big Data. Les graphes modélisant leurs utilisateurs et les liens existant entre eux représentent des centaines de millions de noeuds et des dizaines de milliards d'arcs. Les traiter efficacement pour en analyser la topologie reste un challenge actuellement. Ainsi, nous verrons quels sont les moyens à notre disposition pour analyser ces réseaux sociaux et nous intéresserons particulièrement à la détection de la communauté des capitalistes sociaux.
 * 15h30-16h00 '''Pause'''