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

Filter your results

9 results
Page :
sorted by
Image document

Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs

 Clotilde Erard , Alain Giorgetti
31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.159-175, ⟨10.1007/978-3-030-31280-0_10⟩
Conference papers hal-02526343v1
Image document

Adaptive-Segmentation and Flexible-Delay Based Broadcasting Protocol for VANETs

 Houda Hafi , Wahabou Abdou , Salah Merniz
15th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2017, St. Petersburg, Russia. pp.207-218, ⟨10.1007/978-3-319-61382-6_17⟩
Conference papers hal-01675423v1
Image document

Computational Thinking Nurturing Skills and Inspiring Pedagogy for Sustainable Education in the 21st Century

 Christophe Reffay , Phuwadol Viroonluecha
1st International Conference on Sustainable ICT, Education, and Learning (SUZA), Apr 2019, Zanzibar, Tanzania. pp.66-77, ⟨10.1007/978-3-030-28764-1_9⟩
Conference papers hal-02515741v1
Image document

Towards Real-Time Co-authoring of Linked-Data on the Web

 Moulay Driss Mechaoui , Nadir Guetmi , Abdessamad Imine
CIIA'2015 - 5th International Conference on Computer Science and Its Applications, May 2015, Saida, Algeria. pp.538-548, ⟨10.1007/978-3-319-19578-0_44⟩
Conference papers hal-01789931v1
Image document

Canonical Form of Gray Codes in N-cubes

 Sylvain Contassot-Vivier , Jean-François Couchot
23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.68-80, ⟨10.1007/978-3-319-58631-1_6⟩
Conference papers hal-01656349v1
Image document

A version of LEACH Adapted to the Lognormal Shadowing Model

 Chifaa Tabet Hellel , Mohamed Lehsaini , Hervé Guyennet
5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.465-475, ⟨10.1007/978-3-319-19578-0_38⟩
Conference papers hal-01789956v1
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

Tooled Process for Early Validation of SysML Models using Modelica Simulation

 Jean-Marie Gauthier , Fabrice Bouquet , Ahmed Hammad , Fabien Peureux
6th Fundamentals of Software Engineering (FSEN), 2015, Tehran, Iran. pp.230-237, ⟨10.1007/978-3-319-24644-4_16⟩
Conference papers hal-01246025v1
Page :