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

Filter your results

757 results
Deposit type : Fulltext
Image document

PParabel: Parallel Partitioned Label Trees for Extreme Classification

Jiaqi Lu , Jun Zheng , Wenxin Hu
16th IFIP International Conference on Network and Parallel Computing (NPC), Aug 2019, Hohhot, China. pp.82-92, ⟨10.1007/978-3-030-30709-7_7⟩
Conference papers hal-03770549v1
Image document

Intrinsically Resilient Optical Backbones: An Efficient Ring-Based Interconnection Paradigm

Marcia Paiva , Gilles Caporossi , Moises Ribeiro , Marcelo Segatto
23th International IFIP Conference on Optical Network Design and Modeling (ONDM), May 2019, Athens, Greece. pp.248-260, ⟨10.1007/978-3-030-38085-4_22⟩
Conference papers hal-03200660v1
Image document

Aestimo: A Tangible Kit to Evaluate Older Adults’ User Experience

Iyubanit Rodríguez , Maria Karyda , Andrés Lucero , Valeria Herskovic
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.13-32, ⟨10.1007/978-3-030-29381-9_2⟩
Conference papers hal-02544540v1
Image document

Comparing “Challenge-Based” and “Code-Based” Internet Voting Verification Implementations

Oksana Kulyk , Jan Henzel , Karen Renaud , Melanie Volkamer
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.519-538, ⟨10.1007/978-3-030-29381-9_32⟩
Conference papers hal-02544556v1
Image document

A Mechanised Proof of an Adaptive State Counting Algorithm

Robert Sachtleben , Robert M. Hierons , Wen-Ling Huang , Jan Peleska
31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.176-193, ⟨10.1007/978-3-030-31280-0_11⟩
Conference papers hal-02526349v1
Image document

Analyzing Accessibility Barriers Using Cost-Benefit Analysis to Design Reliable Navigation Services for Wheelchair Users

Benjamin Tannert , Reuben Kirkham , Johannes Schöning
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.202-223, ⟨10.1007/978-3-030-29381-9_13⟩
Conference papers hal-02544586v1
Image document

Towards Safe Spaces Online: A Study of Indian Matrimonial Websites

Vishal Sharma , Bonnie Nardi , Juliet Norton , A. M. Tsaasan
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.43-66, ⟨10.1007/978-3-030-29387-1_4⟩
Conference papers hal-02553879v1
Image document

Hybrid Wireless Sensor Networks: A Prototype

Alá Khalifeh , Novella Bartolini , Simone Silvestri , Giancarlo Bongiovanni , Anwar Al-Assaf , et al.
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.549-553, ⟨10.1007/978-3-030-29390-1_35⟩
Conference papers hal-02877643v1
Image document

On Classes of Regular Languages Related to Monotone WQOs

Mizuhito Ogawa , Victor Selivanov
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.235-247, ⟨10.1007/978-3-030-23247-4_18⟩
Conference papers hal-02387304v1
Image document

Instant Rephotography

Juliano Franz , Anderson Maciel , Luciana Nedel
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.208-227, ⟨10.1007/978-3-030-29387-1_12⟩
Conference papers hal-02553905v1
Image document

Denoising Adversarial Autoencoder for Obfuscated Traffic Detection and Recovery

Ola Salman , Imad H. Elhajj , Ayman Kayssi , Ali Chehab
2nd International Conference on Machine Learning for Networking (MLN), Dec 2019, Paris, France. pp.99-116, ⟨10.1007/978-3-030-45778-5_8⟩
Conference papers hal-03266453v1
Image document

Training Non-designers in Co-design Methods Through an Active Assisted Living Interactive Workshop

Paula Alexandra Silva , Ana Dias Daniel
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.166-175, ⟨10.1007/978-3-030-29384-0_10⟩
Conference papers hal-02544583v1
Image document

Game-Based Multi-MD with QoS Computation Offloading for Mobile Edge Computing of Limited Computation Capacity

Junyan Hu , Chubo Liu , Kenli Li , Keqin Li
16th IFIP International Conference on Network and Parallel Computing (NPC), Aug 2019, Hohhot, China. pp.16-27, ⟨10.1007/978-3-030-30709-7_2⟩
Conference papers hal-03770553v1
Image document

Characterizing Perception Module Performance and Robustness in Production-Scale Autonomous Driving System

Alessandro Toschi , Mustafa Sanic , Jingwen Leng , Quan Chen , Chunlin Wang , et al.
16th IFIP International Conference on Network and Parallel Computing (NPC), Aug 2019, Hohhot, China. pp.235-247, ⟨10.1007/978-3-030-30709-7_19⟩
Conference papers hal-03770538v1
Image document

Spindle: A Write-Optimized NVM Cache for Journaling File System

Ge Yan , Kaixin Huang , Linpeng Huang
16th IFIP International Conference on Network and Parallel Computing (NPC), Aug 2019, Hohhot, China. pp.251-263, ⟨10.1007/978-3-030-30709-7_20⟩
Conference papers hal-03770541v1
Image document

