Filter your results
- 7
- 7
- 7
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 7
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Towards Bridging Time and Causal Reversibility40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.22-38, ⟨10.1007/978-3-030-50086-3_2⟩
Conference papers
hal-03283233v1
|
||
|
|
On the Tradeoff among Trust, Privacy, and Cost in Incentive-Based Networks8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. pp.205-212, ⟨10.1007/978-3-662-43813-8_14⟩
Conference papers
hal-01381689v1
|
||
|
|
Reversing P/T Nets21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.19-36, ⟨10.1007/978-3-030-22397-7_2⟩
Conference papers
hal-02365503v1
|
||
|
|
A Calculus for Trust and Reputation Systems8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. pp.173-188, ⟨10.1007/978-3-662-43813-8_12⟩
Conference papers
hal-01381686v1
|
||
|
|
Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis3rd International Conference on History and Philosophy of Computing (HaPoC), Oct 2015, Pisa, Italy. pp.57-70, ⟨10.1007/978-3-319-47286-7_4⟩
Conference papers
hal-01615307v1
|
||
|
|
The eGovernment Services Delivery of the Italian Municipalities10th Electronic Government (EGOV), Aug 2011, Delft, Netherlands. pp.144-158, ⟨10.1007/978-3-642-22878-0_13⟩
Conference papers
hal-01589099v1
|
||
|
|
From Knowledge to Trust: A Logical Framework for Pre-trust Computations12th IFIP International Conference on Trust Management (TM), Jul 2018, Toronto, ON, Canada. pp.107-123, ⟨10.1007/978-3-319-95276-5_8⟩
Conference papers
hal-01855992v1
|