Zobrazeno 1 - 8
of 8
pro vyhledávání: '"vérification formelles"'
Autor:
Khebbeb, Khaled
L'élasticité est une propriété qui permet aux systèmes Cloud de s'auto-adapter à leur charge de travail en provisionnant et en libérant des ressources informatiques, de manière autonomique, lorsque la demande augmente et diminue. En raison de
Externí odkaz:
http://www.theses.fr/2019PAUU3010
Autor:
Khebbeb, Khaled
Publikováno v:
Informatique [cs]. LIUPPA-Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour; LIRE-Laboratoire d'Informatique Répartie de l'Université Constantine 2, 2019. Français. ⟨NNT : 2019PAUU3010⟩
Elasticity property allows Cloud systems to adapt to their incoming workload by provisioning and de-provisioning computing resources in an autonomic manner, as the demand rises and drops. Due to the unpredictable nature of the workload and the numero
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::e052d247ededee0f9340b7fd4b1d73e8
https://tel.archives-ouvertes.fr/tel-02271523/file/thesis_khebbeb.pdf
https://tel.archives-ouvertes.fr/tel-02271523/file/thesis_khebbeb.pdf
Autor:
Magnin, Morgan
Publikováno v:
Bio-informatique [q-bio.QM]. Université de Nantes, 2016
This habilitation thesis gathers several works in the field of formal methods for biology. In our works, we tackled the challenge of modeling and analyzing the dynamics of large-scale biological regulatory networks. To address this issue, we identifi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::13a9d6da97a26aab6153e8f54d20fe0f
https://tel.archives-ouvertes.fr/tel-01321311/file/hdr-morgan-magnin-manuscrit-definitif3.pdf
https://tel.archives-ouvertes.fr/tel-01321311/file/hdr-morgan-magnin-manuscrit-definitif3.pdf
Autor:
Chaou, Samira
Le sujet de ma thèse consiste à analyser la sécurité d'un système de stockage pair à pair. Durant la première phase j'ai commencé par me familiariser avec le système existant (que du code), par la suite j'ai analysé la résistance du systè
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00877094
http://tel.archives-ouvertes.fr/docs/00/87/70/94/PDF/2012EVRY0043.pdf
http://tel.archives-ouvertes.fr/docs/00/87/70/94/PDF/2012EVRY0043.pdf
Autor:
Chaou, Samira
Publikováno v:
Calcul formel [cs.SC]. Université d'Evry-Val d'Essonne, 2013. Français
Calcul formel [cs.SC]. Université d'Evry-Val d'Essonne, 2013. Français. ⟨NNT : ⟩
Calcul formel [cs.SC]. Université d'Evry-Val d'Essonne, 2013. Français. ⟨NNT : ⟩
The aim of my thesis is to analyze the security of the peer-to-peer storage system of UbiStorage. I started by takine in hand the existent system (JAVA Code), later I analyzed the resistance of the system in the presence of internal attacks that i im
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::105475f4d2599d0f6c1af8e521360ddd
https://theses.hal.science/tel-00877094
https://theses.hal.science/tel-00877094
Autor:
Bertot, Yves
Publikováno v:
RR-5344, INRIA. 2004, pp.23
Nous décrivons la vérification formelle d'algorithmes de calcul de racines carrées, cubiques, et énièmes dans un cadre fonctionnel. Nous montrons que les premiers algorithmes se décrivent bien en utilisant la représentation binaire des entiers
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::b69ea02c9c7f196f21461f84df70a8b5
https://inria.hal.science/inria-00070657/file/RR-5344.pdf
https://inria.hal.science/inria-00070657/file/RR-5344.pdf
Autor:
Gandrabur, Simona
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
Externí odkaz:
http://hdl.handle.net/1866/30784
Autor:
Idir AIT SADOUNE
Publikováno v:
HAL
Modélisation et simulation. Ecole Nationale Supérieure de Mécanique et d'Aérotechnique-Poitiers, 2010. Français. ⟨NNT : 2010ESMA0016⟩
Modélisation et simulation. Ecole Nationale Supérieure de Mécanique et d'Aérotechnique-Poitiers, 2010. Français. ⟨NNT : 2010ESMA0016⟩
The ability to compose existing services to provide more complex functionality is one of the main benefits of SOA architecture. This services compositions process, especially Web services, is generally defined by a choreography or an orchestration of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5069b0f4290551a62db26ae50d6ea500
https://hal.archives-ouvertes.fr/tel-01819499
https://hal.archives-ouvertes.fr/tel-01819499