Backdoor Attacks in Neural Networks – A Systematic Evaluation on Multiple Traffic Sign Datasets

Huma Rehman , Andreas Ekelhart , Rudolf Mayer
3rd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2019, Canterbury, United Kingdom. pp.285-300, ⟨10.1007/978-3-030-29726-8_18⟩
Conference papers hal-02520034v1
Image document

Topology and Failure Modeling for Optical Network Resilience Analysis Against Earthquakes

Anuj Agrawal , Vimal Bhatia , Shashi Prakash
23th International IFIP Conference on Optical Network Design and Modeling (ONDM), May 2019, Athens, Greece. pp.584-597, ⟨10.1007/978-3-030-38085-4_50⟩
Conference papers hal-03200664v1
Image document

Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity

Yo-Sub Han , Sang-Ki Ko , Kai Salomaa
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.158-170, ⟨10.1007/978-3-030-23247-4_12⟩
Conference papers hal-02387306v1
Image document

Introduction to Data Visualization

Simone Barbosa , Gabriel Barbosa
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.527-529, ⟨10.1007/978-3-030-29390-1_30⟩
Conference papers hal-02877680v1
Image document

Declarative Choreographies and Liveness

Thomas T. Hildebrandt , Tijs Slaats , Hugo A. López , Søren Debois , Marco Carbone
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.129-147, ⟨10.1007/978-3-030-21759-4_8⟩
Conference papers hal-02313738v1
Image document

Discovering the Unfindable: The Tension Between Findability and Discoverability in a Bookshop Designed for Serendipity

Stephann Makri , Yi-Chun Chen , Dana Mckay , George Buchanan , Melissa Ocepek
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.3-23, ⟨10.1007/978-3-030-29384-0_1⟩
Conference papers hal-02544618v1
Image document

Evaluation of Informative Content of Health Data Submitted Through a Mobile Serious Game

Konrad Peters , Stephanie Bührer , Marisa Silbernagl , Fares Kayali , Helmut Hlavacs , et al.
1st Joint International Conference on Entertainment Computing and Serious Games (ICEC-JCSG), Nov 2019, Arequipa, Peru. pp.366-376, ⟨10.1007/978-3-030-34644-7_30⟩
Conference papers hal-03652014v1
Image document

A Novel Approach Towards Analysis of Attacker Behavior in DDoS Attacks

Himanshu Gupta , Tanmay Girish Kulkarni , Lov Kumar , Neti Murthy
2nd International Conference on Machine Learning for Networking (MLN), Dec 2019, Paris, France. pp.392-402, ⟨10.1007/978-3-030-45778-5_27⟩
Conference papers hal-03266457v1
Image document

Wired/Wireless Internet Communications

Marco Di Felice , Enrico Natalizio , Raffaele Bruno , Andreas Kassler
Springer International Publishing, LNCS-11618, 2019, Lecture Notes in Computer Science, 978-3-030-30522-2. ⟨10.1007/978-3-030-30523-9⟩
Books hal-02881734v1
Image document

#SociallyAcceptableHCI: Social Acceptability of Emerging Technologies and Novel Interaction Paradigms

Marion Koelle , Ceenu George , Valentin Schwind , Daniel Perry , Yumiko Sakamoto , et al.
17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.741-746, ⟨10.1007/978-3-030-29390-1_73⟩
Conference papers hal-02878625v1
Image document

Putting Order in Strong Eventual Consistency

Kevin de Porre , Florian Myter , Christophe de Troyer , Christophe Scholliers , Wolfgang de Meuter , et al.
19th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2019, Kongens Lyngby, Denmark. pp.36-56, ⟨10.1007/978-3-030-22496-7_3⟩
Conference papers hal-02319575v1
Image document

Causal-Consistent Replay Debugging for Message Passing Programs

Ivan Lanese , Adrián Palacios , Germán Vidal
FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2019, Copenhagen, Denmark. pp.167-184, ⟨10.1007/978-3-030-21759-4_10⟩
Conference papers hal-02313745v1
Image document

A Learning Approach for Road Traffic Optimization in Urban Environments

Ahmed Mejdoubi , Ouadoudi Zytoune , Hacene Fouchal , Mohamed Ouadou
International Conference on Machine Learning for Networking (MLN), 2019, Paris, France. pp.355-366, ⟨10.1007/978-3-030-45778-5_24⟩
Conference papers hal-03085739v1
Image document

A Novel Carrier-Cooperation Scheme with an Incentive for Offering Emergency Lightpath Support in Disaster Recovery

Sugang Xu , Noboru Yoshikane , Naoki Miyata , Masaki Shiraiwa , Takehiro Tsuritani , et al.
23th International IFIP Conference on Optical Network Design and Modeling (ONDM), May 2019, Athens, Greece. pp.362-376, ⟨10.1007/978-3-030-38085-4_31⟩
Conference papers hal-03200642v1
Image document

Automatic Generation of Test Oracles from Component Based Software Architectures

Maxime Samson , Thomas Vergnaud
31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.261-269, ⟨10.1007/978-3-030-31280-0_16⟩
Conference papers hal-02526345v1