Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
Structure: Internal structure identifier : 304304
publicationDateY_i : 2011
Image document

Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces

Fan Yang , Tomoyuki Aotani , Hidehiko Masuhara , Flemming Nielson , Hanne Riis Nielson
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.202-218, ⟨10.1007/978-3-642-21464-6_14⟩
Conference papers hal-01582991v1
Image document

Elderly User Evaluation of Mobile Touchscreen Interactions

Masatomo Kobayashi , Atsushi Hiyama , Takahiro Miura , Chieko Asakawa , Michitaka Hirose , et al.
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.83-99, ⟨10.1007/978-3-642-23774-4_9⟩
Conference papers hal-01590558v1