Filter your results
- 3
- 3
- 3
- 1
- 1
- 1
- 3
- 3
- 10
- 10
- 8
- 7
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 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
|
|
|
SimGrid MC: Verification Support for a Multi-API Simulation Platform13th 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.274-288, ⟨10.1007/978-3-642-21461-5_18⟩
Conference papers
inria-00593505v1
|
||
|
|
A methodology for tenant migration in legacy shared-table multi-tenant applicationsDAIS 2021 - 21th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2021, Valetta, Malta. pp.3-20
Conference papers
hal-03381116v1
|
||
|
|
Blockchain-Based Auditing of Transparent Log Servers32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.21-37, ⟨10.1007/978-3-319-95729-6_2⟩
Conference papers
hal-01917636v1
|