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

Filter your results

5 results
Deposit type : Fulltext
labStructName_s : Preuves, Programmes et Systèmes
labStructName_s : Instituto Superior Técnico
Image document

TROCAS: Communication Skills Development in Children with Autism Spectrum Disorders via ICT

Margarida Silva , Carla Simões , Daniel Gonçalves , Tiago Guerreiro , Hugo Silva , et al.
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.644-647, ⟨10.1007/978-3-642-23768-3_103⟩
Conference papers hal-01596916v1
Image document

Mobile Accessibility Workshop

Daniel Gonçalves , Luis Carriço , Markel Vigo
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.734-735, ⟨10.1007/978-3-642-23768-3_139⟩
Conference papers hal-01597025v1
Image document

Fair Subtyping for Multi-Party Session Types

Luca Padovani
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.127-141, ⟨10.1007/978-3-642-21464-6_9⟩
Conference papers hal-00546531v2
Image document

On global types and multi-party sessions

Giuseppe Castagna , Mariangiola Dezani-Ciancaglini , Luca Padovani
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.1-28, ⟨10.1007/978-3-642-21461-5_1⟩
Conference papers hal-00618814v1
Image document

HRAN - A Scalable Routing Protocol for Multihop Wireless Networks Using Bloom Filters

João Trindade , Teresa Vazão
9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. pp.434-445, ⟨10.1007/978-3-642-21560-5_36⟩
Conference papers hal-01583659v1