Filtrer vos résultats
- 5
- 2
- 2
- 1
- 5
- 1
- 1
- 2
- 1
- 5
- 5
- 5
- 1
- 1
- 4
- 4
- 3
- 1
- 1
- 1
- 1
5 résultats
|
|
triés par
|
|
Coordination and reconfiguration of distributed cloud applicationsNetworking and Internet Architecture [cs.NI]. Université Grenoble Alpes, 2015. English. ⟨NNT : 2015GREAM055⟩
Thèse
tel-01258795v2
|
||
|
Formal Design of Dynamic Reconfiguration Protocol for Cloud ApplicationsScience of Computer Programming, 2016, 117, pp.1-16. ⟨10.1016/j.scico.2015.12.001⟩
Article dans une revue
hal-01246152v1
|
||
|
Verification of a Dynamic Management Protocol for Cloud Applications11th International Symposium, ATVA 2013, Dang Van Hung and Mizuhito Ogawa, Oct 2013, Hanoi, Vietnam. pp.178-192, ⟨10.1007/978-3-319-02444-8_14⟩
Communication dans un congrès
hal-00863262v1
|
||
|
Asynchronous synthesis techniques for coordinating autonomic managers in the cloudScience of Computer Programming, 2017, 146, pp.87 - 103. ⟨10.1016/j.scico.2017.05.005⟩
Article dans une revue
hal-01630717v1
|
||
|
Asynchronous Coordination of Stateful Autonomic Managers in the Cloud12th International Symposium on Formal Aspects of Components and Systems FACS'2015, Oct 2015, Niterói, Rio de Janeiro, Brazil
Communication dans un congrès
hal-01245754v1
|