المؤلفون: De Porre, Kevin, Ferreira, Carla, Boix, Elisa Gonzalez

المساهمون: DI - Departamento de Informática, RUN

مصطلحات موضوعية: distributed systems, eventual consistency, replicated data types, verification, Software

وصف الملف: application/pdf

Relation: 9783959772815; 1868-8969; PURE: 75760185

الاتاحة: http://hdl.handle.net/10362/162733

المؤلفون: Jörg, Moritz

المساهمون: Yu, Weihai

الاتاحة: https://hdl.handle.net/10037/34244

المؤلفون: Rault, Pierre-Antoine, Ignat, Claudia-Lavinia, Perrin, Olivier

المساهمون: Web Scale Trustworthy Collaborative Service Systems (COAST), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Networks, Systems and Services (LORIA - NSS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

المصدر: Proceedings of the 22nd IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom-2023) ; The International Symposium on Intelligent and Trustworthy Computing, Communications, and Networking (ITCCN-2023), in conjunction with the 22nd IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom-2023) ; https://inria.hal.science/hal-04224855 ; The International Symposium on Intelligent and Trustworthy Computing, Communications, and Networking (ITCCN-2023), in conjunction with the 22nd IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom-2023), Nov 2023, Exeter, United Kingdom

مصطلحات موضوعية: distributed algorithms, access control, CRDT (Conflict-free Replicated Data Type), eventual consistency, real-time collaborative editing, [INFO]Computer Science [cs]

جغرافية الموضوع: Exeter, United Kingdom

الاتاحة: https://inria.hal.science/hal-04224855
https://inria.hal.science/hal-04224855v1/document
https://inria.hal.science/hal-04224855v1/file/paper%20%281%29.pdf

المؤلفون: Jeffery, Andrew, Mortier, Richard

مصطلحات موضوعية: conflict-free replicated data types, distributed systems, eventual consistency, model checking

وصف الملف: application/pdf

Relation: https://doi.org/10.1145/3578358.3591326; https://www.repository.cam.ac.uk/handle/1810/348591.2

الاتاحة: https://www.repository.cam.ac.uk/handle/1810/348591.2

المؤلفون: De Porre, Kevin, Ferreira, Carla, Boix, Elisa Gonzalez

المساهمون: DI - Departamento de Informática

مصطلحات موضوعية: distributed systems, eventual consistency, replicated data types, verification, Software

Relation: info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F04516%2F2020/PT; info:eu-repo/grantAgreement/FCT/3599-PPCDT/PTDC%2FCCI-INF%2F32081%2F2017/PT; PURE: 75760185; PURE UUID: 2aa121fe-2367-40e9-9427-d16585a7e05c; Scopus: 85168862016; ORCID: /0000-0003-3680-7634/work/151417392; http://hdl.handle.net/10362/162733; https://doi.org/10.4230/LIPIcs.ECOOP.2023.9

الاتاحة: http://hdl.handle.net/10362/162733
https://doi.org/10.4230/LIPIcs.ECOOP.2023.9

المؤلفون: Jongeling, Robbert, Cicchetti, Antonio, Ciccozzi, Federico, 1983, Carlson, Jan

المصدر: Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings. :231-235

مصطلحات موضوعية: Consistency checking, Model-based systems engineering, Engineering, Industrial engineering, Consistency checks, Design and implementations, Eventual consistency, Gain insight, Gap analysis, Levels of abstraction, Software systems, System models, C++ (programming language)

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-52890
https://doi.org/10.1145/3417990.3421409

المؤلفون: Weidner, Matthew, Almeida, Paulo Sérgio

المساهمون: Universidade do Minho

مصطلحات موضوعية: CRDTs, distributed counting, eventual consistency, Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática, Science & Technology

وصف الملف: application/pdf

Relation: Matthew Weidner and Paulo Sérgio Almeida. 2022. An oblivious observed-reset embeddable replicated counter. In Proceedings of the 9th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC '22). Association for Computing Machinery, New York, NY, USA, 47–52. https://doi.org/10.1145/3517209.3524084; 978-1-4503-9256-3

الاتاحة: https://hdl.handle.net/1822/90003

المؤلفون: Fernandes, Pedro Henrique Moreira Gomes

