Zobrazeno 1 - 10
of 1 205
pro vyhledávání: '"applications distribuées"'
Publikováno v:
Actes des 15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels
15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL
15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL, Jun 2016, Besançon, France. pp. 94-100
15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL
15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL, Jun 2016, Besançon, France. pp. 94-100
International audience; Nous présentons une méthodologie basée sur le raffinement manuel et automatique pour le développement d’applications distribuées correctes par construction. À partir d’un modèle Event-B, le processus étudié défin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7fb33852ef37e67c8729959a6fa65b0e
https://oatao.univ-toulouse.fr/17057/
https://oatao.univ-toulouse.fr/17057/
Autor:
Guthmuller, Marion
Alors que l'informatique est devenue omniprésente dans notre société actuelle, assurer la qualité d'un logiciel revêt une importance grandissante. Pour accroître cette qualité, l'une des conditions à respecter est la correction du système. D
Externí odkaz:
http://www.theses.fr/2015LORR0090/document
Le Cloud est devenu une plate-forme très répandue pour le déploiement d'applications distribuées. Beaucoup d'entreprises peuvent sous-traiter leurs infrastructures d'hébergement et, ainsi, éviter des dépenses provenant d'investissements initia
Externí odkaz:
http://www.theses.fr/2017LYSEN089/document
Publikováno v:
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2017. English. ⟨NNT : 2017LYSEN089⟩
The Cloud has become a very popular platform for deploying distributed applications. Today, virtually any credit card holder can have access to Cloud services. There are many different ways of offering Cloud services to customers. In this thesis we e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ec656d350b70733ff3886eeaf5a03b8d
https://theses.hal.science/tel-01708420/document
https://theses.hal.science/tel-01708420/document
Autor:
Barraquand, Rémi, Vaufreydaz, Dominique, Emonet, Rémi, Nègre, Amaury, Mercier, Jean-Pascal, Reignier, Patrick
Publikováno v:
MajecStic
MajecStic, Oct 2010, Bordeaux, France
MajecStic, Oct 2010, Bordeaux, France
Cet article présente OMiSCID et ses dernières évolutions vers la version 2.0. OMiSCID est un intergiciel facilitant le développement et le déploiement d'application réparties et notamment des applications ubiquitaires dans les environnements in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6640322663679e40547f9101274d2f73
https://hal.science/hal-00632913/file/majecstic2010.pdf
https://hal.science/hal-00632913/file/majecstic2010.pdf
Autor:
Germain, Guillaume
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
Externí odkaz:
http://hdl.handle.net/1866/16723
Autor:
Piette, Ferdinand
L'évolution des technologies de l'information ainsi que la miniaturisation constante des composants électroniques de ces dernières décennies ont permis de doter les objets de la vie de tous les jours de capacités de calcul et de communication. C
Externí odkaz:
http://www.theses.fr/2017PA066058/document
Autor:
Uttha, Worachet
Le contrôle d’accès est un ingrédient fondamental de la sécurité des systèmes d’information. Depuis les années 70, les travaux dans ce domaine ont apporté des solutions aux problèmes de confidentialités des données personnelles avec ap
Externí odkaz:
http://www.theses.fr/2016AIXM4044/document
Autor:
Benchi, Abdulkader
Les réseaux mobiles opportunistes (ou OppNets, pour Opportunistic Networks) constituent une solution séduisante pour compléter les réseaux fixes d’infrastructure, voire compenser leur absence dans des zones sinistrées ou défavorisées. Les re
Externí odkaz:
http://www.theses.fr/2015LORIS372/document
Autor:
Zwolakowski, Jakub
Publikováno v:
Software Engineering [cs.SE]. Univeristé Paris Diderot Paris 7, 2015. English
Complex networked applications are assembled by connecting software componentsdistributed across multiple machines. Building and deploying such systems is achallenging problem which requires a significant amount of expertise: the systemarchitect must
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2592::a7ca71cad2a0caa2073f37cd813a486b
https://tel.archives-ouvertes.fr/tel-01172022
https://tel.archives-ouvertes.fr/tel-01172022