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

Filter your results

3 results
Deposit type : Fulltext
labStructName_s : BASICS
labStructName_s : Laboratoire d'Informatique de Paris 6
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

DTN Support for News Dissemination in an Urban Area

Tuan-Minh Pham , Serge Fdida
10th International IFIP TC 6 Networking Conference, May 2011, Valencia, Spain. pp.120-133, ⟨10.1007/978-3-642-20757-0_10⟩
Conference papers hal-00609992v1
Image document

Fast-Converging Scheduling and Routing Algorithms for WiMAX Mesh Networks

Salim Nahle , Naceur Malouch
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.238-249, ⟨10.1007/978-3-642-20798-3_18⟩
Conference papers hal-01285694v1