المساهمون: Baquero, Carlos, Universidade do Minho

مصطلحات موضوعية: Conflict-Free Replicated Data Types, Probabilistic representation of sets, Bloom filters, Eventual consistency, Representação probabilística de conjuntos, Consistencia eventual, Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

وصف الملف: application/pdf

Relation: 203156374

الاتاحة: https://hdl.handle.net/1822/82796

المؤلفون: Frey, Davide, Mostefaoui, Achour, Perrin, Matthieu, Roman, Pierre-Louis, Taiani, Francois

المساهمون: the World Is Distributed Exploring the tension between scale and coordination (WIDE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Gestion de Données Distribuées (LS2N - équipe GDD), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Ecole Polytechnique Fédérale de Lausanne (EPFL), ANR-16-CE25-0005,OBrowser,Applications décentralisées sur navigateurs(2016), ANR-20-CE25-0002,ByBloS,Au-delà des Blockchains : Modules de construction pour les applications à grande échelle zero-confiance multi-utilisateurs(2020)

المصدر: ISSN: 1045-9219 ; IEEE Transactions on Parallel and Distributed Systems ; https://inria.hal.science/hal-03797554 ; IEEE Transactions on Parallel and Distributed Systems, 2023, 35 (11), pp.11461--11475. ⟨10.1109/TPDS.2022.3209150⟩.

مصطلحات موضوعية: Distributed system, Epidemic protocol, Eventual consistency, Blockchain, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]

الاتاحة: https://inria.hal.science/hal-03797554
https://inria.hal.science/hal-03797554v1/document
https://inria.hal.science/hal-03797554v1/file/GPS-UPS%20journal.pdf
https://doi.org/10.1109/TPDS.2022.3209150

المؤلفون: De Porre, Kevin, Ferreira, Carla, Gonzalez Boix, Elisa

المساهمون: Kevin De Porre and Carla Ferreira and Elisa Gonzalez Boix

مصطلحات موضوعية: distributed systems, eventual consistency, replicated data types, verification

وصف الملف: application/pdf

Relation: Is Part Of DARTS, Volume 9, Issue 2, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023); https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.19

الاتاحة: https://doi.org/10.4230/DARTS.9.2.19
https://nbn-resolving.org/urn:nbn:de:0030-drops-182596
https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.19

المؤلفون: Florian Jacob, Carolin Beer, Norbert Henze, Hannes Hartenstein

المصدر: IEEE Access, Vol 9, Pp 28317-28333 (2021)

مصطلحات موضوعية: Conflict-free replicated data type, decentralized systems, distributed computing, eventual consistency, instant messaging, middleware, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/9351908/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/4ec03f2ad576422e8571b439353b0259

المؤلفون: Nicolas, Matthieu, Oster, Gerald, Perrin, Olivier

المساهمون: Web Scale Trustworthy Collaborative Service Systems (COAST), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Networks, Systems and Services (LORIA - NSS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

المصدر: ISSN: 1045-9219 ; IEEE Transactions on Parallel and Distributed Systems ; https://inria.hal.science/hal-03772633 ; IEEE Transactions on Parallel and Distributed Systems, 2022, 33 (12), pp.3870-3885. ⟨10.1109/TPDS.2022.3172570⟩.

مصطلحات موضوعية: CRDTs, Replication, Real-time collaborative editing, Eventual consistency, memory-wise optimisation, performance, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

الاتاحة: https://inria.hal.science/hal-03772633
https://inria.hal.science/hal-03772633v1/document
https://inria.hal.science/hal-03772633v1/file/main.pdf
https://doi.org/10.1109/TPDS.2022.3172570

المؤلفون: Barreto, António José Sá

المساهمون: Paulino, Hervé, RUN

مصطلحات موضوعية: CRDT, Eventual Consistency, Dynamic Environments, Publish/Subscribe, Data Propagation, Mobile Networks, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

وصف الملف: application/pdf

الاتاحة: http://hdl.handle.net/10362/93770

المؤلفون: Rijo, André dos Reis Martins

المساهمون: Ferreira, Carla, Preguiça, Nuno, RUN

مصطلحات موضوعية: CRDT, semantic model, eventual consistency, causal consistency, replication, concurrency conflicts, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

وصف الملف: application/pdf

الاتاحة: http://hdl.handle.net/10362/55171

المؤلفون: Bonin, Grégoire, Mostefaoui, Achour, Perrin, Matthieu, Ruas, Olivier

المساهمون: Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)

