Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

6 results
Image document

Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited

Nicolas Gast , Diego Latella , Mieke Massink
COORDINATION 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
Image document

Combining SLiVER with CADP to Analyze Multi-agent Systems

Luca Di Stefano , Frédéric Lang , Wendelin Serwe
COORDINATION 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
Image document

Automated Transition Coverage in Behavioural Conformance Testing

Lina Marsso , Radu Mateescu , Wendelin Serwe
ICTSS 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
Image document

Objective Evaluation of Subjective Metrics for Interactive Decision-Making Tasks by Non-experts

Yann Laurillau , Joëlle Coutaz , van Bao Nguyen , Gaëlle Calvary , Daniel Llerena
18th 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
Image document

TailX: Scheduling Heterogeneous Multiget Queries to Improve Tail Latencies in Key-Value Stores

Vikas Jaiman , Sonia Ben Mokhtar , Etienne Rivière
20th 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
Image document

A Lens-Based Extension of Raycasting for Accurate Selection in Dense 3D Environments

Carole Plasson , Dominique Cunin , Yann Laurillau , Laurence Nigay
18th 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