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

Filter your results

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

“It’s Shocking!": Analysing the Impact and Reactions to the A3: Android Apps Behaviour Analyser

 Majid Hatamian , Agnieszka Kitkowska , Jana Korunovska , Sabrina Kirrane
32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.198-215, ⟨10.1007/978-3-319-95729-6_13⟩
Conference papers hal-01954416v1
Image document

(In)finite Trace Equivalence of Probabilistic Transition Systems

 Alexandre Goy , Jurriaan Rot
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.100-121, ⟨10.1007/978-3-030-00389-0_7⟩
Conference papers hal-02044641v1
Image document

3D Folded Loop UAV Antenna Design

 Alexander Pyattaev , Dmitri Solomitckii , Aleksandr Ometov
International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2018, Boston, MA, United States. pp.269-281, ⟨10.1007/978-3-030-02931-9_22⟩
Conference papers hal-02269725v1
Image document

A Calculus for Modeling Floating Authorizations

 Jovanka Pantović , Ivan Prokić , Hugo Torres Vieira
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.101-120, ⟨10.1007/978-3-319-92612-4_6⟩
Conference papers hal-01824819v1
Image document

A Combined CNN and LSTM Model for Arabic Sentiment Analysis

 Abdulaziz M. Alayba , Vasile Palade , Matthew England , Rahat Iqbal
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.179-191, ⟨10.1007/978-3-319-99740-7_12⟩
Conference papers hal-02060041v1
Image document

A Critical Review of Empirical Research Examining SMEs Adoption from Selected Journals

 S. S. Abed
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.577-587, ⟨10.1007/978-3-030-02131-3_50⟩
Conference papers hal-02274176v1
Image document

A Decentralized Resilient Short-Term Cache for Messaging

 Henner Heck , Olga Kieselmann , Nils Kopal , Arno Wacker
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.110-121, ⟨10.1007/978-3-319-93767-0_8⟩
Conference papers hal-01824636v1
Image document

A Deep Learning Approach for Network Anomaly Detection Based on AMF-LSTM

 Mingyi Zhu , Kejiang Ye , Yang Wang , Cheng-Zhong Xu
15th IFIP International Conference on Network and Parallel Computing (NPC), Nov 2018, Muroran, Japan. pp.137-141, ⟨10.1007/978-3-030-05677-3_13⟩
Conference papers hal-02279546v1
Image document

A Distributed Coordination Infrastructure for Attribute-Based Interaction

 Yehia Abd Alrahman , Rocco De Nicola , Giulio Garbi , Michele Loreti
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.1-20, ⟨10.1007/978-3-319-92612-4_1⟩
Conference papers hal-01824810v1
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 Fine-Grained Performance Bottleneck Analysis Method for HDFS

 Yi Liu , Yunchun Li , Honggang Zhou , Jingyi Zhang , Hailong Yang , et al.
15th IFIP International Conference on Network and Parallel Computing (NPC), Nov 2018, Muroran, Japan. pp.159-163, ⟨10.1007/978-3-030-05677-3_17⟩
Conference papers hal-02279548v1
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

A Forensic Logging System for Siemens Programmable Logic Controllers

 Ken Yau , Kam-Pui Chow , Siu-Ming Yiu
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.331-349, ⟨10.1007/978-3-319-99277-8_18⟩
Conference papers hal-01988850v1
Image document

A Formal Approach to the Engineering of Domain-Specific Distributed Systems

 Rocco De Nicola , Gianluigi Ferrari , Rosario Pugliese , Francesco Tiezzi
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.110-141, ⟨10.1007/978-3-319-92408-3_5⟩
Conference papers hal-01821499v1
Image document

A Fuzzy Multi-criteria Decision Making Approach for Analyzing the Risks and Benefits of Opening Data

 Ahmad Luthfi , Zeenat Rehena , Marijn Janssen , Joep Crompvoets
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.397-412, ⟨10.1007/978-3-030-02131-3_36⟩
Conference papers hal-02274163v1
Image document

A Game of Microservices: Automated Intrusion Response

 Tetiana Yarygina , Christian Otterstad
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.169-177, ⟨10.1007/978-3-319-93767-0_12⟩
Conference papers hal-01824638v1
Image document

A Gauge-Invariant Reversible Cellular Automaton

 Pablo Arrighi , Giuseppe Di Molfetta , Nathanaël Eon
24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.1-12, ⟨10.1007/978-3-319-92675-9_1⟩
Conference papers hal-01824869v1
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

A Layered Graphical Model for Cloud Forensic Mission Attack Impact Analysis

 Changwei Liu , Anoop Singhal , Duminda Wijesekera
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.263-289, ⟨10.1007/978-3-319-99277-8_15⟩
Conference papers hal-01988841v1
Image document

A Local Limit Property for Pattern Statistics in Bicomponent Stochastic Models

 Massimiliano Goldwurm , Jianyi Lin , Marco Vignati
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.114-125, ⟨10.1007/978-3-319-94631-3_10⟩
Conference papers hal-01905636v1
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

A Modest Security Analysis of Cyber-Physical Systems: A Case Study

 Ruggero Lanotte , Massimo Merro , Andrei Munteanu
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.58-78, ⟨10.1007/978-3-319-92612-4_4⟩
Conference papers hal-01824813v1
Image document

A Modified Firefly Algorithm with Support Vector Machine for Medical Data Classification

 Brahim Sahmadi , Dalila Boughaci , Rekia Rahmani , Noura Sissani
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.232-243, ⟨10.1007/978-3-319-89743-1_21⟩
Conference papers hal-01913910v1
Image document

A Modified Particle Swarm Optimization Algorithm for Community Detection in Complex Networks

 Alireza Abdollahpouri , Shadi Rahimi , Shahnaz Mohammadi Majd , Chiman Salavati
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.11-27, ⟨10.1007/978-3-319-99740-7_2⟩
Conference papers hal-02060038v1
Image document

A Multi-device Assistive System for Industrial Maintenance Operations

 Mario Heinz , Hitesh Dhiman , Carsten Röcker
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.239-247, ⟨10.1007/978-3-319-99740-7_16⟩
Conference papers hal-02060051v1
Image document

A Network Forensic Scheme Using Correntropy-Variation for Attack Detection

 Nour Moustafa , Jill Slay
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.225-239, ⟨10.1007/978-3-319-99277-8_13⟩
Conference papers hal-01988843v1
Image document

A New Handwritten Signature Verification System Based on the Histogram of Templates Feature and the Joint Use of the Artificial Immune System with SVM

 Yasmine Serdouk , Hassiba Nemmour , Youcef Chibani
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.119-127, ⟨10.1007/978-3-319-89743-1_11⟩
Conference papers hal-01913916v1
Image document

A New Hybrid Genetic Algorithm to Deal with the Flow Shop Scheduling Problem for Makespan Minimization

 Fatima Zohra Boumediene , Yamina Houbad , Ahmed Hassam , Latéfa Ghomri
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.399-410, ⟨10.1007/978-3-319-89743-1_35⟩
Conference papers hal-01913888v1
Image document

A New Technique for Reachability of States in Concatenation Automata

 Sylvie Davies
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.75-87, ⟨10.1007/978-3-319-94631-3_7⟩
Conference papers hal-01905633v1
Image document

A Novel Hybrid Password Authentication Scheme Based on Text and Image

 Ian Mackie , Merve Yildirim
32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.182-197, ⟨10.1007/978-3-319-95729-6_12⟩
Conference papers hal-01954408v1
Page :