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

Filter your results

4 results
Deposit type : Fulltext
labStructName_s : Centre d'études et de recherche en informatique et communications
labStructName_s : Dipartimento di Automatica e Informatica [Torino]
Image document

A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems

Ahmed Kheldoun , Kamel Barkaoui , Jiafeng Zhang , Malika Ioualalen
5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.551-562, ⟨10.1007/978-3-319-19578-0_45⟩
Conference papers hal-01789937v1
Image document

A Role-Switching Mechanic for Reflective Decision-Making Game

Thomas T.C.C. Constant , Axel Buendia , Catherine Rolland , Stéphane Natkin
14th International Conference on Entertainment Computing (ICEC), Letizia Jaccheri; Konstantinos Chorianopoulos, Sep 2015, Trondheim, Norway. pp.417-423, ⟨10.1007/978-3-319-24589-8_34⟩
Conference papers hal-01197401v1
Image document

Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context

Serena Spinoso , Matteo Virgilio , Wolfgang John , Antonio Manzalini , Guido Marchetto , et al.
4th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2015, Taormina, Italy. pp.253-262, ⟨10.1007/978-3-319-24072-5_18⟩
Conference papers hal-01757560v1
Image document

Bilingual Reading Experiences: What They Could Be and How to Design for Them

Clément Pillias , Pierre Cubaud
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.531-549, ⟨10.1007/978-3-319-22701-6_39⟩
Conference papers hal-01599650v1