Filter your results
- 62
- 2
- 62
- 2
- 63
- 1
- 1
- 2
- 2
- 8
- 4
- 6
- 3
- 7
- 3
- 10
- 10
- 6
- 3
- 64
- 44
- 28
- 14
- 10
- 3
- 3
- 3
- 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
- 6
- 3
- 3
- 3
- 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
64 results
|
Artificial Intelligence for Humankind: A Panel on How to Create Truly Interactive and Human-Centered AI for the Benefit of Individuals and Society18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.335-339, ⟨10.1007/978-3-030-85607-6_32⟩
Conference papers
hal-03603481v1
|
||
|
SpecK: Composition of Stream Processing Applications over Fog EnvironmentsDAIS 2021 - 21st International Conference on Distributed Applications and Interoperable Systems, Jun 2021, Valetta, Malta. pp.38-54, ⟨10.1007/978-3-030-78198-9_3⟩
Conference papers
hal-03259975v1
|
||
|
Towards a Context-Aware Security and Privacy as a Service in the Internet of Things13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.240-252, ⟨10.1007/978-3-030-41702-4_15⟩
Conference papers
hal-02496273v1
|
||
|
DroidAutoML: A Microservice Architecture to Automate the Evaluation of Android Machine Learning Detection SystemsDAIS - 20th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2020, Valletta, Malta. pp.148-165, ⟨10.1007/978-3-030-50323-9_10⟩
Conference papers
hal-03223251v1
|
||
|
Influence of Color and Size of Particles on Their Perceived Speed in Node-Link DiagramsINTERACT 2019 - 17th IFIP Conference on Human-Computer Interaction, Sep 2019, Paphos, Cyprus. pp.619-637, ⟨10.1007/978-3-030-29384-0_37⟩
Conference papers
hal-02274134v1
|
||
|
Adaptive Guard Time for Energy-Efficient IEEE 802.15.4 TSCH Networks17th International Conference on Wired/Wireless Internet Communication (WWIC), Jun 2019, Bologna, Italy. pp.66-77, ⟨10.1007/978-3-030-30523-9_2⟩
Conference papers
hal-02458546v1
|
||
|
Structuring Theories with Implicit Morphisms24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.154-173, ⟨10.1007/978-3-030-23220-7_9⟩
Conference papers
hal-02364570v1
|
||
|
Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed ProgramsFORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2019, Copenhagen, Denmark. pp.224-241, ⟨10.1007/978-3-030-21759-4_13⟩
Conference papers
hal-02109769v1
|
||
|
Q-routing: from the algorithm to the routing protocolSecond IFIP International Conference on Machine Learning for Networking, Dec 2019, Paris, France. ⟨10.1007/978-3-030-45778-5_5⟩
Conference papers
hal-02521783v1
|
||
|
Attack tolerance for services-based applications in the cloudICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.242-258, ⟨10.1007/978-3-030-31280-0_15⟩
Conference papers
hal-02526356v1
|
||
|
Testing Software and SystemsSpringer International Publishing, LNCS-11812, 2019, Lecture Notes in Computer Science, 978-3-030-31279-4. ⟨10.1007/978-3-030-31280-0⟩
Books
hal-02526347v1
|
||
|
GazeLens: Guiding Attention to Improve Gaze Interpretation in Hub-Satellite CollaborationINTERACT 2019 - 17th IFIP Conference on Human-Computer Interaction, Sep 2019, Paphos, Cyprus. pp.282-303, ⟨10.1007/978-3-030-29384-0_18⟩
Conference papers
hal-02183386v1
|
||
|
Boolean Networks: Beyond Generalized AsynchronicityAUTOMATA 2018 - 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, Jun 2018, Ghent, Belgium. pp.29-42, ⟨10.1007/978-3-319-92675-9_3⟩
Conference papers
hal-01768359v2
|
||
|
(In)finite Trace Equivalence of Probabilistic Transition Systems14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.100-121, ⟨10.1007/978-3-030-00389-0_7⟩
Conference papers
hal-02044641v1
|
||
|
JACPoL: A Simple but Expressive JSON-based Access Control Policy LanguageWISTP 2017 : 11th IFIP International Conference on Information Security Theory and Practice, Sep 2017, Heraklion, Crete, Greece. pp.56-72, ⟨10.1007/978-3-319-93524-9_4⟩
Conference papers
hal-01802720v1
|
||
|
How TrustZone Could Be Bypassed: Side-Channel Attacks on a Modern System-on-Chip11th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2017, Heraklion, Greece. pp.93-109, ⟨10.1007/978-3-319-93524-9_6⟩
Conference papers
hal-01875521v1
|
||
|
Filament: A Cohort Construction Service for Decentralized Collaborative Editing Platforms17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.146-16, ⟨10.1007/978-3-319-59665-5_11⟩
Conference papers
hal-01617214v1
|
||
|
Scalable Anti-KNN: Decentralized Computation of k-Furthest-Neighbor Graphs with HyFN17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.101-114, ⟨10.1007/978-3-319-59665-5_7⟩
Conference papers
hal-01617211v1
|
||
|
Constraint-Based Oracles for Timed Distributed Systems29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩
Conference papers
hal-01678964v1
|
||
|
Information-Theoretic Analysis of Human Performance for Command Selection16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Mumbai, India. pp.515-524, ⟨10.1007/978-3-319-67687-6_35⟩
Conference papers
hal-01643924v1
|
||
|
Human activity recognition using recurrent neural networks1st International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2017, Reggio, Italy. pp.267-274, ⟨10.1007/978-3-319-66808-6_18⟩
Conference papers
hal-01629704v1
|
||
|
One Fitts’ Law, Two Metrics16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.525-533, ⟨10.1007/978-3-319-67687-6_36⟩
Conference papers
hal-01717202v1
|
||
|
Runtime Code Polymorphism as a Protection Against Side Channel Attacks10th IFIP International Conference on Information Security Theory and Practice (WISTP), Sep 2016, Heraklion, Greece. pp.136-152, ⟨10.1007/978-3-319-45931-8_9⟩
Conference papers
emse-01372223v1
|
||
|
Mignon: A Fast Decentralized Content Consumption Estimation in Large-Scale Distributed Systems16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Greece. pp.32-46, ⟨10.1007/978-3-319-39577-7_3⟩
Conference papers
hal-01301230v1
|
||
|
Bringing Complex Event Processing into Multitree Modelling of Sensors16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.196-210, ⟨10.1007/978-3-319-39577-7_16⟩
Conference papers
hal-01434795v1
|
||
|
Practical and Privacy-Preserving TEE Migration9th Workshop on Information Security Theory and Practice (WISTP), Aug 2015, Heraklion, Greece. pp.153-168, ⟨10.1007/978-3-319-24018-3_10⟩
Conference papers
hal-01183508v1
|
||
|
Cheap and Cheerful: Trading Speed and Quality for Scalable Social Recommenders15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), IFIP, Jun 2015, Grenoble, France. pp.138-151, ⟨10.1007/978-3-319-19129-4_11⟩
Conference papers
hal-01170757v1
|
||
|
Similitude: Decentralised Adaptation in Large-Scale P2P Recommenders15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.51-65, ⟨10.1007/978-3-319-19129-4_5⟩
Conference papers
hal-01138365v2
|
||
|
Fluidify: Decentralized Overlay Deployment in a Multi-cloud World15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.1-15, ⟨10.1007/978-3-319-19129-4_1⟩
Conference papers
hal-01775032v1
|
||
|
Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.66-80, ⟨10.1007/978-3-319-19195-9_5⟩
Conference papers
hal-01767328v1
|