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

Filter your results

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

A Parallel Implementation of GHB Tree

 Zineddine Kouahla , Adeel Anjum
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.47-55, ⟨10.1007/978-3-319-89743-1_5⟩
Conference papers hal-01913954v1
Image document

Distributed Coordination Runtime Assertions for the Peer Model

 Eva Kühn , Sophie Therese Radschek , Nahla Elaraby
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.200-219, ⟨10.1007/978-3-319-92408-3_9⟩
Conference papers hal-01821497v1
Image document

Coalgebraic Logics & Duality

 Clemens Kupke
14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.6-12, ⟨10.1007/978-3-030-00389-0_2⟩
Conference papers hal-02044643v1
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

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

Knowledge Compilation Techniques for Model-Based Diagnosis of Complex Active Systems

 Gianfranco Lamperti , Marina Zanella , Xiangfu Zhao
2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.43-64, ⟨10.1007/978-3-319-99740-7_4⟩
Conference papers hal-02060059v1
Image document

DLIR: An Intermediate Representation for Deep Learning Processors

 Huiying Lan , Zidong Du
15th IFIP International Conference on Network and Parallel Computing (NPC), Nov 2018, Muroran, Japan. pp.169-173, ⟨10.1007/978-3-030-05677-3_19⟩
Conference papers hal-02279553v1
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

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

User Evaluations of Virtually Experiencing Mount Everest

 Marta Larusdottir , David Thue , Hannes Högni Vilhjálmsson
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.294-307, ⟨10.1007/978-3-030-05909-5_18⟩
Conference papers hal-02270721v1
Image document

Understanding Public Healthcare Service Quality from Social Media

 Hong Joo Lee , Minsik Lee , Habin Lee
17th International Conference on Electronic Government (EGOV), Sep 2018, Krems, Austria. pp.40-47, ⟨10.1007/978-3-319-98690-6_4⟩
Conference papers hal-01961515v1
Image document

Adult Perception of Gender-Based Toys and Their Influence on Girls’ Careers in STEM

 Serena Lee-Cultura , Katerina Mangaroska , Kshitij Sharma
17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.407-410, ⟨10.1007/978-3-319-99426-0_52⟩
Conference papers hal-02128620v1
Image document

Data Fine-Pruning: A Simple Way to Accelerate Neural Network Training

 Junyu Li , Ligang He , Shenyuan Ren , Rui Mao
15th IFIP International Conference on Network and Parallel Computing (NPC), Nov 2018, Muroran, Japan. pp.114-125, ⟨10.1007/978-3-030-05677-3_10⟩
Conference papers hal-02279554v1
Image document

GRAM: A GPU-Based Property Graph Traversal and Query for HPC Rich Metadata Management

 Wenke Li , Xuanhua Shi , Hong Huang , Peng Zhao , Hai Jin , et al.
15th IFIP International Conference on Network and Parallel Computing (NPC), Nov 2018, Muroran, Japan. pp.77-89, ⟨10.1007/978-3-030-05677-3_7⟩
Conference papers hal-02279550v1
Image document

Using Geocoding and Topic Extraction to Make Sense of Comments on Social Network Pages of Local Government Agencies

 Pedro Lima , Raissa Barcellos , Flavia Bernardini , Jose Viterbo
17th International Conference on Electronic Government (EGOV), Sep 2018, Krems, Austria. pp.263-274, ⟨10.1007/978-3-319-98690-6_22⟩
Conference papers hal-01961527v1
Image document

A Systematic Mapping of Game-Based Methods to Tackle a Public Health Problem

 Tiago Lima , Clodoveu Augusto Davis
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.317-323, 2018, Entertainment Computing – ICEC 2018. ⟨10.1007/978-3-319-99426-0_37⟩
Conference poster hal-02128583v1
Image document

An Intelligent Parking Scheduling Algorithm Based on Traffic and Driver Behavior Predictions

 Jiazao Lin , Shi-Yong Chen , Chih-Yung Chang , Guilin Chen
15th IFIP International Conference on Network and Parallel Computing (NPC), Nov 2018, Muroran, Japan. pp.185-189, ⟨10.1007/978-3-030-05677-3_22⟩
Conference papers hal-02279559v1
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 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

An Efficient Method for Determining Full Point-to-Point Latency of Arbitrary Indirect HPC Networks

 Chengchun Liu , Zhang Yang , Limin Xiao , Baicheng Yan , Zhihao Wang , et al.
15th IFIP International Conference on Network and Parallel Computing (NPC), Nov 2018, Muroran, Japan. pp.52-63, ⟨10.1007/978-3-030-05677-3_5⟩
Conference papers hal-02279556v1
Image document

Automated Vulnerability Detection in Embedded Devices

 Danjun Liu , Yong Tang , Baosheng Wang , Wei Xie , Bo Yu
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.313-329, ⟨10.1007/978-3-319-99277-8_17⟩
Conference papers hal-01988845v1
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

Challenges, Opportunities and a Framework for Web Environment Forensics

 Mike Mabey , Adam Doupé , Ziming Zhao , Gail-Joon Ahn
14th IFIP International Conference on Digital Forensics (DigitalForensics), Jan 2018, New Delhi, India. pp.11-33, ⟨10.1007/978-3-319-99277-8_2⟩
Conference papers hal-01988837v1
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
Image document

Design and Evaluation of a Fall Prevention Multiplayer Game for Senior Care Centres

 João Madureira , Eduardo Pereira , Joana Silva , Elsa Oliveira , Dinis Moreira , et al.
17th International Conference on Entertainment Computing (ICEC), Sep 2018, Poznan, Poland. pp.103-114, ⟨10.1007/978-3-319-99426-0_9⟩
Conference papers hal-02128595v1
Image document

Evolutionary Multi-objective Optimization of Business Process Designs with MA-NSGAII

 Nadir Mahammed , Sidi Mohamed Benslimane , Nesrine Hamdani
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.341-351, ⟨10.1007/978-3-319-89743-1_30⟩
Conference papers hal-01913899v1
Image document

Design of a System for Melanoma Detection Through the Processing of Clinical Images Using Artificial Neural Networks

 Marco Stiven Sastoque Mahecha , Octavio José Salcedo Parra , Julio Barón Velandia
17th Conference on e-Business, e-Services and e-Society (I3E), Oct 2018, Kuwait City, Kuwait. pp.605-616, ⟨10.1007/978-3-030-02131-3_53⟩
Conference papers hal-02274187v1
Image document

Improved Quantum Chaotic Animal Migration Optimization Algorithm for QoS Multicast Routing Problem

 Mohammed Mahseur , Abdelmadjid Boukra , Yassine Meraihi
6th IFIP International Conference on Computational Intelligence and Its Applications (CIIA), May 2018, Oran, Algeria. pp.128-139, ⟨10.1007/978-3-319-89743-1_12⟩
Conference papers hal-01913908v1
Image document

Hierarchies and Undecidability Results for Iterative Arrays with Sparse Communication

 Andreas Malcher
24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.100-112, ⟨10.1007/978-3-319-92675-9_8⟩
Conference papers hal-01824868v1
Page :