Filter your results
- 4
- 4
- 4
- 1
- 1
- 1
- 1
- 3
- 1
- 4
- 4
- 2
- 4
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
|
|
sorted by
|
Formalisation des contrats structurels et de QdS d’une composition de services WebConférence francophone sur l'Architecture Logicielle (CAL 2014), Jun 2014, Paris, France
Conference papers
hal-01094205v1
|
|||
Towards a transformation of composite web service with QoS extension into ACME\ArmaniiiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services, Dec 2011, Ho Chi Minh City, Vietnam. pp.349-352, ⟨10.1145/2095536.2095601⟩
Conference papers
hal-00751243v1
|
|||
A mediation based approach for formal verification of web services composition2017 International Conference on Engineering & MIS (ICEMIS), May 2017, Monastir, France. pp.1-6, ⟨10.1109/ICEMIS.2017.8272975⟩
Conference papers
hal-02507291v1
|
|||
Towards an approach of formal verification of mediation protocol based on Web servicesiiWAS 2010 : 12th International Conference on Information Integration and Web-based Applications & Services, Oct 2010, Paris, France. pp.75 - 82, ⟨10.1145/1967486.1967502⟩
Conference papers
hal-01308596v1
|