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

Filter your results

3 results
Deposit type : Fulltext
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

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