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

Filter your results

6 results
Deposit type : Fulltext
labStructName_s : Preuves, Programmes et Systèmes
labStructName_s : NOKIA Research Center
Image document

On global types and multi-party sessions

Giuseppe Castagna , Mariangiola Dezani-Ciancaglini , Luca Padovani
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.1-28, ⟨10.1007/978-3-642-21461-5_1⟩
Conference papers hal-00618814v1
Image document

Playing with Tactile Feedback Latency in Touchscreen Interaction: Two Approaches

Topi Kaaresoja , Eve Hoggan , Emilia Anttila
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.554-571, ⟨10.1007/978-3-642-23771-3_42⟩
Conference papers hal-01590872v1
Image document

Fair Subtyping for Multi-Party Session Types

Luca Padovani
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.127-141, ⟨10.1007/978-3-642-21464-6_9⟩
Conference papers hal-00546531v2
Image document

User Interaction Techniques for Future Lighting Systems

Dzmitry Aliakseyeu , Jon Mason , Bernt Meerbeek , Harm Van Essen , Serge Offermans , et al.
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.744-745, ⟨10.1007/978-3-642-23768-3_144⟩
Conference papers hal-01596943v1
Image document

You Can Wear It, But Do They Want to Share It or Stare at It?

Arto Puikkonen , Anu Lehtiö , Antti Virolainen
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.497-504, ⟨10.1007/978-3-642-23774-4_41⟩
Conference papers hal-01590569v1
Image document

In Class Adoption of Multimedia Mobile Phones by Gender - Results from a Field Study

Elba Del C. Valderrama-Bahamondez , Jarmo Kauko , Jonna Häkkilä , Albrecht Schmidt
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.333-340, ⟨10.1007/978-3-642-23771-3_25⟩
Conference papers hal-01590859v1