Filter your results
- 9
- 6
- 7
- 4
- 3
- 1
- 15
- 2
- 3
- 3
- 3
- 3
- 1
- 14
- 1
- 15
- 9
- 5
- 2
- 10
- 9
- 7
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
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⟩
Theses
tel-02271523v1
|
||
|
Towards an observer/controller and ontology/rule- based approach for pervasive healthcare systemsIJAHUC - International Journal of Ad Hoc and Ubiquitous Computing, 2017, 26
Journal articles
hal-02436880v1
|
||
|
Formal modelling and verifying elasticity strategies in cloud systemsIET Software, 2019, 13 (1), pp.25-35. ⟨10.1049/iet-sen.2018.5030⟩
Journal articles
hal-02417557v1
|
||
|
A Formal Language for Modelling and Verifying Systems-of-Systems Software ArchitecturesInternational journal of systems and service-oriented engineering (IJSSOE), 2022, 12 (1), pp.1-17. ⟨10.4018/IJSSOE.297137⟩
Journal articles
hal-03658631v1
|
||
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⟩
Book sections
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⟩
Book sections
hal-02417551v1
|
||
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⟩
Book sections
hal-02417541v1
|
|||
Towards Software Architectural Description for Systems of Systemsthe 2018 International Conference, Apr 2018, Singapore, Singapore. pp.183-187, ⟨10.1145/3230348.3230367⟩
Conference papers
hal-03658626v1
|
|||
Towards an Observer/Controller and Ontology/Rule-Based Approach for Pervasive Healthcare SystemsIJAHUC - International Journal of Ad Hoc and Ubiquitous Computing, 2017, 26 (3), pp.137-156. ⟨10.1504/IJAHUC.2015.10001941⟩
Journal articles
hal-01906799v1
|
|||
A Bigraphical Model for Specifying Cloud-Based Elastic Systems and Their BehaviourInternational Journal of Parallel, Emergent and Distributed Systems, 2017, 32 (6), pp.593-616. ⟨10.1080/17445760.2016.1188927⟩
Journal articles
hal-01906821v1
|
|||
|
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⟩
Journal articles
hal-02870377v1
|
||
A Theoretical Approach for Modelling Cloud Services Composition2016 International Conference on Advanced Aspects of Software Engineering, ICAASE 2016, Constantine, Algeria, October 29-30, 2016, Oct 2016, Constantine, Algeria. pp.1-8, ⟨10.1109/ICAASE.2016.7843858⟩
Conference papers
hal-01908720v1
|
|||
|
Formal Modeling IoT Systems on the Basis of BiAgents* and Maude2020 International Conference on Advanced Aspects of Software Engineering (ICAASE), Nov 2020, Constantine, Algeria. pp.1-7, ⟨10.1109/ICAASE51408.2020.9380126⟩
Conference papers
hal-03177450v2
|
||
|
Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems17th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2022, Online Streaming, Portugal. pp.162-173, ⟨10.5220/0011069300003176⟩
Conference papers
hal-03658634v1
|
||
|
Formalizing and simulating cross-layer elasticity strategies in Cloud systemsCluster Computing, 2020, ⟨10.1007/s10586-020-03080-8⟩
Journal articles
hal-02525324v1
|