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

Filter your results

3 results
Deposit type : Fulltext
labStructName_s : Inria Saclay - Ile de France
labStructName_s : Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
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

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
Image document

A Labelled Semantics for Soft Concurrent Constraint Programming

Fabio Gadducci , Francesco Santini , Luis Pino , Frank Valencia
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.133-149, ⟨10.1007/978-3-319-19282-6_9⟩
Conference papers hal-01149227v1