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

Filter your results

815 results
Deposit type : Fulltext
Page :
sorted by
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

Network Non-Neutrality Debate: An Economic Analysis

 Eitan Altman , Arnaud Legout , Yuedong Xu
10th IFIP Networking Conference (NETWORKING), IFIP Technical Committee on Communication Systems (TC 6), May 2011, Valencia, Spain. pp.68-81, ⟨10.1007/978-3-642-20798-3_6⟩
Conference papers inria-00568922v2
Image document

Towards Vulnerability Prevention in Autonomic Networks and Systems

 Martin Barrere , Rémi Badonnel , Olivier Festor
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.65-68, ⟨10.1007/978-3-642-21484-4_9⟩
Conference papers hal-00580315v1
Image document

Global State Estimates for Distributed Systems

 Gabriel Kalyon , Tristan Le Gall , Hervé Marchand , Thierry Massart
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.198-212, ⟨10.1007/978-3-642-21461-5_13⟩
Conference papers inria-00581259v1
Image document

SimGrid MC: Verification Support for a Multi-API Simulation Platform

 Stephan Merz , Martin Quinson , Cristian Rosa
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.274-288, ⟨10.1007/978-3-642-21461-5_18⟩
Conference papers inria-00593505v1
Image document

The Role of Ontologies in Enabling Dynamic Interoperability

 Vatsala Nundloll , Paul Grace , Gordon Blair
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.179-193, ⟨10.1007/978-3-642-21387-8_14⟩
Conference papers inria-00594301v1
Image document

Kalimucho: Contextual Deployment for QoS Management

 Christine Louberry , Philippe Roose , Marc Dalmau
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.43-56, ⟨10.1007/978-3-642-21387-8_4⟩
Conference papers hal-00596372v1
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

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

BotTrack: Tracking Botnets Using NetFlow and PageRank

 Jérôme François , Shaonan Wang , Radu State , Thomas Engel
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.1-14, ⟨10.1007/978-3-642-20757-0_1⟩
Conference papers inria-00613597v1
Image document

Machine Learning Approach for IP-Flow Record Anomaly Detection

 Cynthia Wagner , Jérôme François , Radu State , Thomas Engel
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.28-39, ⟨10.1007/978-3-642-20757-0_3⟩
Conference papers inria-00613602v1
Image document

Cleaning Your House First: Shifting the Paradigm on How to Secure Networks

 Jérôme François , Giovane César Moreira Moura , Aiko Pras
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.1-12, ⟨10.1007/978-3-642-21484-4_1⟩
Conference papers inria-00613607v1
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

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

Redundancy and Collaboration in Wikibooks

 Ilaria Liccardi , Olivier Chapuis , Ching-Man Au Yeung , Wendy Mackay
Proceedings of the 13th International Conference on Human-Computer Interaction, Sep 2011, Lisbon, Portugal. pp.215-232, ⟨10.1007/978-3-642-23774-4_20⟩
Conference papers inria-00595516v2
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

Estimating the Perceived Difficulty of Pen Gestures

 Radu Daniel Vatavu , Daniel Vogel , Géry Casiez , Laurent Grisoni
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbonne, Portugal. pp.89-106, ⟨10.1007/978-3-642-23771-3_9⟩
Conference papers inria-00638385v1
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
Image document

Praspel: A Specification Language for Contract-Based Testing in PHP

 Ivan Enderlin , Frédéric Dadeau , Alain Giorgetti , Abdallah Ben Othman
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.64-79, ⟨10.1007/978-3-642-24580-0_6⟩
Conference papers hal-00640279v1
Image document

Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests

 Kalou Cabrera Castillos , Frédéric Dadeau , Jacques Julliand , Safouan Taha
23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩
Conference papers hal-00640312v1
Image document

Bridging the Interoperability Gap: Overcoming Combined Application and Middleware Heterogeneity

 Yérom-David Bromberg , Paul Grace , Laurent Réveillère , Gordon Blair
12th International Middleware Conference (MIDDLEWARE), Dec 2011, Lisbon, Portugal. pp.390-409, ⟨10.1007/978-3-642-25821-3_20⟩
Conference papers hal-00643601v1
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

U-Note: Capture the Class and Access it Everywhere

 Sylvain Malacria , Thomas Pietrzak , Aurélien Tabard , Éric Lecolinet
Proceedings of the IFIP Conference on Human-Computer Interaction (Interact 2011), Sep 2011, Lisbonne, Portugal. pp.643-660, ⟨10.1007/978-3-642-23774-4_50⟩
Conference papers hal-00671380v1
Image document

FIRE: fault injection for reverse engineering

 Manuel San Pedro , Mate Soos , Sylvain Guilley
5th Workshop on Information Security Theory and Practices (WISTP), Jun 2011, Heraklion, Crete, Greece. pp.280-293, ⟨10.1007/978-3-642-21040-2_20⟩
Conference papers hal-00690868v1
Image document

Java Card Operand Stack : Fault Attacks, Combined Attacks and Countermeasures

 Guillaume Barbu , Guillaume Duc , Philippe Hoogvorst
10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. pp.297-313, ⟨10.1007/978-3-642-27257-8_19⟩
Conference papers hal-00692171v1
Image document

Synchronized Attacks on Multithreaded Systems - Application to Java Card 3.0

 Guillaume Barbu , Hugues Thiebeauld
10th Smart Card Research and Advanced Applications (CARDIS), Sep 2011, Leuven, Belgium. pp.18-33, ⟨10.1007/978-3-642-27257-8_2⟩
Conference papers hal-00692172v1
Image document

Econometric Feedback for Runtime Risk Management in VoIP Architectures

 Oussema Dabbebi , Badonnel Rémi , Festor Olivier
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.26-37, ⟨10.1007/978-3-642-21484-4_3⟩
Conference papers hal-00747274v1
Image document

OP: A Novel Programming Model for Integrated Design and Prototyping of Mixed Objects

 Céline Coutrix , Laurence Nigay
INTERACT 2011 - International Conference on Human-Computer Interaction, Sep 2011, Lisbon, Portugal. pp.54-72, ⟨10.1007/978-3-642-23765-2_5⟩
Conference papers hal-00758552v1
Image document

On the Limits of the Human Motor Control Precision: the Search for a Device's Human Resolution

 François Bérard , Guangyu Wang , Jeremy Cooperstock
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.107-122, ⟨10.1007/978-3-642-23771-3_10⟩
Conference papers hal-00759964v1
Image document

Session-Based Role Programming for the Design of Advanced Telephony Applications

 Gilles Vanwormhoudt , Areski Flissi
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.77-91, ⟨10.1007/978-3-642-21387-8_7⟩
Conference papers hal-00609512v1
Page :