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

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Dept. of Psychology
labStructName_s : Dipartimento di Scienze dell'Informazione [Bologna]
Image document

Semantic Subtyping for Objects and Classes

Ornela Dardha , Daniele Gorla , Daniele Varacca
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, Firenze, Italy. pp.66-82, ⟨10.1007/978-3-642-38592-6_6⟩
Conference papers hal-00909299v1
Image document

Mobility Matters: Identifying Cognitive Demands That Are Sensitive to Orientation

G. Michael Poor , Guy Zimmerman , Dale S. Klopfer , Samuel D. Jaffee , Laura Marie Leventhal , et al.
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.193-210, ⟨10.1007/978-3-642-40483-2_14⟩
Conference papers hal-01497436v1