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

Filter your results

461 results
Deposit type : Fulltext
Deposit type : Annex
Page :
sorted by
Image document

A Taxonomy of Cloud Endpoint Forensic Tools

 Anand Kumar Mishra , Emmanuel Pilli , Mahesh Govil
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.243-261, ⟨10.1007/978-3-319-99277-8_14⟩
Conference papers hal-01988833v1
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

Detecting Data Leakage from Hard Copy Documents

 Jijnasa Nayak , Shweta Singh , Saheb Chhabra , Gaurav Gupta , Monika Gupta , et al.
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.111-124, ⟨10.1007/978-3-319-99277-8_7⟩
Conference papers hal-01988849v1
Image document

Shaping up e-Participation Evaluation: A Multi-criteria Analysis

 Leif Sundberg
10th International Conference on Electronic Participation (ePart), Sep 2018, Krems, Austria. pp.3-12, ⟨10.1007/978-3-319-98578-7_1⟩
Conference papers hal-01985600v1
Image document

Virtual and Real Body Experience Comparison Using Mixed Reality Cycling Environment

 Wesley Oliveira , Werner Gaisbauer , Michelle Tizuka , Esteban Clua , Helmut Hlavacs
17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.52-63, ⟨10.1007/978-3-319-99426-0_5⟩
Conference papers hal-02128589v1
Image document

Automatic Generation of the Periodic Hair Motion of 3D Characters for Anime Production

 Kenji Furukawa , Susumu Nakata
Esteban Clua; Licinio Roque; Artur Lugmayr; Pauliina Tuomi. 17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. Springer International Publishing, Lecture Notes in Computer Science, LNCS-11112, pp.289-292, 2018, Entertainment Computing – ICEC 2018. ⟨10.1007/978-3-319-99426-0_31⟩
Conference poster hal-02128610v1
Image document

Sensor Ball Raffle – Gamification of Billboard Advertising: How to Engage the Audience?

 Sari Järvinen , Johannes Peltola , Paul Kemppi
17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.164-174, ⟨10.1007/978-3-319-99426-0_14⟩
Conference papers hal-02128617v1
Image document

Innovation Diffusion in Social Networks: A Survey

 Somia Chikouche , Abderraouf Bouziane , Salah Eddine Bouhouita-Guermech , Messaoud Mostefai , Mourad Gouffi
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.173-184, ⟨10.1007/978-3-319-89743-1_16⟩
Conference papers hal-01913887v1

Distributed Applications and Interoperable Systems

 Silvia Bonomi , Etienne Rivière
Springer International Publishing, LNCS-10853, 2018, Lecture Notes in Computer Science, 978-3-319-93766-3. ⟨10.1007/978-3-319-93767-0⟩
Books hal-01824629v1

Descriptional Complexity of Formal Systems

 Stavros Konstantinidis , Giovanni Pighizzini
Springer International Publishing, LNCS-10952, 2018, Lecture Notes in Computer Science, 978-3-319-94630-6. ⟨10.1007/978-3-319-94631-3⟩
Books hal-01905624v1
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

Sink Mobility based on Bacterial Foraging Optimization Algorithm

 Ranida Hamidouche , Manel Khentout , Zibouda Aliouat , Abdelhak Mourad Gueroui , Ado Adamou Abba Ari
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.352-363, ⟨10.1007/978-3-319-89743-1_31⟩
Conference papers hal-01756459v1
Image document

Representational Quality Challenges of Big Data: Insights from Comparative Case Studies

 Agung Wahyudi , Samuli Pekkola , Marijn Janssen
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.520-538, ⟨10.1007/978-3-030-02131-3_46⟩
Conference papers hal-02274148v1

Coordination Models and Languages

 Giovanna Di Marzo Serugendo , Michele Loreti
Springer International Publishing, LNCS-10852, 2018, Lecture Notes in Computer Science, 978-3-319-92407-6. ⟨10.1007/978-3-319-92408-3⟩
Books hal-01821496v1
Image document

Fibrational Bisimulations and Quantitative Reasoning

 David Sprunger , Shin-Ya Katsumata , Jérémy Dubut , Ichiro Hasuo
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.190-213, ⟨10.1007/978-3-030-00389-0_11⟩
Conference papers hal-01901092v1
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

Glider Automorphisms on Some Shifts of Finite Type and a Finitary Ryan’s Theorem

 Johan Kopra
24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.88-99, ⟨10.1007/978-3-319-92675-9_7⟩
Conference papers hal-01824877v1

Information Security Theory and Practice

 Gerhard P. Hancke , Ernesto Damiani
Springer International Publishing, LNCS-10741, 2018, Lecture Notes in Computer Science, 978-3-319-93523-2. ⟨10.1007/978-3-319-93524-9⟩
Books hal-01875516v1
Image document

Relating Structure and Power: Comonadic Semantics for Computational Resources

 Samson Abramsky , Nihil Shah
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.1-5, ⟨10.1007/978-3-030-00389-0_1⟩
Conference papers hal-02044639v1
Image document

Reversible Choreographies via Monitoring in Erlang

 Adrian Francalanza , Claudio Antares Mezzina , Emilio Tuosto
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.75-92, ⟨10.1007/978-3-319-93767-0_6⟩
Conference papers hal-01824635v1

Cellular Automata and Discrete Complex Systems

 Jan M. Baetens , Martin Kutrib
Springer International Publishing, LNCS-10875, 2018, Lecture Notes in Computer Science, 978-3-319-92674-2. ⟨10.1007/978-3-319-92675-9⟩
Books hal-01824871v1
Image document

An Efficient Cooperative Method to Solve Multiple Sequence Alignment Problem

 Lamiche Chaabane
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.185-195, ⟨10.1007/978-3-319-89743-1_17⟩
Conference papers hal-01913906v1
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

An Improved Collaborative Filtering Recommendation Algorithm for Big Data

 Hafed Zarzour , Faiz Maazouzi , Mohamed Soltani , Chaouki Chemam
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.660-668, ⟨10.1007/978-3-319-89743-1_56⟩
Conference papers hal-01913907v1
Image document

Most Complex Deterministic Union-Free Regular Languages

 Janusz A. Brzozowski , Sylvie Davies
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.37-48, ⟨10.1007/978-3-319-94631-3_4⟩
Conference papers hal-01905640v1
Image document

Forward Injective Finite Automata: Exact and Random Generation of Nonisomorphic NFAs

 Miguel Ferreira , Nelma Moreira , Rogério Reis
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.88-100, ⟨10.1007/978-3-319-94631-3_8⟩
Conference papers hal-01905623v1
Image document

Finite Automata with Undirected State Graphs

 Martin Kutrib , Andreas Malcher , Christian Schneider
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.212-223, ⟨10.1007/978-3-319-94631-3_18⟩
Conference papers hal-01905634v1
Image document

Ontology Based Data Management: A Study in a Brazilian Federal Agency

 Márcia Myuki Takenaka Fujimoto , Edna Dias Canedo
17th International Conference on Electronic Government (EGOV), Sep 2018, Krems, Austria. pp.144-154, ⟨10.1007/978-3-319-98690-6_13⟩
Conference papers hal-01961528v1
Image document

An Obstacle-Aware Clustering Protocol for Wireless Sensor Networks with Irregular Terrain

 Riham Elhabyan , Wei Shi , Marc St-Hilaire
International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2018, Boston, MA, United States. pp.54-66, ⟨10.1007/978-3-030-02931-9_5⟩
Conference papers hal-02269728v1
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
Page :