Filter your results
- 757
- 23
- 1
- 753
- 4
- 756
- 40
- 2
- 1
- 1
- 125
- 632
- 757
- 12
- 7
- 7
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
|
PParabel: Parallel Partitioned Label Trees for Extreme Classification16th 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
|
||
|
Intrinsically Resilient Optical Backbones: An Efficient Ring-Based Interconnection Paradigm23th 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
|
||
|
Aestimo: A Tangible Kit to Evaluate Older Adults’ User Experience17th 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
|
||
|
Comparing “Challenge-Based” and “Code-Based” Internet Voting Verification Implementations17th 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
|
||
|
A Mechanised Proof of an Adaptive State Counting Algorithm31th 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
|
||
|
Analyzing Accessibility Barriers Using Cost-Benefit Analysis to Design Reliable Navigation Services for Wheelchair Users17th 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
|
||
|
Towards Safe Spaces Online: A Study of Indian Matrimonial Websites17th 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
|
||
|
Hybrid Wireless Sensor Networks: A Prototype17th 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
|
||
|
On Classes of Regular Languages Related to Monotone WQOs21th 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
|
||
|
Instant Rephotography17th 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
|
||
|
Denoising Adversarial Autoencoder for Obfuscated Traffic Detection and Recovery2nd 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
|
||
|
Training Non-designers in Co-design Methods Through an Active Assisted Living Interactive Workshop17th 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
|
||
|
Game-Based Multi-MD with QoS Computation Offloading for Mobile Edge Computing of Limited Computation Capacity16th 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
|
||
|
Characterizing Perception Module Performance and Robustness in Production-Scale Autonomous Driving System16th 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
|
||
|
Spindle: A Write-Optimized NVM Cache for Journaling File System16th 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
|
||
|
Backdoor Attacks in Neural Networks – A Systematic Evaluation on Multiple Traffic Sign Datasets3rd 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
|
||
|
Topology and Failure Modeling for Optical Network Resilience Analysis Against Earthquakes23th 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
|
||
|
Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity21th 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
|
||
|
Introduction to Data Visualization17th 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
|
||
|
Declarative Choreographies and Liveness39th 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
|
||
|
Discovering the Unfindable: The Tension Between Findability and Discoverability in a Bookshop Designed for Serendipity17th 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
|
||
|
Evaluation of Informative Content of Health Data Submitted Through a Mobile Serious Game1st 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
|
||
|
A Novel Approach Towards Analysis of Attacker Behavior in DDoS Attacks2nd 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
|
||
|
Wired/Wireless Internet CommunicationsSpringer 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
|
||
|
#SociallyAcceptableHCI: Social Acceptability of Emerging Technologies and Novel Interaction Paradigms17th 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
|
||
|
Putting Order in Strong Eventual Consistency19th 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
|
||
|
Causal-Consistent Replay Debugging for Message Passing ProgramsFORTE 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
|
||
|
A Learning Approach for Road Traffic Optimization in Urban EnvironmentsInternational 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
|
||
|
A Novel Carrier-Cooperation Scheme with an Incentive for Offering Emergency Lightpath Support in Disaster Recovery23th 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
|
||
|
Automatic Generation of Test Oracles from Component Based Software Architectures31th 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
|