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

Filter your results

4 results
Deposit type : Fulltext
labStructName_s : Center for Secure Information Systems [Fairfax]
labStructName_s : Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis
Page :
sorted by
Image document

Ensuring the Consistency Between User Requirements and GUI Prototypes: A Behavior-Based Automated Approach

 Thiago Rocha Silva , Marco Winckler , Hallvard Trætteberg
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.644-665, ⟨10.1007/978-3-030-29381-9_39⟩
Conference papers hal-02544532v1
Image document

Verification of concurrent design patterns with data

 Simon Bliudze , Ludovic Henrio , Eric Madelaine
COORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Conference papers hal-02143782v1
Image document

Human-Computer Interaction – INTERACT 2019: 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part IV

 David Lamas , Fernando Loizides , Helen Petrie , Marco Winckler , Panayiotis Zaphiris , et al.
Springer International Publishing, LNCS-11749, 2019, Lecture Notes in Computer Science
Books hal-02896565v1
Image document

CASFinder: Detecting Common Attack Surface

 Mengyuan Zhang , Yue Xin , Lingyu Wang , Sushil Jajodia , Anoop Singhal
33th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2019, Charleston, SC, United States. pp.338-358, ⟨10.1007/978-3-030-22479-0_18⟩
Conference papers hal-02384581v1
Page :