Filter your results
- 10
- 10
- 10
- 1
- 3
- 3
- 1
- 1
- 1
- 10
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
BFT-Dep: Automatic Deployment of Byzantine Fault-Tolerant Services in PaaS Cloud16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.109-114, ⟨10.1007/978-3-319-39577-7_9⟩
Conference papers
hal-01434804v1
|
||
|
Fixed Points of Functors - A Short Abstract13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.1-4, ⟨10.1007/978-3-319-40370-0_1⟩
Conference papers
hal-01446029v1
|
||
|
Secure Cloud Micro Services Using Intel SGX17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.177-191, ⟨10.1007/978-3-319-59665-5_13⟩
Conference papers
hal-01800126v1
|
||
|
Canonical Nondeterministic Automata12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.189-210, ⟨10.1007/978-3-662-44124-4_11⟩
Conference papers
hal-01408760v1
|
||
|
On the Step Branching Time Closure of Free-Choice Petri Nets34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.232-248, ⟨10.1007/978-3-662-43613-4_15⟩
Conference papers
hal-01398018v1
|
||
|
Communication in Teams - An Expression of Social Conflicts6th International Conference on Human-Centred Software Engineering (HCSE) / 8th International Conference on Human Error, Safety, and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.111-129, ⟨10.1007/978-3-319-44902-9_8⟩
Conference papers
hal-01647704v1
|
||
|
Adaptive and Scalable High Availability for Infrastructure Clouds4th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2014, Berlin, Germany. pp.16-30, ⟨10.1007/978-3-662-43352-2_2⟩
Conference papers
hal-01286221v1
|
||
|
On Finitary Functors and Their Presentations11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.51-70, ⟨10.1007/978-3-642-32784-1_4⟩
Conference papers
hal-01539879v1
|
||
|
Bandwidth Prediction in the Face of Asymmetry13th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2013, Florence, Italy. pp.99-112, ⟨10.1007/978-3-642-38541-4_8⟩
Conference papers
hal-01489468v1
|
||
|
Monitoring Distributed Systems Using Knowledge13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.183-197, ⟨10.1007/978-3-642-21461-5_12⟩
Conference papers
hal-01583313v1
|