Filtrer vos résultats
- 22
- 15
- 25
- 8
- 3
- 1
- 27
- 1
- 2
- 4
- 2
- 4
- 1
- 1
- 2
- 1
- 3
- 2
- 5
- 5
- 4
- 35
- 2
- 37
- 8
- 7
- 7
- 37
- 12
- 6
- 5
- 4
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
37 résultats
|
|
triés par
|
|
Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateurInforsid 2014, May 2014, Lyon, France. pp.113-128
Communication dans un congrès
hal-01084878v1
|
||
Dynamic Adaptive Software Components: the MOCAS ApproachFirst International Workshop on Autonomous and Autonomic Software-Based Systems, Oct 2008, Cergy-Pontoise, France. pp.517-524
Communication dans un congrès
hal-00384424v1
|
|||
A Compositional Framework to the Specification of Service Protocols Controllability and SubstitutabilityInternational Journal of Computer Mathematics, 2014, pp.1137-1155. ⟨10.1080/00207160.2013.827177⟩
Article dans une revue
hal-01093288v1
|
|||
|
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
|
||
|
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⟩
Article dans une revue
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⟩
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
|
||
An Argumentation-based Framework for Designing Dialogue Strategies17th European Conference on Artifical Intelligence (ECAI 2006), 2006, Riva del Garda, Italy. pp.713-714
Communication dans un congrès
hal-00408555v1
|
|||
|
An Argumentation-Based Approach for Dialogue Move Selection3d International Workshopon Argumentation in Multi-Agent Systems (ArgMAS 2006), May 2006, Hakodate, Japan. pp.128--141, ⟨10.1007/978-3-540-75526-5_8⟩
Communication dans un congrès
hal-04315678v1
|
||
|
An argumentation-based approach for dialogue move selection3rd International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2006), May 2006, Hakodate, Japan. pp.128--141, ⟨10.1007/978-3-540-75526-5_8⟩
Communication dans un congrès
hal-04315683v1
|
||
Specification and verification of components interaction protocols in multi-agent systems.5th IEEE International Symposium and School on Advance Distributed Systems, 2005, Mexico. pp.;
Communication dans un congrès
hal-00408573v1
|
|||
MOCAS: a state-Based components Model for Self-AdaptationThird IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2009, Sep 2009, California, United States. pp.206-215
Communication dans un congrès
hal-01093317v1
|
|||
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⟩
Communication dans un congrès
hal-01908720v1
|
|||
A Maude based Specification for SoS Architecture2018 13th Annual Conference on System of Systems Engineering (SoSE), Jun 2018, Paris, France. pp.45-52, ⟨10.1109/SYSOSE.2018.8428738⟩
Communication dans un congrès
hal-03025335v1
|
|||
Spécification formelle des composants d'interaction à base de rôles : Compatibilité et substituabilité.In 3èmes Journées Francophones Modèles Formels de l'Interaction, 2005, France. pp.133-142
Communication dans un congrès
hal-00408666v1
|
|||
Formalizing Compatibility and Substitutability of Role-based Interactions Components in Multi-Agent Systems4th International/Central and Eastern European Conference on Multi-Agent Systems, 2005, Budapest, Hungary. pp.153-162
Communication dans un congrès
hal-00408561v1
|
|||
Controllability Preservation and Behavioural Refinement for Service ProtocolsServices Computing Conference (APSCC), 2012 IEEE Asia-Pacific, Dec 2012, Guilin, China. pp.203-210
Communication dans un congrès
hal-01093310v1
|
|||
|
MOCAS: A State-Based Component Model for Self-AdaptationThird IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2009, San Francisco, California, USA, September 14-18, 2009, Sep 2009, San Francisco, United States. pp.206-215, ⟨10.1109/SASO.2009.11⟩
Communication dans un congrès
hal-01908725v1
|
||
|
A Formal Model for Interaction Specification and Analysis in IoT Applications8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.371-384, ⟨10.1007/978-3-030-00856-7_25⟩
Communication dans un congrès
hal-02507242v1
|
||
|
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
|
||
|
An Optimistic Approach for the Specification of more Flexible Roles Behavioural Compatibility Relations in MAS2007
Pré-publication, Document de travail
hal-00192869v1
|
||
Formalizing Context-Based Behavioural Compatibility and Substitubility for Role Components in MAS.5th International Central and Eastern European Conference on Multi-Agent Systems, 2007, European Union. pp.153-162
Communication dans un congrès
hal-00390401v1
|
|||
A Formal Framework for Component Protocols Behavioural Compatibility13th Asia Pacific Software Engineering Conference, 2006, India. pp.87-94
Communication dans un congrès
hal-00408553v1
|
|||
Compatibility and Conformance of Role-Based Interaction Components in MASAgent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Jun 2009, Uppsala, Sweden. pp.579-588
Communication dans un congrès
hal-01093324v1
|
|||
Endowing software components with autonomic capabilities based on modeling language executability1st Workshop on Model-driven Software Adaptation, Jul 2007, Berlin, Germany. pp.55-60
Communication dans un congrès
hal-00389731v1
|
|||
|
A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systemsof-Systems31th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE-2023), Dec 2023, Saclay (92), France
Communication dans un congrès
hal-04510783v1
|
||
On compatibility and behavioural substitutability of component protocols3rd IEEE International Conference on Software Engineering and Formal Methods, 2005, Germany. pp.394-403
Communication dans un congrès
hal-00408571v1
|
|||
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⟩
Article dans une revue
hal-01906821v1
|
|||
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
|
|||
A Formal Model for Designing Dialogue Strategies5th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2006), 2006, Hakodate, Japan. pp.414-416, ⟨10.1145/1160633.1160706⟩
Communication dans un congrès
hal-00408556v1
|
- 1
- 2