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

Filter your results

842 results
Deposit type : Fulltext
Deposit type : Annex
Page :
sorted by
Image document

Ownership Types for the Join Calculus

 Marco Patrignani , Dave Clarke , Davide Sangiorgi
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.289-303, ⟨10.1007/978-3-642-21461-5_19⟩
Conference papers hal-01583320v1
Image document

STEPS - an Approach for Human Mobility Modeling

 Anh-Dung Nguyen , Patrick Sénac , Michel Diaz
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.254-265, ⟨10.1007/978-3-642-20757-0_20⟩
Conference papers hal-00908497v1
Image document

A Nash Bargaining Solution for Cooperative Network Formation Games

 Konstantin Avrachenkov , Jocelyne Elias , Fabio Martignon , Giovanni Neglia , Leon Petrosyan
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.307-318, ⟨10.1007/978-3-642-20757-0_24⟩
Conference papers hal-00648190v2
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

Argument Visualization for eParticipation: Towards a Research Agenda and Prototype Tool

 Neil Benn , Ann Macintosh
3rd Electronic Participation (ePart), Aug 2011, Delft, Netherlands. pp.60-73, ⟨10.1007/978-3-642-23333-3_6⟩
Conference papers hal-01589385v1
Image document

A Secure One-Way Authentication Protocol in IMS Context

 Mohamed Maachaoui , Anas Abou El Kalam , Christian Fraboul
12th Communications and Multimedia Security (CMS), Oct 2011, Ghent, Belgium. pp.222-231, ⟨10.1007/978-3-642-24712-5_21⟩
Conference papers hal-01596208v1
Image document

Conformance Relations for Distributed Testing Based on CSP

 Ana Cavalcanti , Marie-Claude Gaudel , Robert M. Hierons
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.48-63, ⟨10.1007/978-3-642-24580-0_5⟩
Conference papers hal-01583923v1
Image document

Counting for Random Testing

 Marie-Claude Gaudel
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.1-8, ⟨10.1007/978-3-642-24580-0_1⟩
Conference papers hal-01583925v1

Distributed Applications and Interoperable Systems

 Felber Pascal , Romain Rouvoy
Springer-Verlag, LNCS-6723, 2011, Lecture Notes in Computer Science, 978-3-642-21386-1. ⟨10.1007/978-3-642-21387-8⟩
Books inria-00635862v1
Image document

Knowledge base for an autonomic transport layer

 Ernesto Expósito , Christophe Chassot , Michel Diaz
9th Wired/Wireless Internet Communications (WWIC), Jun 2011, Vilanova i la Geltrú, Spain. ⟨10.1007/978-3-642-21560-5_15⟩
Conference papers hal-01024654v1
Image document

Selective Disclosure on Encrypted Documents

 Hao Lei , Dengguo Feng
23th Data and Applications Security (DBSec), Jul 2011, Richmond, VA, United States. pp.255-262, ⟨10.1007/978-3-642-22348-8_21⟩
Conference papers hal-01586575v1
Image document

A Load-Aware Data Placement Policy on Cluster File System

 Yu Wang , Jing Xing , Jin Xiong , Dan Meng
8th Network and Parallel Computing (NPC), Oct 2011, Changsha,, China. pp.17-31, ⟨10.1007/978-3-642-24403-2_2⟩
Conference papers hal-01593007v1
Image document

Integrity of Electronic Patient Records

 Joris Hulstijn , Jan van Der Jagt , Pieter Heijboer
10th Electronic Government (EGOV), Aug 2011, Delft, Netherlands. pp.378-391, ⟨10.1007/978-3-642-22878-0_32⟩
Conference papers hal-01589094v1
Image document

oBGP: An Overlay for a Scalable iBGP Control Plane

 Iuniana Oprescu , Mickaël Meulle , Steve Uhlig , Cristel Pelsser , Olaf Maennel , et al.
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.420-431, ⟨10.1007/978-3-642-20757-0_33⟩
Conference papers hal-01583402v1
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

Formal Framework for the Evaluation of Waveform Resynchronization Algorithms

 Sylvain Guilley , Karim Khalfallah , Victor Lomne , Jean-Luc Danger
5th Workshop on Information Security Theory and Practices (WISTP), Jun 2011, Heraklion, Crete, Greece. pp.100-115, ⟨10.1007/978-3-642-21040-2_7⟩
Conference papers hal-01573296v1
Image document

