Coordination models and languages 7th international conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005 : proceedings /
A case study of web services orchestration -- A correct abstract machine for safe ambients -- A process calculus for QoS-aware applications -- Abstract interpretation-based verification of non-functional requirements -- Coordination systems in role-based adaptive software -- Coordination with multi...
Na minha lista:
Main Authors: | , , |
---|---|
Format: | Livro |
Sprog: | Inglês |
Udgivet: |
Springer,
2005.
|
Serier: | Lecture notes in computer science ; |
Fag: | |
Online adgang: | https://minerva.ufrj.br/F/?func=direct&doc_number=000948254&local_base=UFR01 |
Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|