Filter your results
- 4
- 4
- 4
- 2
- 2
- 4
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Formal Verification of Service Level Agreements Through Distributed Monitoring4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.125-140, ⟨10.1007/978-3-319-24072-5_9⟩
Conference papers
hal-01757576v1
|
||
|
|
The Future of a Missed Deadline15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.181-195, ⟨10.1007/978-3-642-38493-6_13⟩
Conference papers
hal-01486026v1
|
||
|
|
On the Integration of Automatic Deployment into the ABS Modeling Language4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.49-64, ⟨10.1007/978-3-319-24072-5_4⟩
Conference papers
hal-01757558v1
|
||
|
|
Compositional Development of BPMN12th International Conference on Software Composition (SC), Jun 2013, Budapest, Hungary. pp.97-112, ⟨10.1007/978-3-642-39614-4_7⟩
Conference papers
hal-01492779v1
|