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

Filter your results

11 results
Deposit type : Fulltext
labStructName_s : Inria Nancy - Grand Est
labStructName_s : Institut de recherche en informatique de Toulouse
Page :
sorted by
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
Image document

User Experience Evaluation in Entertainment and Games

 Regina Bernhaupt
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.716-717, ⟨10.1007/978-3-642-23768-3_130⟩
Conference papers hal-01596944v1
Image document

5th Workshop on Software and Usability Engineering Cross-Pollination: Patterns, Usability and User Experience

 Peter Forbrig , Regina Bernhaupt , Marco Winckler , Janet Wesson
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.718-719, ⟨10.1007/978-3-642-23768-3_131⟩
Conference papers hal-01596941v1
Image document

Experimenting and improving perception of 3D rotation-based transitions between 2D visualizations

 Maxime Cordeil , Christophe Hurter , Stéphane Conversy
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.531-534, ⟨10.1007/978-3-642-23768-3_75⟩
Conference papers hal-01022319v1
Image document

Structuring and Composition Mechanisms to Address Scalability Issues in Task Models

 Célia Martinie , Philippe Palanque , Marco Winckler
13th International Conference on Human-Computer Interaction (INTERACT 2011), Sep 2011, Lisbon, Portugal. pp.589-609, ⟨10.1007/978-3-642-23765-2_40⟩
Conference papers hal-01591816v1
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

Scenarchitectures: The Use of Domain-Specific Architectures to Bridge Design and Implementation

 Nicholas Graham , Emmanuel Dubois , Christophe Bortolaso , Christopher Wolfe
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.341-358, ⟨10.1007/978-3-642-23771-3_26⟩
Conference papers hal-01590876v1
Image document

Towards Self-Adaptive Monitoring Framework for Integrated Management

 Audrey Moui , Thierry Desprats
5th Autonomous Infrastructure, Management and Security (AIMS), Jun 2011, Nancy, France. pp.160-163, ⟨10.1007/978-3-642-21484-4_18⟩
Conference papers hal-01585860v1
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

Toward a Better Guidance in Wearable Electronic Orientation Aids

 Slim Kammoun , Marc J.-M. Macé , Bernard Oriola , Christophe Jouffrais
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbon, Portugal. pp.624-627, ⟨10.1007/978-3-642-23768-3_98⟩
Conference papers hal-01597024v1
Page :