Filter your results
- 6
- 6
- 6
- 1
- 2
- 4
- 6
- 6
- 3
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
6 results
|
|
sorted by
|
|
Refined Mean Field Analysis: The Gossip Shuffle Protocol RevisitedCOORDINATION 2020 - 22nd IFIP WG 6.1 International Conference on Coordination Languages and Models, Jun 2020, Valletta, Malta. pp.230-239, ⟨10.1007/978-3-030-50029-0_15⟩
Conference papers
hal-03273995v1
|
||
|
Combining SLiVER with CADP to Analyze Multi-agent SystemsCOORDINATION 2020 - 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, Jun 2020, La Valetta, Malta. pp.370-385, ⟨10.1007/978-3-030-50029-0_23⟩
Conference papers
hal-02890401v1
|
||
|
Automated Transition Coverage in Behavioural Conformance TestingICTSS 2020 - 32nd IFIP International Conference on Testing Software and Systems, Dec 2020, Napoli, Italy. pp.219-235, ⟨10.1007/978-3-030-64881-7_14⟩
Conference papers
hal-03038050v1
|
||
|
Objective Evaluation of Subjective Metrics for Interactive Decision-Making Tasks by Non-experts18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.384-403, ⟨10.1007/978-3-030-85613-7_27⟩
Conference papers
hal-03356425v1
|
||
|
TailX: Scheduling Heterogeneous Multiget Queries to Improve Tail Latencies in Key-Value Stores20th International Conference on Distributed Applications and Interoperable Systems, Jun 2020, Valletta, Malta. pp.73-92, ⟨10.1007/978-3-030-50323-9_5⟩
Conference papers
hal-02917566v1
|
||
|
A Lens-Based Extension of Raycasting for Accurate Selection in Dense 3D Environments18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.501-524, ⟨10.1007/978-3-030-85610-6_28⟩
Conference papers
hal-03355685v1
|