Domain Experts Tailoring Interaction to Users – An Evaluation Study

 Helena Lindgren , Patrik J. Winnberg , Peter Winnberg
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.644-661, ⟨10.1007/978-3-642-23765-2_44⟩
Conference papers hal-01591800v1
Image document

Speaking to See: A Feasibility Study of Voice-Assisted Visual Search

 Victor Kaptelinin , Herje Wåhlen
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.444-451, ⟨10.1007/978-3-642-23774-4_37⟩
Conference papers hal-01590557v1
Image document

Using testing techniques for vulnerability detection in C programs

 Amel Mammar , Ana Rosa Cavalli , Willy Ronald Jimenez Freitez , Wissam Mallouli , Edgardo Montes de Oca
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.80-96, ⟨10.1007/978-3-642-24580-0_7⟩
Conference papers hal-01303013v1
Image document

Mobility Prediction Based Neighborhood Discovery in Mobile Ad Hoc Networks

 Xu Li , Nathalie Mitton , David Simplot-Ryl
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.241-253, ⟨10.1007/978-3-642-20757-0_19⟩
Conference papers inria-00598976v1
Image document

Secure Negotiation for Manual Authentication Protocols

 Milica Milutinovic , Roel Peeters , Bart De Decker
12th Communications and Multimedia Security (CMS), Oct 2011, Ghent, Belgium. pp.214-221, ⟨10.1007/978-3-642-24712-5_20⟩
Conference papers hal-01596202v1
Image document

A Random Walk Approach to Modeling the Dynamics of the Blogosphere

 Muhammad Zubair Shafiq , Alex X. Liu
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.294-306, ⟨10.1007/978-3-642-20757-0_23⟩
Conference papers hal-01583405v1
Image document

Cognitive Ergonomics in Visualization

 Michael Raschke , Tanja Blascheck , Thomas Ertl
8th Workshop on Human-Computer Interaction and Visualization (HCIV), Sep 2011, Lisbon, Portugal. pp.80-94, ⟨10.1007/978-3-642-54894-9_7⟩
Conference papers hal-01414682v1
Image document

Decoding Algorithms for Random Linear Network Codes

 Janus Heide , Morten V. Pedersen , Frank Fitzek
International IFIP TC 6 Workshops PE-CRN, NC-Pro, WCNS, and SUNSET 2011 Held at NETWORKING 2011 (NETWORKING), May 2011, Valencia, Spain. pp.129-136, ⟨10.1007/978-3-642-23041-7_13⟩
Conference papers hal-01587835v1
Image document

Kodo: An Open and Research Oriented Network Coding Library

 Morten V. Pedersen , Janus Heide , Frank Fitzek
International IFIP TC 6 Workshops PE-CRN, NC-Pro, WCNS, and SUNSET 2011 Held at NETWORKING 2011 (NETWORKING), May 2011, Valencia, Spain. pp.145-152, ⟨10.1007/978-3-642-23041-7_15⟩
Conference papers hal-01587857v1
Image document

Don’t Look at Me, I’m Talking to You: Investigating Input and Output Modalities for In-Vehicle Systems

 Lars Holm Christiansen , Nikolaj Yde Frederiksen , Brit Susan Jensen , Alex Ranch , Mikael B. Skov , et al.
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.675-691, ⟨10.1007/978-3-642-23771-3_49⟩
Conference papers hal-01590843v1
Image document

Towards a Context Oriented Approach to Ethical Evaluation of Interactive Technologies

 Sandra Burri Gram-Hansen , Henrik Schärfe , Jens Vilhelm Dinesen
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.628-631, ⟨10.1007/978-3-642-23768-3_99⟩
Conference papers hal-01596939v1
Image document

Confidant: Protecting OSN Data without Locking It Up

 Dongtao Liu , Amre Shakimov , Ramón Cáceres , Alexander Varshavsky , Landon P. Cox
12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.61-80, ⟨10.1007/978-3-642-25821-3_4⟩
Conference papers hal-01597763v1
Image document

A Novel Scalable IPv6 Lookup Scheme Using Compressed Pipelined Tries

 Michel Hanna , Sangyeun Cho , Rami Melhem
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.406-419, ⟨10.1007/978-3-642-20757-0_32⟩
Conference papers hal-01583419v1
Image document

Access Path Based Source Address Validation in Mobile IPv6

 Min Zhu , Ke Xu , Qi Li
8th Network and Parallel Computing (NPC), Oct 2011, Changsha,, China. pp.334-349, ⟨10.1007/978-3-642-24403-2_26⟩
Conference papers hal-01593028v1
Page :