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

Filter your results

461 results
Page :
sorted by
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

How Can Technology Support Education in War – WarAware Education Platform for Syria

 Nada Almasri , Luay Tahat , Laila Al Terkawai
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.436-448, ⟨10.1007/978-3-030-02131-3_39⟩
Conference papers hal-02274168v1
Image document

WebBFT: Byzantine Fault Tolerance for Resilient Interactive Web Applications

 Christian Berger , Hans P. Reiser
18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2018, Madrid, Spain. pp.1-17, ⟨10.1007/978-3-319-93767-0_1⟩
Conference papers hal-01824640v1
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

Bridging the Knowledge Divide in GCC Countries: The Role of Digital Technologies

 Amer Al-Roubaie
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.164-180, ⟨10.1007/978-3-030-02131-3_16⟩
Conference papers hal-02274197v1
Image document

Counter Machines and Distributed Automata

 Olivier Carton , Bruno Guillon , Fabian Reiter
24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.13-28, ⟨10.1007/978-3-319-92675-9_2⟩
Conference papers hal-01824873v1
Image document

Mimir+: An Optimized Framework of MapReduce on Heterogeneous High-Performance Computing System

 Nan Hu , Zhiguang Chen , Yunfei Du , Yutong Lu
15th IFIP International Conference on Network and Parallel Computing (NPC), Nov 2018, Muroran, Japan. pp.164-168, ⟨10.1007/978-3-030-05677-3_18⟩
Conference papers hal-02279555v1
Image document

Engagement in Interactive Digital Storytelling: Sampling Without Spoiling

 Sergio Estupiñán , Kasper Ingdahl Andkjaer , Nicolas Szilas
17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.248-253, ⟨10.1007/978-3-319-99426-0_25⟩
Conference papers hal-02128597v1
Image document

Smart City and Green Development

 Alberto Polzonetti , M. Sagratella
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.191-204, ⟨10.1007/978-3-030-02131-3_18⟩
Conference papers hal-02274170v1
Image document

Implementing a System Architecture for Data and Multimedia Transmission in a Multi-UAV System

 Borey Uk , David Konam , Clément Passot , Milan Erdelj , Enrico Natalizio
16th International Conference on Wired/Wireless Internet Communications (IFIP WWIC 2018), Jun 2018, Boston, MA, United States. pp.246-257, ⟨10.1007/978-3-030-02931-9_20⟩
Conference papers hal-02269736v1
Image document

Explainable AI: the new 42?

 Randy Goebel , Ajay Chander , Katharina Holzinger , Freddy Lecue , Zeynep Akata , et al.
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.295-303, ⟨10.1007/978-3-319-99740-7_21⟩
Conference papers hal-01934928v1
Image document

Applied Choreographies

 Saverio Giallorenzo , Fabrizio Montesi , Maurizio Gabbrielli
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.21-40, ⟨10.1007/978-3-319-92612-4_2⟩
Conference papers hal-01824812v1
Image document

Steps and Traces

 Bart Jacobs , Paul Levy , Jurriaan Rot
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.122-143, ⟨10.1007/978-3-030-00389-0_8⟩
Conference papers hal-02044644v1
Image document

Digital Therapies

 Robert J. Wierzbicki
17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.266-273, ⟨10.1007/978-3-319-99426-0_28⟩
Conference papers hal-02128624v1
Image document

Assessing Attack Impact on Business Processes by Interconnecting Attack Graphs and Entity Dependency Graphs

 Chen Cao , Lun-Pin Yuan , Anoop Singhal , Peng Liu , Xiaoyan Sun , et al.
32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.330-348, ⟨10.1007/978-3-319-95729-6_21⟩
Conference papers hal-01954421v1
Image document

FlowConSEAL: Automatic Flow Consistency Analysis of SEAndroid and SELinux Policies

 B. S. Radhika , N. V. Narendra Kumar , R. K. Shyamasundar
32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.219-231, ⟨10.1007/978-3-319-95729-6_14⟩
Conference papers hal-01954401v1
Image document

Helping Teams to Help Themselves: An Industrial Case Study on Interdependencies During Sprints

 Jil Klünder , Fabian Kortum , Thorsten Ziehm , Kurt Schneider
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.31-50, ⟨10.1007/978-3-030-05909-5_3⟩
Conference papers hal-02270699v1
Image document

RTT-Based Congestion Control for the Internet of Things

 Emilio Ancillotti , Simone Bolettieri , Raffaele Bruno
International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2018, Boston, MA, United States. pp.3-15, ⟨10.1007/978-3-030-02931-9_1⟩
Conference papers hal-02269740v1
Image document

Image Pixelization with Differential Privacy

 Liyue Fan
32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.148-162, ⟨10.1007/978-3-319-95729-6_10⟩
Conference papers hal-01954420v1
Image document

Elite Capture and Co-optation in Participatory Budgeting in Mexico City

 Rebecca Rumbul , Alex Parsons , Jen Bramley
10th International Conference on Electronic Participation (ePart), Sep 2018, Krems, Austria. pp.89-99, ⟨10.1007/978-3-319-98578-7_8⟩
Conference papers hal-01985598v1
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

Physiological Affect and Performance in a Collaborative Serious Game Between Humans and an Autonomous Robot

 Petar Jerčić , Johan Hagelbäck , Craig Lindley
17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.127-138, ⟨10.1007/978-3-319-99426-0_11⟩
Conference papers hal-02128637v1
Image document

Enhancing the Security and Forensic Capabilities of Programmable Logic Controllers

 Chun-Fai Chan , Kam-Pui Chow , Siu-Ming Yiu , Ken Yau
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.351-367, ⟨10.1007/978-3-319-99277-8_19⟩
Conference papers hal-01988832v1
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

Advances in Digital Forensics XIV

 Gilbert Peterson , Sujeet Shenoi
Springer International Publishing, AICT-532, 2018, IFIP Advances in Information and Communication Technology, 978-3-319-99276-1. ⟨10.1007/978-3-319-99277-8⟩
Books hal-01988831v1
Image document

Live Enrolment for Identity Documents in Europe

 Tarmo Kalvet , Henrik Karlzén , Amund Hunstad , Marek Tiits
17th International Conference on Electronic Government (EGOV), Sep 2018, Krems, Austria. pp.29-39, ⟨10.1007/978-3-319-98690-6_3⟩
Conference papers hal-01961517v1
Image document

Relating Process Languages for Security and Communication Correctness (Extended Abstract)

 Daniele Nantes , Jorge A. Pérez
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.79-100, ⟨10.1007/978-3-319-92612-4_5⟩
Conference papers hal-01824820v1
Image document

The Use of Internet and Mobile Banking in the Czech Republic

 Martina Hedvičáková , Libuše Svobodová
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.376-386, ⟨10.1007/978-3-030-02131-3_34⟩
Conference papers hal-02274158v1
Image document

Live Probabilistic Editing for Virtual Cinematography

 Luiz Velho , Leonardo Carvalho , Djama Lucio
17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.40-51, ⟨10.1007/978-3-319-99426-0_4⟩
Conference papers hal-02128590v1
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
Page :