Filter your results
- 32
- 32
- 32
- 1
- 3
- 2
- 4
- 2
- 5
- 1
- 4
- 1
- 4
- 1
- 3
- 2
- 32
- 10
- 10
- 8
- 7
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 3
- 3
- 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
|
|
sorted by
|
|
Sanitization of Call Detail Records via Differentially-Private Bloom Filters29th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2015, Fairfax, VA, United States. pp.223-230, ⟨10.1007/978-3-319-20810-7_15⟩
Conference papers
hal-01745827v1
|
||
|
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
|
||
|
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
|
||
|
Verification of concurrent design patterns with dataCOORDINATION 2019 - 21st International Conference on Coordination Models and Languages, Jun 2019, Kongens Lyngby, Denmark. pp.161-181, ⟨10.1007/978-3-030-22397-7_10⟩
Conference papers
hal-02143782v1
|
||
|
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
|
||
|
A Framework for Verifying Data-Centric Protocols13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.106-120, ⟨10.1007/978-3-642-21461-5_7⟩
Conference papers
hal-00647802v1
|
||
|
Heterogeneous Secure Multi-Party Computation11th International Networking Conference (NETWORKING), May 2012, Prague, Czech Republic. pp.198-210, ⟨10.1007/978-3-642-30054-7_16⟩
Conference papers
hal-00747844v1
|
||
|
Combining Ontology Alignment with Model Driven Engineering Techniques for Home Devices InteroperabilitySoftware Technologies for Embedded and Ubiquitous Systems, 2010, Waidhofen/Ybbs, Austria. pp.71-82, ⟨10.1007/978-3-642-16256-5_9⟩
Conference papers
hal-00788859v1
|
||
|
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
|
||
|
Behave: Behavioral Cache for Web Content4th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2014, Berlin, Germany. pp.89-103, ⟨10.1007/978-3-662-43352-2_8⟩
Conference papers
hal-01079976v1
|
||
|
No More, No Less - A Formal Model for Serverless ComputingCOORDINATION 2019 - 21th International Conference on Coordination Languages and Models, Jun 2019, Kongens Lyngby, Denmark. pp.148-157, ⟨10.1007/978-3-030-22397-7_9⟩
Conference papers
hal-02365509v1
|
||
|
Distributed Random Process for a Large-Scale Peer-to-Peer Lottery17th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2017, Neuchâtel, Switzerland. pp.34-48, ⟨10.1007/978-3-319-59665-5_3⟩
Conference papers
hal-01583824v1
|
||
|
Secure and Trustable Distributed Aggregation based on Kademlia32th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), May 2017, Rome, Italy. pp.171-185, ⟨10.1007/978-3-319-58469-0_12⟩
Conference papers
hal-01529326v2
|
||
|
LiFTinG: Lightweight Freerider-Tracking Protocol in Gossip11th ACM/IFIP/USENIX International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. ⟨10.1007/978-3-642-16955-7_16⟩
Conference papers
inria-00505268v1
|
||
|
Component-Based Autonomic Managers for Coordination Control15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.75-89, ⟨10.1007/978-3-642-38493-6_6⟩
Conference papers
hal-00949562v1
|
||
|
BFT-Bench: Towards a Practical Evaluation of Robustness and Effectiveness of BFT Protocols16th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2016, Heraklion, Crete, Greece. pp.115-128, ⟨10.1007/978-3-319-39577-7_10⟩
Conference papers
hal-01372682v1
|
||
|
DVFS Aware CPU Credit Enforcement in a Virtualized System14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.123-142, ⟨10.1007/978-3-642-45065-5_7⟩
Conference papers
hal-01151030v2
|
||
|
Heterogeneous Resource Selection for Arbitrary HPC Applications in the Cloud15th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2015, Grenoble, France. pp.108-123, ⟨10.1007/978-3-319-19129-4_9⟩
Conference papers
hal-01159024v1
|
||
|
TailX: Scheduling Heterogeneous Multiget Queries to Improve Tail Latencies in Key-Value Stores20th International Conference on Distributed Applications and Interoperable Systems, Jun 2020, Valletta, Malta. pp.73-92, ⟨10.1007/978-3-030-50323-9_5⟩
Conference papers
hal-02917566v1
|
||
|
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
|
||
|
An Efficient and Scalable Intrusion Detection System on Logs of Distributed ApplicationsSEC 2019 - 34th IFIP International Conference on ICT Systems Security and Privacy Protection, Jun 2019, Lisbonne, Portugal. pp.49-63, ⟨10.1007/978-3-030-22312-0_4⟩
Conference papers
hal-02409487v1
|
||
|
Development Tools for Rule-Based Coordination Programming in LINC19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.78-96, ⟨10.1007/978-3-319-59746-1_5⟩
Conference papers
cea-01531019v1
|
||
|
Promise Plus: Flexible Synchronization for Parallel Computations on ArraysFSEN 2021 - 9th IPM International Conference on Fundamentals of Software Engineering, May 2021, Tehran, Iran. pp.1-7, ⟨10.1007/978-3-030-89247-0_13⟩
Conference papers
hal-03143269v1
|
||
|
SimGrid MC: Verification Support for a Multi-API Simulation Platform13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.274-288, ⟨10.1007/978-3-642-21461-5_18⟩
Conference papers
inria-00593505v1
|
||
|
Exploring Millions of 6-State FSSP Solutions: the Formal Notion of Local CA Simulation26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.1-13, ⟨10.1007/978-3-030-61588-8_1⟩
Conference papers
hal-02605712v1
|
||
|
Blockchain-Based Auditing of Transparent Log Servers32th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2018, Bergamo, Italy. pp.21-37, ⟨10.1007/978-3-319-95729-6_2⟩
Conference papers
hal-01917636v1
|
||
|
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
|
||
|
A methodology for tenant migration in legacy shared-table multi-tenant applicationsDAIS 2021 - 21th IFIP International Conference on Distributed Applications and Interoperable Systems, Jun 2021, Valetta, Malta. pp.3-20
Conference papers
hal-03381116v1
|
||
|
Large datasets: a mixed method to adapt and improve their learning by neural networks used in regression contexts12th Engineering Applications of Neural Networks (EANN 2011) and 7th Artificial Intelligence Applications and Innovations (AIAI), Sep 2011, Corfu, Greece. pp.182-191, ⟨10.1007/978-3-642-23957-1_21⟩
Conference papers
hal-00643870v1
|
||
|
Boosting transactional memory with stricter serializability20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.231-251, ⟨10.1007/978-3-319-92408-3_11⟩
Conference papers
hal-01821500v1
|
- 1
- 2