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

Filter your results

2 results
Deposit type : Fulltext
labStructName_s : Dipartimento di Scienze dell'Informazione [Bologna]
labStructName_s : Digital World Research Centre
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

Using Narrative Research and Portraiture to Inform Design Research

Connie Golsteijn , Serena Wright
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.298-315, ⟨10.1007/978-3-642-40477-1_19⟩
Conference papers hal-01504891v1