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

Filter your results

443 results
Deposit type : Fulltext
Page :
sorted by
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

Tweeting About Floods of Messinia (Greece, September 2016) - Towards a Credible Methodology for Disaster Management Purposes

 Stathis G. Arapostathis
3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.142-154, ⟨10.1007/978-3-030-32169-7_11⟩
Conference papers hal-02799279v1
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

Universally Designed Beacon-Assisted Indoor Navigation for Emergency Evacuations

 G. Anthony Giannoumis , Terje Gjøsæter , Jaziar Radianti , Cristina Paupini
3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.120-129, ⟨10.1007/978-3-030-32169-7_9⟩
Conference papers hal-02799287v1
Image document

Real-Time Tornado Forecasting Using SLHGN

 Benny Benyamin Nasution , Rahmat Widia Sembiring , Muhammad Syahruddin , Nursiah Mustari , Abdul Rahman Dalimunthe , et al.
3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.97-119, ⟨10.1007/978-3-030-32169-7_8⟩
Conference papers hal-02799277v1
Image document

Geological – Geomorphological Features of River Catchments in Flood Susceptibility Assessment (on the Example of Middle Struma Valley, Bulgaria)

 Valentina Nikolova , Plamena Zlateva , Ivan Dimitrov
3rd International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Sep 2018, Poznan, Poland. pp.76-96, ⟨10.1007/978-3-030-32169-7_7⟩
Conference papers hal-02799288v1
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

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

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

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

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

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

Role-Based Development of Dynamically Evolving Esembles

 Rolf Hennicker
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.3-24, ⟨10.1007/978-3-030-23220-7_1⟩
Conference papers hal-02364578v1
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

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

Institutions for SQL Database Schemas and Datasets

 Martin Glauer , Till Mossakowski
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.67-86, ⟨10.1007/978-3-030-23220-7_4⟩
Conference papers hal-02364575v1
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

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

Term Charters

 Alexander Knapp , María Victoria Cengarle
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.119-138, ⟨10.1007/978-3-030-23220-7_7⟩
Conference papers hal-02364571v1
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

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

Generating a Real-Time Constraint Engine for Network Protocols

 Mohamed Sami Rakha , Fahim T. Imam , Thomas R. Dean
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.44-60, ⟨10.1007/978-3-030-20074-9_5⟩
Conference papers hal-02294615v1
Image document

Cybersecurity Behaviour: A Conceptual Taxonomy

 Thulani Mashiane , Elmarie Kritzinger
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.147-156, ⟨10.1007/978-3-030-20074-9_11⟩
Conference papers hal-02294613v1
Image document

Remote Credential Management with Mutual Attestation for Trusted Execution Environments

 Carlton Shepherd , Raja Naeem Akram , Konstantinos Markantonakis
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.157-173, ⟨10.1007/978-3-030-20074-9_12⟩
Conference papers hal-02294612v1
Image document

Prediction-Based Intrusion Detection System for In-Vehicle Networks Using Supervised Learning and Outlier-Detection

 Moulay Abdelaziz Elaabid , Khaled Karray , Jean-Luc Danger , Sylvain Guilley
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.109-128, ⟨10.1007/978-3-030-20074-9_9⟩
Conference papers hal-02294610v1
Image document

A Family of Lightweight Twisted Edwards Curves for the Internet of Things

 Sankalp Ghatpande , Johann Grossschädl , Zhe Liu
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.193-206, ⟨10.1007/978-3-030-20074-9_14⟩
Conference papers hal-02294608v1
Image document

A Generic Lightweight and Scalable Access Control Framework for IoT Gateways

 Juan D. Parra Rodriguez
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.207-222, ⟨10.1007/978-3-030-20074-9_15⟩
Conference papers hal-02294606v1
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

Deep Learning Application in Security and Privacy – Theory and Practice: A Position Paper

 Julia A. Meister , Raja Naeem Akram , Konstantinos Markantonakis
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.129-144, ⟨10.1007/978-3-030-20074-9_10⟩
Conference papers hal-02294604v1
Image document

Bringing Kleptography to Real-World TLS

 Adam Janovsky , Jan Krhovjak , Vashek Matyas
12th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2018, Brussels, Belgium. pp.15-27, ⟨10.1007/978-3-030-20074-9_3⟩
Conference papers hal-02294600v1
Page :