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

Filter your results

5 results
Deposit type : Fulltext
labStructName_s : Inria Paris-Rocquencourt
labStructName_s : Institut de hautes études en administration publique
Page :
sorted by
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

Can code polymorphism limit information leakage?

 Antoine Amarilli , Sascha Müller , David Naccache , Daniel Page , Pablo Rauzy , et al.
5th Workshop on Information Security Theory and Practices (WISTP), Jun 2011, Heraklion, Crete, Greece. pp.1-21, ⟨10.1007/978-3-642-21040-2_1⟩
Conference papers hal-01110259v1
Image document

The Role of Ontologies in Emergent Middleware: Supporting Interoperability in Complex Distributed Systems

 Gordon Blair , Amel Bennaceur , Nikolaos Georgantas , Paul Grace , Valérie Issarny , et al.
12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.410-430, ⟨10.1007/978-3-642-25821-3_21⟩
Conference papers inria-00629059v1
Image document

Design Thinking and Participation: Lessons Learned from Three Case Studies

 Olivier Glassey , Jean-Henry Morin , Patrick Genoud , Giorgio Pauletto
3rd Electronic Participation (ePart), Aug 2011, Delft, Netherlands. pp.133-144, ⟨10.1007/978-3-642-23333-3_12⟩
Conference papers hal-00616740v1
Image document

AmbiStream: A Middleware for Multimedia Streaming on Heterogeneous Mobile Devices

 Emil - Mircea Andriescu , Roberto Speicys Cardoso , Valérie Issarny
12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.249-268, ⟨10.1007/978-3-642-25821-3_13⟩
Conference papers hal-00639633v1
Page :