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

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Laboratoire d'Informatique de Grenoble
labStructName_s : Human Interfaces in Information Systems [Pisa]
Image document

A Visual Tool for Analysing IoT Trigger/Action Programming

Luca Corcella , Marco Manca , Fabio Paternò , Carmen Santoro
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.189-206, ⟨10.1007/978-3-030-05909-5_11⟩
Conference papers hal-02270715v1
Image document

Monotonic Prefix Consistency in Distributed Systems

Alain Girault , Gregor Gössler , Rachid Guerraoui , Jad Hamza , Dragos-Adrian Seredinschi
FORTE 2018 - 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2018, Madrid, Spain. pp.41-57, ⟨10.1007/978-3-319-92612-4_3⟩
Conference papers hal-01824817v1