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

Filter your results

3 results
Deposit type : Fulltext
labStructName_s : Laboratoire d'informatique Fondamentale de Marseille - UMR 6166
labStructName_s : Edinburgh College of Art
Image document

An Accurate Type System for Information Flow in Presence of Arrays

Séverine Fratani , Jean-Marc Talbot
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.153-167, ⟨10.1007/978-3-642-21461-5_10⟩
Conference papers hal-01583316v1
Image document

Critical Design :: Is It Just Designers Doing Ethnography or Does It Offer Something More for Interaction Design?

Michael Smyth , Chris Speed , Martin Brynskov
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.685-686, ⟨10.1007/978-3-642-23768-3_115⟩
Conference papers hal-01597040v1
Image document

Time Affordances and Physical Mobility in the Context of Ubiquitous Technologies

Larissa Pschetz
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.426-429, ⟨10.1007/978-3-642-23768-3_49⟩
Conference papers hal-01596927v1