Filter your results
- 7
- 1
- 8
- 8
- 2
- 5
- 1
- 8
- 7
- 6
- 5
- 2
- 1
- 1
- 4
- 5
- 5
- 5
- 5
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
ATL Transformation of UML 2.0 for the Generation of SCA ModelThe Sixth International Conference on Software Engineering Advances (ICSEA 2011), Oct 2011, Barcelone, Spain
Conference papers
hal-00648916v1
|
|||
Tangle The Blockchain: Toward IOTA and Blockchain integration for IoT EnvironmentInternational Conference on Hybrid Intelligent Systems, Dec 2019, Sehore, India. pp.429-440, ⟨10.1007/978-3-030-49336-3_42⟩
Conference papers
hal-03781495v1
|
|||
MDE approach for the generation and verification of SCA modeliiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services, Dec 2011, Ho Chi Minh City, Vietnam. pp.317-320, ⟨10.1145/2095536.2095592⟩
Conference papers
hal-00751241v1
|
|||
Profile UML2.0 for specification of the SCA architecturesSKG 2011 : 7th International Conference on Semantics, Knowledge and Grids, Oct 2011, Beijing, China. pp.191 - 194, ⟨10.1109/SKG.2011.36⟩
Conference papers
hal-01354605v1
|
|||
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
|
|||
ATL transformation for the generation of SCA modelSKG '11 : The 7th International Conference on Semantics Knowledge & Grids, Oct 2011, Beijing, China. pp.164-167, ⟨10.1109/SKG.2011.37⟩
Conference papers
hal-00751248v1
|
|||
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
|
|||
|
Tangle The Blockchain: Toward IOTA and Blockchain integration for IoT EnvironmentInternational Conference on Hybrid Intelligent Systems, Dec 2019, Sehore, India
Conference papers
hal-02957070v1
|