Filtrer vos résultats
- 5
- 2
- 3
- 3
- 1
- 7
- 2
- 3
- 2
- 6
- 1
- 7
- 7
- 3
- 7
- 6
- 6
- 2
7 résultats
|
|
triés par
|
|
A Maude-based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestrationJournal of Systems Architecture, 2020, pp.101821. ⟨10.1016/j.sysarc.2020.101821⟩
Article dans une revue
hal-02870377v1
|
||
A BRS Based Approach for Modeling Elastic Cloud SystemsBraubach L. et al. (eds) Service-Oriented Computing – ICSOC 2017 Workshops. ICSOC 2017. Lecture Notes in Computer Science, vol 10797. Springer, Cham, pp.5-17, 2018, ⟨10.1007/978-3-319-91764-1_1⟩
Chapitre d'ouvrage
hal-02417541v1
|
|||
|
Formalisation et Évaluation de Stratégies d’Élasticité Multi-couches dans le CloudInformatique [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⟩
Thèse
tel-02271523v1
|
||
|
Formalizing and simulating cross-layer elasticity strategies in Cloud systemsCluster Computing, 2020, ⟨10.1007/s10586-020-03080-8⟩
Article dans une revue
hal-02525324v1
|
||
|
Formal modelling and verifying elasticity strategies in cloud systemsIET Software, 2019, 13 (1), pp.25-35. ⟨10.1049/iet-sen.2018.5030⟩
Article dans une revue
hal-02417557v1
|
||
Formal Modeling and Verification of Cloud Elasticity with Maude and LTLAttiogbé C., Ferrarotti F., Maabout S. (eds) New Trends in Model and Data Engineering. MEDI 2019. Communications in Computer and Information Science, vol 1085. Springer, Cham, pp.64-77, 2019, ⟨10.1007/978-3-030-32213-7_5⟩
Chapitre d'ouvrage
hal-02417562v1
|
|||
|
Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud SystemsAbdelwahed E., Bellatreche L., Golfarelli M., Méry D., Ordonez C. (eds) Model and Data Engineering. MEDI 2018. Lecture Notes in Computer Science, vol 11163., pp.168-183, 2018, ⟨10.1007/978-3-030-00856-7_11⟩
Chapitre d'ouvrage
hal-02417551v1
|