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

Filter your results

10 results
labStructName_s : NOKIA Research Center
labStructName_s : Laboratoire Lorrain de Recherche en Informatique et ses Applications
language_s : English
Deposit type : Fulltext
Page :
sorted by
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

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

Playing with Tactile Feedback Latency in Touchscreen Interaction: Two Approaches

 Topi Kaaresoja , Eve Hoggan , Emilia Anttila
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.554-571, ⟨10.1007/978-3-642-23771-3_42⟩
Conference papers hal-01590872v1
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

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

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

User Interaction Techniques for Future Lighting Systems

 Dzmitry Aliakseyeu , Jon Mason , Bernt Meerbeek , Harm Van Essen , Serge Offermans , et al.
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.744-745, ⟨10.1007/978-3-642-23768-3_144⟩
Conference papers hal-01596943v1
Image document

You Can Wear It, But Do They Want to Share It or Stare at It?

 Arto Puikkonen , Anu Lehtiö , Antti Virolainen
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.497-504, ⟨10.1007/978-3-642-23774-4_41⟩
Conference papers hal-01590569v1
Image document

In Class Adoption of Multimedia Mobile Phones by Gender - Results from a Field Study

 Elba Del C. Valderrama-Bahamondez , Jarmo Kauko , Jonna Häkkilä , Albrecht Schmidt
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.333-340, ⟨10.1007/978-3-642-23771-3_25⟩
Conference papers hal-01590859v1
Image document

Towards Verification of the Pastry Protocol Using TLA +

 Tianxiang Lu , Stephan Merz , Christoph Weidenbach
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.244-258, ⟨10.1007/978-3-642-21461-5_16⟩
Conference papers hal-01583322v1
Page :