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

Filter your results

4 results
Deposit type : Fulltext
labStructName_s : Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées
labStructName_s : Instituto Superior Técnico
Image document

A Framework for Verifying Data-Centric Protocols

Yuxin Deng , Stéphane Grumbach , Jean-François Monin
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.106-120, ⟨10.1007/978-3-642-21461-5_7⟩
Conference papers hal-00647802v1
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

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