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

Filter your results

5 results
Deposit type : Fulltext
labStructName_s : Laboratoire Lorrain de Recherche en Informatique et ses Applications
labStructName_s : Inria Grenoble - Rhône-Alpes
Image document

Formal Verification of Distributed Branching Multiway Synchronization Protocols

Hugues Evrard , Frédéric Lang
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.146-160
Conference papers hal-00818788v1
Image document

Cache Management Strategy for CCN based on Content Popularity

César Bernardini , Thomas Silverston , Olivier Festor
7th International Conference on Autonomous Infrastructure (AIMS), IFIP, Jun 2013, Barcelonne, Spain. pp.92-95, ⟨10.1007/978-3-642-38998-6_12⟩
Conference papers hal-00929736v1
Image document

Understanding Hand Degrees of Freedom and Natural Gestures for 3D Interaction on Tabletop

Rémi Brouet , Renaud Blanch , Marie-Paule Cani
14th International Conference on Human-Computer Interaction (INTERACT), IFIP, Sep 2013, Cape Town, South Africa. pp.297-314, ⟨10.1007/978-3-642-40483-2_20⟩
Conference papers hal-00814014v2
Image document

Monitoring and Security for the Internet of Things

Anthéa Mayzaud , Rémi Badonnel , Isabelle Chrisment
7th International Conference on Autonomous Infrastructure (AIMS), Jun 2013, Barcelona, Spain. pp.37-40, ⟨10.1007/978-3-642-38998-6_4⟩
Conference papers hal-00876216v1
Image document

Self-scalable Benchmarking as a Service with Automatic Saturation Detection

Alain Tchana , Bruno Dillenseger , Noel de Palma , Xavier Etchevers , Jean-Marc Vincent , et al.
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.389-404, ⟨10.1007/978-3-642-45065-5_20⟩
Conference papers hal-00949560v1