Filter your results
- 14
- 14
- 14
- 1
- 1
- 1
- 3
- 1
- 2
- 3
- 1
- 1
- 1
- 14
- 2
- 1
- 1
- 1
- 3
- 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
14 results
|
|
|
sorted by
|
|
|
Cloud Standby: Disaster Recovery of Distributed Systems in the Cloud3rd Service-Oriented and Cloud Computing (ESOCC), Sep 2014, Manchester, United Kingdom. pp.32-46, ⟨10.1007/978-3-662-44879-3_3⟩
Conference papers
hal-01318271v1
|
||
|
|
Cellular Automata on Group Sets and the Uniform Curtis-Hedlund-Lyndon Theorem22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zurich, Switzerland. pp.185-198, ⟨10.1007/978-3-319-39300-1_15⟩
Conference papers
hal-01435028v1
|
||
|
|
On Runtime Adaptation of Application-Layer Multicast Protocol Parameters 16th EUNICE/IFIP WG 6.6 Workshop on Networked Services and Applications - Engineering, Control and Management (EUNICE), Jun 2010, Trondheim, Norway. pp.226-235, ⟨10.1007/978-3-642-13971-0_22⟩
Conference papers
hal-01056493v1
|
||
|
|
Cumulus4j: A Provably Secure Database Abstraction Layer1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.180-193
Conference papers
hal-01506571v1
|
||
|
|
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
|
||
|
|
Sequentializing Cellular Automata24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.72-87, ⟨10.1007/978-3-319-92675-9_6⟩
Conference papers
hal-01824875v1
|
||
|
|
Iterative Arrays with Self-verifying Communication Cell25th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2019, Guadalajara, Mexico. pp.77-90, ⟨10.1007/978-3-030-20981-0_6⟩
Conference papers
hal-02312617v1
|
||
|
|
A Novel Cryptographic Framework for Cloud File Systems and CryFS, a Provably-Secure Construction31th IFIP Annual Conference on Data and Applications Security and Privacy (DBSEC), Jul 2017, Philadelphia, PA, United States. pp.409-429, ⟨10.1007/978-3-319-61176-1_23⟩
Conference papers
hal-01684369v1
|
||
|
|
Understanding Distribution Grid Congestion Caused by Electricity Generation from Renewables3rd and 4th International Conference on Smart Energy Research (SmartER Europe 2016 and 2017), Feb 2016, Essen, Germany. pp.78-89, ⟨10.1007/978-3-319-66553-5_6⟩
Conference papers
hal-01691205v1
|
||
|
|
Provably Privacy-Preserving Distributed Data Aggregation in Smart Grids34th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jun 2020, Regensburg, Germany. pp.153-173, ⟨10.1007/978-3-030-49669-2_9⟩
Conference papers
hal-03243622v1
|
||
|
|
Towards a Research Framework of Computer-Supported Organizational Participation8th International Conference on Electronic Participation (ePart), Sep 2016, Guimarães, Portugal. pp.17-28, ⟨10.1007/978-3-319-45074-2_2⟩
Conference papers
hal-01637230v1
|
||
|
|
Complexity-Theoretic Aspects of Expanding Cellular Automata25th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2019, Guadalajara, Mexico. pp.20-34, ⟨10.1007/978-3-030-20981-0_2⟩
Conference papers
hal-02312620v1
|
||
|
|
Analyzing the Design of Tactile Indoor Maps18th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2021, Bari, Italy. pp.434-443, ⟨10.1007/978-3-030-85623-6_26⟩
Conference papers
hal-04331577v1
|
||
|
|
Shrinking and Expanding Cellular Automata22th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2016, Zurich, Switzerland. pp.159-169, ⟨10.1007/978-3-319-39300-1_13⟩
Conference papers
hal-01435026v1
|