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

Filter your results

443 results
Deposit type : Fulltext
Page :
sorted by
Image document

Parameterized Strategies Specification in Maude

 Rubén Rubio , Narciso Martí-Oliet , Isabel Pita , Alberto Verdejo
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.27-44, ⟨10.1007/978-3-030-23220-7_2⟩
Conference papers hal-02364577v1
Image document

A Method for Optimizing Complex Graphical Interfaces for Fast and Correct Perception of System States

 Marie-Christin Harre , Sebastian Feuerstack , Bertram Wortelen
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.65-87, ⟨10.1007/978-3-030-05909-5_5⟩
Conference papers hal-02270711v1
Image document

Organizational Features in Disaster Risk Management Systems

 Yury Manyoma , Nicolas Reyes , Luz Esperanza Bohorquez
3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.155-174, ⟨10.1007/978-3-030-32169-7_12⟩
Conference papers hal-02799291v1
Image document

Detection of Bitcoin-Based Botnets Using a One-Class Classifier

 Bruno Bogaz Zarpelão , Rodrigo Sanches Miani , Muttukrishnan Rajarajan
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.174-189, ⟨10.1007/978-3-030-20074-9_13⟩
Conference papers hal-02294596v1
Image document

Generic Architecture for Lightweight Block Ciphers: A First Step Towards Agile Implementation of Multiple Ciphers

 Etienne Tehrani , Jean-Luc Danger , Tarik Graba
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.28-43, ⟨10.1007/978-3-030-20074-9_4⟩
Conference papers hal-02294599v1
Image document

Structuring Theories with Implicit Morphisms

 Florian Rabe , Dennis Müller
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.154-173, ⟨10.1007/978-3-030-23220-7_9⟩
Conference papers hal-02364570v1
Image document

Strategy of Effective Decision-Making in Planning and Elimination of Consequences of Emergency Situations

 Igor Grebennik , Viktor Reshetnik , Ata Ovezgeldyyev , Valerii Ivanov , Inna Urniaieva
3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.66-75, ⟨10.1007/978-3-030-32169-7_6⟩
Conference papers hal-02799290v1
Image document

Intuitive User-Centered Interaction Design for ATV

 Stuart Chapman , Thomas Kirks , Jana Jost
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.335-342, ⟨10.1007/978-3-030-05909-5_22⟩
Conference papers hal-02270712v1
Image document

An Algebraic Theory for Data Linkage

 Liang-Ting Chen , Markus Roggenbach , John V. Tucker
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.47-66, ⟨10.1007/978-3-030-23220-7_3⟩
Conference papers hal-02364574v1
Image document

Linear Depth Integer-Wise Homomorphic Division

 Hiroki Okada , Carlos Cid , Seira Hidano , Shinsaku Kiyomoto
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.91-106, ⟨10.1007/978-3-030-20074-9_8⟩
Conference papers hal-02294597v1
Image document

Preparing a Smart Environment to Decision-Making in Emergency Traffic Control Management

 Jacimar F. Tavares , Marcos Borges , Adriana S. Vivacqua
3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.12-21, ⟨10.1007/978-3-030-32169-7_2⟩
Conference papers hal-02799281v1
Image document

Micro Failure Region Models Inducing Massive Correlated Failures on Networks Topologies

 Nicolás A. Boettcher , Yasmany Prieto , Jorge E. Pezoa
3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.130-141, ⟨10.1007/978-3-030-32169-7_10⟩
Conference papers hal-02799283v1
Image document

CBRN Risk Analysis Using the Analytical Tools of the WAZkA System

 Ryszard Antkiewicz , Zbigniew Tarapata , Dariusz Pierzchała , Jarosław Rulka , Andrzej Najgebauer
3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.36-49, ⟨10.1007/978-3-030-32169-7_4⟩
Conference papers hal-02799285v1
Image document

Get Realistic! - UCD Course Design and Evaluation

 Marta Larusdottir , Virpi Roto , Jan Stage , Andres Lucero
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.15-30, ⟨10.1007/978-3-030-05909-5_2⟩
Conference papers hal-02270704v1
Image document

Recovery Watcher: A Disaster Communication System for Situation Awareness and Its Use for Barrier-Free Information Provision

 Yuko Murayama , Kayoko Yamamoto , Jun Sasaki
