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

Filter your results

5 results
Deposit type : Fulltext
labStructName_s : Laboratoire d'Intégration des Systèmes et des Technologies
labStructName_s : Inria Grenoble - Rhône-Alpes
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

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

A Hybrid Threat Detection and Security Adaptation System for Industrial Wireless Sensor Networks

Mohammed Bahria , Alexis Olivereau , Aymen Boudguiga
7th International Workshop on Self-Organizing Systems (IWSOS), May 2013, Palma de Mallorca, Spain. pp.157-162, ⟨10.1007/978-3-642-54140-7_15⟩
Conference papers hal-01291513v1
Image document

TactiPEd: Easy prototyping of tactile patterns

Sabrina Panëels , Margarita Anastassova , Lucie Brunet
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.228-245, ⟨10.1007/978-3-642-40480-1_15⟩
Conference papers hal-01501746v1
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