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

Filter your results

5 results
Deposit type : Fulltext
labStructName_s : Inria Sophia Antipolis - Méditerranée
labStructName_s : IBM Research - Ireland
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

Value of Big Data Analytics for Customs Supervision in e-Commerce

Boriana Rukanova , Yao-Hua Tan , Micha Slegt , Marcel Molenhuis , Ben Van Rijnsoever , et al.
18th International Conference on Electronic Government (EGOV), Sep 2019, San Benedetto del Tronto, Italy. pp.288-300, ⟨10.1007/978-3-030-27325-5_22⟩
Conference papers hal-02445796v1
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