المصدر: https://hal.science/hal-03813789 ; 2022.

مصطلحات موضوعية: Consistency Criteria, Eventual Consistency, Replicated Object, Sequential Consistency, Space Complexity, Universal Construction, Update Consistency, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Relation: hal-03813789; https://hal.science/hal-03813789; https://hal.science/hal-03813789/document; https://hal.science/hal-03813789/file/rr.pdf

الاتاحة: https://hal.science/hal-03813789
https://hal.science/hal-03813789/document
https://hal.science/hal-03813789/file/rr.pdf

المؤلفون: Yu, Weihai, Ignat, Claudia-Lavinia

المساهمون: The Arctic University of Norway Tromsø, Norway (UiT), Web Scale Trustworthy Collaborative Service Systems (COAST), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Networks, Systems and Services (LORIA - NSS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

المصدر: IEEE International Conference on Smart Data Services, 2020 IEEE World Congress on Services ; https://inria.hal.science/hal-02983557 ; IEEE International Conference on Smart Data Services, 2020 IEEE World Congress on Services, Oct 2020, Beijing, China

مصطلحات موضوعية: CRDTs, relational database, eventual consistency, integrity constraints, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

جغرافية الموضوع: Beijing, China

الاتاحة: https://inria.hal.science/hal-02983557
https://inria.hal.science/hal-02983557v1/document
https://inria.hal.science/hal-02983557v1/file/SMDS2020.pdf

المؤلفون: Nicolas, Matthieu, Oster, Gérald, Perrin, Olivier

المساهمون: Web Scale Trustworthy Collaborative Service Systems (COAST), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Networks, Systems and Services (LORIA - NSS), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)

المصدر: PaPoC 2020 - 7th Workshop on Principles and Practice of Consistency for Distributed Data ; https://inria.hal.science/hal-02526724 ; PaPoC 2020 - 7th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2020, Heraklion / Virtual, Greece

مصطلحات موضوعية: CRDTs, CCS Concepts • Theory of computation → Distributed algorithms, • Software and its engineering → Consis- tency, • Human-centered computing → Collaborative and social computing systems and tools, • Applied com- puting → Text editing, Keywords CRDTs, real-time collaborative editing, eventual consistency, memory-wise optimisation, performance, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

جغرافية الموضوع: Heraklion / Virtual, Greece

الاتاحة: https://inria.hal.science/hal-02526724
https://inria.hal.science/hal-02526724v2/document
https://inria.hal.science/hal-02526724v2/file/main.pdf

المؤلفون: Yu, Weihai, Elvinger, Victorien, Ignat, Claudia-Lavinia

المساهمون: Weihai Yu and Victorien Elvinger and Claudia-Lavinia Ignat

مصطلحات موضوعية: Data replication, eventual consistency, state-based CRDT, delta-state CRDT, concurrent undo

وصف الملف: application/pdf

Relation: Is Part Of LIPIcs, Volume 153, 23rd International Conference on Principles of Distributed Systems (OPODIS 2019); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.14

الاتاحة: https://doi.org/10.4230/LIPIcs.OPODIS.2019.14
https://nbn-resolving.org/urn:nbn:de:0030-drops-118009
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2019.14

المؤلفون: Zhao, Xin, Haller, Philipp

المصدر: The Journal of logical and algebraic methods in programming. 114

مصطلحات موضوعية: Atomic consistency, Eventual consistency, CRDT, Actor model, Distributed programming

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-277989
https://doi.org/10.1016/j.jlamp.2020.100561

المؤلفون: Jeffery, A, Howard, H, Mortier, R

مصطلحات موضوعية: edge, orchestration, Kubernetes, eventual consistency, CRDTs

وصف الملف: application/pdf

Relation: https://www.repository.cam.ac.uk/handle/1810/321942

الاتاحة: https://www.repository.cam.ac.uk/handle/1810/321942
https://doi.org/10.17863/CAM.69399