Search - IFIP Open Digital Library Access content directly

Filter your results

19 959 results
level0_domain_s : Computer Science [cs]
Page :
sorted by
Image document

How Form Errors Impact on 2D Precision Assembly with Clearance?

 Pierre-Antoine Adragna , Serge Samper , Hugues Favreliere
5th IFIP WG 5.5 International Precision Assembly Seminar (IPAS), Feb 2010, Chamonix, France. pp.50-59, ⟨10.1007/978-3-642-11598-1_6⟩
Conference papers hal-00457664v1
Image document

Labeled VoIP Data-set for Intrusion Detection Evaluation

 Mohamed Nassar , State Radu , Olivier Festor
EUNICE 2010, Jun 2010, Trondheim, Norway. pp.97-106
Conference papers inria-00497735v1

When Clocks Fail: On Critical Paths and Clock Faults

 Michel Agoyan , Jean-Max Dutertre , David Naccache , Bruno Robisson , Assia Tria
9th IFIP WG 8.8/11.2 International Conference on Smart Card Research and Advanced Applications (CARDIS), Apr 2010, Passau, Germany. pp.182-193, ⟨10.1007/978-3-642-12510-2_13⟩
Conference papers emse-00505344v1
Image document

Rialto 2.0: A Language for Heterogeneous Computations

 Johan Lilius , Andreas Dahlin , Lionel Morel
Distributed, Parallel and Biologically Inspired Systems, Sep 2010, Brisbane, Australia. pp.7-18, ⟨10.1007/978-3-642-15234-4_3⟩
Conference papers hal-00521339v1
Image document

An Autonomic Testing Framework for IPv6 Configuration Protocols

 Sheila Becker , Humberto Abdelnur , Radu State , Thomas Engel
4th International Conference on Autonomous Infrastructure, Management and Security - AIMS 2010, University of Zurich, Jun 2010, Zurich, Switzerland. pp.65-76, ⟨10.1007/978-3-642-13986-4_7⟩
Conference papers inria-00546171v1
Image document

Safe Equivalences for Security Properties

 Mário S. Alvim , Miguel E. Andrés , Catuscia Palamidessi , Peter van Rossum
6th IFIP International Conference on Theoretical Computer Science (TCS 2010), Sep 2010, Brisbane, Australia. pp.55-70, ⟨10.1007/978-3-642-15240-5_5⟩
Conference papers inria-00479674v2
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

Ex-SDF: an extended service dependency framework for intrusion impact assessment

 Nizar Kheir , Nora Cuppens-Bouhlahia , Frédéric Cuppens , Hervé Debar
25th IFIP TC 11 International Information Security Conference (SEC) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.148-160, ⟨10.1007/978-3-642-15257-3_14⟩
Conference papers hal-00565624v1

Analysis of token and ticket based mechanisms for current voIP security issues and enhancement proposal

 Patrick Battistello , Cyril Delétré
CMC 2010 : 11th IFIP TC 6/TC 11 International Conference on Communications and Multimedia Security, May 2010, Linz, Austria. pp.154 - 165
Conference papers hal-00565730v1
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

An approach for interoperability requirements specification and verification

 Sihem Mallek , Nicolas Daclin , Vincent Chapurlat
3rd IFIP Working Conference on Enterprise Interoperability (IWEI), Mar 2011, Stokholm, Sweden. pp.89-102, ⟨10.1007/978-3-642-19680-5_9⟩
Conference papers hal-00588834v1
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

Composing Trust Models towards Interoperable Trust Management

 Rachid Saadi , Mohammad Ashiqur Rahaman, , Valérie Issarny , Alessandra Toninelli
5th International Conference on Trust Management (TM), Jun 2011, Copenhagen, Denmark. pp.51-66, ⟨10.1007/978-3-642-22200-9_7⟩
Conference papers inria-00617629v1
Image document

Proximity-Based Trust Inference for Mobile Social Networking

 Amir Seyedi , Rachid Saadi , Valérie Issarny
Trust Management V, Jun 2011, Copenhagen, Denmark. pp.253-264, ⟨10.1007/978-3-642-22200-9_20⟩
Conference papers inria-00617630v1
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
Page :