3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.1-11, ⟨10.1007/978-3-030-32169-7_1⟩
Conference papers hal-02799294v1
Image document

Usability Evaluation of Model-Driven Cross-Device Web User Interfaces

 Enes Yigitbas , Anthony Anjorin , Ivan Jovanovikj , Thomas Kern , Stefan Sauer , et al.
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.231-247, ⟨10.1007/978-3-030-05909-5_14⟩
Conference papers hal-02270698v1
Image document

Analyzing Cascading Effects in Interdependent Critical Infrastructures

 Ahmed Abdelgawad , Mohamed Saleh , Jose Gonzalez
3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.50-65, ⟨10.1007/978-3-030-32169-7_5⟩
Conference papers hal-02799278v1
Image document

Towards a Model to Address the Interplay Between IoT Applications and Users in Complex Heterogeneous Contexts

 Carmelo Ardito , Danilo Caivano , Lucio Colizzi , Loredana Verardi
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.283-293, ⟨10.1007/978-3-030-05909-5_17⟩
Conference papers hal-02270705v1
Image document

A Visual Tool for Analysing IoT Trigger/Action Programming

 Luca Corcella , Marco Manca , Fabio Paternò , Carmen Santoro
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.189-206, ⟨10.1007/978-3-030-05909-5_11⟩
Conference papers hal-02270715v1
Image document

Finite Limits and Anti-unification in Substitution Categories

 Wolfram Kahl
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.87-102, ⟨10.1007/978-3-030-23220-7_5⟩
Conference papers hal-02364568v1
Image document

Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories

 Jens Kosiol , Lars Fritsche , Nebras Nassar , Andy Schürr , Gabriele Taentzer
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-23220-7_8⟩
Conference papers hal-02364576v1
Image document

Blockchain and the GDPR: A Data Protection Authority Point of View

 Amandine Jambert
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.3-6, ⟨10.1007/978-3-030-20074-9_1⟩
Conference papers hal-02294598v1
Image document

Absolute Indirect Touch Interaction: Impact of Haptic Marks and Animated Visual Feedback on Usability and User Experience

 Regina Bernhaupt , Dimitri Drouet , Michael Pirker
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.251-269, ⟨10.1007/978-3-030-05909-5_15⟩
Conference papers hal-02270706v1
Image document

A Systematic Review on the Use of Groupware Technologies in Emergency Management

 Jacimar F. Tavares , Leandro Da Silva Gonçalves , Patrícia Gonçalves , Marcos Borges
3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.22-35, ⟨10.1007/978-3-030-32169-7_3⟩
Conference papers hal-02799293v1
Image document

MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems

 Alexandre Canny , Martin Cronel , Bruno Dumas , Philippe Palanque
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.109-129, ⟨10.1007/978-3-030-05909-5_7⟩
Conference papers hal-02270703v1
Image document

From Startup to Scaleup: An Interview Study of the Development of User Experience Work in a Data-Intensive Company

 Kati Kuusinen , Martin Kjølbye Sørensen , Nicklas Mandrup Frederiksen , Niclas Kildahl Laugesen , Søren Holm Juul
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.3-14, ⟨10.1007/978-3-030-05909-5_1⟩
Conference papers hal-02270708v1
Image document

Participatory Ideation for Gamification: Bringing the User at the Heart of the Gamification Design Process

 Thomas Vilarinho , Babak Farshchian , Jacqueline Floch , Ole Gunhildsberg Hansen
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.51-61, ⟨10.1007/978-3-030-05909-5_4⟩
Conference papers hal-02270710v1
Image document

Factors Affecting the Choice of Usability Evaluation Methods for Interactive Adaptive Systems

 Amira Dhouib , Ahlem Assila , Abdelwaheb Trabelsi , Christophe Kolski , Mahmoud Neji
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.270-282, ⟨10.1007/978-3-030-05909-5_16⟩
Conference papers hal-02270701v1
Image document

Secure Outsourcing in Discrete-Logarithm-Based and Pairing-Based Cryptography (Invited Talk)

 Damien Vergnaud
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.7-11, ⟨10.1007/978-3-030-20074-9_2⟩
Conference papers hal-02294605v1
Image document

A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs

 Wolfram Kahl , Yuhang Zhao
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.103-118, ⟨10.1007/978-3-030-23220-7_6⟩
Conference papers hal-02364572v1
Page :