Filter your results
- 5
- 5
- 5
- 5
- 8
- 2
- 2
- 5
- 5
- 6
- 5
- 7
- 9
- 5
- 3
- 5
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Quality Criteria for Cyber Security MOOCs13th IFIP World Conference on Information Security Education (WISE), Sep 2020, Maribor, Slovenia. pp.46-60, ⟨10.1007/978-3-030-59291-2_4⟩
Conference papers
hal-03380695v1
|
||
|
|
Renegotiation and Recursion in Bitcoin Contracts22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.261-278, ⟨10.1007/978-3-030-50029-0_17⟩
Conference papers
hal-03273996v1
|
||
|
|
Applying Acceptance Requirements to Requirements Modeling Tools via Gamification: A Case Study on Privacy and Security13th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2020), Nov 2020, Riga, Latvia. pp.366-376, ⟨10.1007/978-3-030-63479-7_25⟩
Conference papers
hal-03434661v1
|
||
|
|
ContracT – from Legal Contracts to Formal Specifications: Preliminary Results13th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2020), Nov 2020, Riga, Latvia. pp.124-137, ⟨10.1007/978-3-030-63479-7_9⟩
Conference papers
hal-03434644v1
|
||
|
|
A True Concurrent Model of Smart Contracts Executions22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.243-260, ⟨10.1007/978-3-030-50029-0_16⟩
Conference papers
hal-03273986v1
|