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

Filter your results

5 results
Deposit type : Fulltext
labStructName_s : School of Computing Science [Newcastle]
labStructName_s : Inria Sophia Antipolis - Méditerranée
Image document

“Why Would You Buy from a Stranger?” Understanding Saudi Citizens’ Motivations and Challenges in Social Commerce

Aisha Ahmed Alarfaj , Ellis Solaiman , Lindsay Marshall
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.711-732, ⟨10.1007/978-3-030-29384-0_43⟩
Conference papers hal-02544620v1
Image document

No More, No Less - A Formal Model for Serverless Computing

Maurizio Gabbrielli , Saverio Giallorenzo , Ivan Lanese , Fabrizio Montesi , Marco Peressotti , et al.
COORDINATION 2019 - 21th International Conference on Coordination Languages and Models, Jun 2019, Kongens Lyngby, Denmark. pp.148-157, ⟨10.1007/978-3-030-22397-7_9⟩
Conference papers hal-02365509v1
Image document

Verification of concurrent design patterns with data

Simon Bliudze , Ludovic Henrio , Eric Madelaine
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Conference papers hal-02143782v1
Image document

Causal-Consistent Replay Debugging for Message Passing Programs

Ivan Lanese , Adrián Palacios , Germán Vidal
FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2019, Copenhagen, Denmark. pp.167-184, ⟨10.1007/978-3-030-21759-4_10⟩
Conference papers hal-02313745v1
Image document

DeepRoute: Herding Elephant and Mice Flows with Reinforcement Learning

Mariam Kiran , Bashir Mohammed , Nandini Krishnaswamy
MLN 2019 - 2nd International Conference on Machine Learning for Networking, Dec 2019, Paris, France. pp.296-314, ⟨10.1007/978-3-030-45778-5_20⟩
Conference papers hal-03266462v1