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

Filter your results

4 results
Deposit type : Fulltext
labStructName_s : The Bartlett
labStructName_s : Inria Rennes – Bretagne Atlantique
Image document

A Timed Component Algebra for Services

Benoît Delahaye , José Luiz Fiadeiro , Axel Legay , Antónia Lopes
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, Florence, Italy. pp.242-257, ⟨10.1007/978-3-642-38592-6_17⟩
Conference papers hal-01515250v1
Image document

Tension Space Analysis: Exploring Community Requirements for Networked Urban Screens

Steve North , Holger Schnädelbach , Ava Gen Schieck , Wallis Motta , Lei Ye , et al.
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.81-98, ⟨10.1007/978-3-642-40480-1_6⟩
Conference papers hal-01501790v1
Image document

Moment Machine: Opportunities and Challenges of Posting Situated Snapshots onto Networked Public Displays

Nemanja Memarovic , Ava Fatah Gen Schieck , Efstathia Kostopoulou , Moritz Behrens , Martin Traunmueller
14th International Conference on Human-Computer Interaction (INTERACT), Sep 2013, Cape Town, South Africa. pp.595-602, ⟨10.1007/978-3-642-40498-6_50⟩
Conference papers hal-01510559v1
Image document

DynaSoRe: Efficient In-Memory Store for Social Applications

Xiao Bai , Arnaud Jégou , Flavio P. Junqueira , Vincent Leroy
14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.425-444, ⟨10.1007/978-3-642-45065-5_22⟩
Conference papers hal-00932468v1