المؤلفون: Stefka Hristova

المصدر: communication +1, Vol 10, Iss 1 (2023)

مصطلحات موضوعية: algorithmic culture, verification, platform seeing, distributed verification, distributed identity, Language and Literature, Communication. Mass media, P87-96

وصف الملف: electronic resource

Relation: https://openpublishing.library.umass.edu/cpo/article/id/1881/; https://openpublishing.library.umass.edu/cpo/article/1881/galley/1842/download/; https://doaj.org/toc/2380-6109

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

المؤلفون: Le Gall, François, Miyamoto, Masayuki, Nishimura, Harumichi

مصطلحات موضوعية: distributed interactive proofs, distributed verification, quantum computation, Theory of computation → Distributed algorithms, Theory of computation → Quantum computation theory

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

Relation: https://dx.doi.org/10.4230/LIPIcs.STACS.2023

الاتاحة: https://dx.doi.org/10.4230/lipics.stacs.2023.42
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2023.42

المؤلفون: Le Gall, François, Miyamoto, Masayuki, Nishimura, Harumichi

مصطلحات موضوعية: distributed quantum Merlin-Arthur, distributed verification, quantum computation, Theory of computation → Distributed algorithms, Theory of computation → Quantum computation theory

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

Relation: https://dx.doi.org/10.4230/LIPIcs.MFCS.2023; https://dx.doi.org/10.1145/2670418.2670440; https://dx.doi.org/10.1103/PhysRevLett.87.167902; https://dx.doi.org/10.4230/LIPIcs.DISC.2019.13; https://dx.doi.org/10.1145/1412700.1412718; https://dx.doi.org/10.1007/s00446-018-0340-8; https://dx.doi.org/10.4086/toc.2016.v012a019; https://dx.doi.org/10.1007/s00446-010-0095-3; https://dx.doi.org/10.1137/1.9781611975994.67; https://dx.doi.org/10.1103/PhysRevLett.120.170502; https://dx.doi.org/10.1145/2141938.2141939

الاتاحة: https://dx.doi.org/10.4230/lipics.mfcs.2023.63
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.63

المؤلفون: Al Wardani, Farah, Chaudhuri, Kaustuv, Miller, Dale

المساهمون: Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS), Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion (PARTOUT), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

المصدر: Proceedings of the 14th International Conference on Frontiers of Combining Systems (FroCoS) ; FroCoS 2023 - 14th International Symposium on Frontiers of Combining Systems ; https://inria.hal.science/hal-04167922 ; FroCoS 2023 - 14th International Symposium on Frontiers of Combining Systems, Sep 2023, Prague (Czech Republic), Czech Republic

مصطلحات موضوعية: Heterogeneous Verification, Distributed Verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Prague (Czech Republic), Czech Republic

Relation: hal-04167922; https://inria.hal.science/hal-04167922; https://inria.hal.science/hal-04167922v2/document; https://inria.hal.science/hal-04167922v2/file/damf.pdf

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

المؤلفون: Peter Wanke, M. Kabir Hassan, Md. Abul Kalam Azad, Md. Azizur Rahman, Naznin Akther

المصدر: Financial Innovation, Vol 8, Iss 1, Pp 1-12 (2022)

مصطلحات موضوعية: Blockchain, Islamic microfinance, Double bottom line, Distributed verification, Public finance, K4430-4675, Finance, HG1-9999

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2199-4730

URL الوصول: https://doaj.org/article/8b3aa282a27c43b8bd84806d190ea847

المؤلفون: Le Gall, François, Miyamoto, Masayuki, Nishimura, Harumichi

المساهمون: François Le Gall and Masayuki Miyamoto and Harumichi Nishimura

مصطلحات موضوعية: distributed interactive proofs, distributed verification, quantum computation

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

Relation: Is Part Of LIPIcs, Volume 246, 36th International Symposium on Distributed Computing (DISC 2022); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2022.48

الاتاحة: https://doi.org/10.4230/LIPIcs.DISC.2022.48
https://nbn-resolving.org/urn:nbn:de:0030-drops-172396
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2022.48

المؤلفون: Rybowski, Nicolas, De Coninck, Quentin, Rousseaux, Tom, Legay, Axel, Bonaventure, Olivier, SIGCOMM '21: ACM SIGCOMM 2021 Conference

المساهمون: UCL - SST/ICTM/INGI - Pôle en ingénierie informatique

مصطلحات موضوعية: Distributed verification system, Plugin, Protocol operation, Safety properties, PQUIC

Relation: boreal:251830; http://hdl.handle.net/2078.1/251830

الاتاحة: http://hdl.handle.net/2078.1/251830
https://doi.org/10.1145/3472716.3472860

المؤلفون: Montealegre, Pedro, Ramírez-Romero, Diego, Rapaport, Ivan

المساهمون: Pedro Montealegre and Diego Ramírez-Romero and Ivan Rapaport

مصطلحات موضوعية: Distributed interactive proofs, Distributed verification, Shared randomness, Private randomness

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

Relation: Is Part Of LIPIcs, Volume 181, 31st International Symposium on Algorithms and Computation (ISAAC 2020); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ISAAC.2020.51

الاتاحة: https://doi.org/10.4230/LIPIcs.ISAAC.2020.51
https://nbn-resolving.org/urn:nbn:de:0030-drops-133959
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ISAAC.2020.51

المؤلفون: Teng Li, Jianfeng Ma, Qingqi Pei, Houbing Song, Yulong Shen, Cong Sun

المصدر: IEEE Access, Vol 7, Pp 35302-35316 (2019)

مصطلحات موضوعية: Wireless network security, anomalies detection, distributed verification, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

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

URL الوصول: https://doaj.org/article/28f764a3336f49cba4163063131edbe2

المؤلفون: Crescenzi, Pierluigi, Fraigniaud, Pierre, Paz, Ami

المساهمون: Pierluigi Crescenzi and Pierre Fraigniaud and Ami Paz

مصطلحات موضوعية: Distributed interactive proofs, Distributed verification

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

Relation: Is Part Of LIPIcs, Volume 146, 33rd International Symposium on Distributed Computing (DISC 2019); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2019.13

الاتاحة: https://doi.org/10.4230/LIPIcs.DISC.2019.13
https://nbn-resolving.org/urn:nbn:de:0030-drops-113202
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2019.13

المؤلفون: Laurent Feuilloley (Universidad de Chile), Pierre Fraigniaud (IRIF, CNRS, Université de Paris), Juho Hirvonen (Aalto University), Ami Paz (Faculty of Computer Science, University of Vienna), Mor Perry (Weizmann Institute of Science)

المصدر: Distributed Computing ; issn:0178-2770

مصطلحات موضوعية: Distributed verification, Distributed graph algorithms, Proof-labeling schemes, Space-time tradeoffs, Nondeterminism

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

Relation: isPartOf:https://phaidra.univie.ac.at/o:243553[u:scholar collection]; hdl:11353/10.1218541; https://phaidra.univie.ac.at/o:1218541

الاتاحة: https://doi.org/10.1007/s00446-020-00386-z
https://phaidra.univie.ac.at/o:1218541

المؤلفون: Arfaoui, Heger, Fraigniaud, Pierre, Ilcinkas, David, Mathieu, Fabien, Pelc, Andrzej

المساهمون: South Mediterranean University Group (SMU), Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Nokia Bell Labs, Département d'Informatique et d'Ingénierie (DII), Université du Québec en Outaouais (UQO), Voir papier pour détails., ANR-16-CE25-0009,ESTATE,Auto-stabilisation et amélioration de la sûreté dans les environnements distribués évoluant dans le temps(2016), ANR-16-CE40-0023,DESCARTES,Abstraction modulaire pour le calcul distribué(2016), ANR-10-IDEX-0003,IDEX BORDEAUX,Initiative d'excellence de l'Université de Bordeaux(2010)

المصدر: ISSN: 0178-2770.

مصطلحات موضوعية: Distributed decision, Distributed verification, Locality, Network, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

الاتاحة: https://hal.science/hal-02285014
https://hal.science/hal-02285014v1/document
https://hal.science/hal-02285014v1/file/DistComp-WG2014.pdf
https://doi.org/10.1007/s00446-019-00355-1

المؤلفون: Feuilloley, Laurent, Fraigniaud, Pierre, Hirvonen, Juho, Paz, Ami, Perry, Mor

المساهمون: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Networks, Graphs and Algorithms (GANG), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Tel Aviv University (TAU)

المصدر: 32nd International Symposium on Distributed Computing
https://inria.hal.science/hal-01964771
32nd International Symposium on Distributed Computing, 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.24⟩

مصطلحات موضوعية: Distributed verification, Distributed graph algorithms, Proof-labeling schemes, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

جغرافية الموضوع: New Orleans, United States

Relation: hal-01964771; https://inria.hal.science/hal-01964771; https://inria.hal.science/hal-01964771/document; https://inria.hal.science/hal-01964771/file/tPLS-united_file.pdf

الاتاحة: https://inria.hal.science/hal-01964771
https://inria.hal.science/hal-01964771/document
https://inria.hal.science/hal-01964771/file/tPLS-united_file.pdf
https://doi.org/10.4230/LIPIcs.DISC.2018.24

المؤلفون: Feuilloley, Laurent, Hirvonen, Juho

المساهمون: Laurent Feuilloley and Juho Hirvonen

مصطلحات موضوعية: Proof-labeling schemes, distributed verification, non-determinism, local proofs

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

Relation: Is Part Of LIPIcs, Volume 121, 32nd International Symposium on Distributed Computing (DISC 2018); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2018.25

الاتاحة: https://doi.org/10.4230/LIPIcs.DISC.2018.25
https://nbn-resolving.org/urn:nbn:de:0030-drops-98146
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2018.25

المؤلفون: Balliu, Alkida, Fraigniaud, Pierre

المساهمون: Alkida Balliu and Pierre Fraigniaud

مصطلحات موضوعية: Distributed verification, compact routing, local computing

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

Relation: Is Part Of LIPIcs, Volume 91, 31st International Symposium on Distributed Computing (DISC 2017); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2017.6

الاتاحة: https://doi.org/10.4230/LIPIcs.DISC.2017.6
https://nbn-resolving.org/urn:nbn:de:0030-drops-79807
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2017.6

المؤلفون: Gall, François Le, Miyamoto, Masayuki, Nishimura, Harumichi

مصطلحات موضوعية: FOS: Computer and information sciences, Quantum Physics, Computer Science - Distributed, Parallel, and Cluster Computing, distributed interactive proofs, Theory of computation → Quantum computation theory, quantum computation, FOS: Physical sciences, distributed verification, Distributed, Parallel, and Cluster Computing (cs.DC), Theory of computation → Distributed algorithms, Quantum Physics (quant-ph)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f5ce2c6068cf0219d6d4c0daba745173

المؤلفون: Kor, Liah, Korman, Amos, Peleg, David

المساهمون: Liah Kor and Amos Korman and David Peleg

مصطلحات موضوعية: distributed algorithms, distributed verification, labeling schemes, minimum-weight spanning tree

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

Relation: Is Part Of LIPIcs, Volume 9, 28th International Symposium on Theoretical Aspects of Computer Science (STACS 2011); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2011.69

الاتاحة: https://doi.org/10.4230/LIPIcs.STACS.2011.69
https://nbn-resolving.org/urn:nbn:de:0030-drops-30000
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2011.69

المؤلفون: Quentin De Coninck, Axel Legay, Tom Rousseaux, Nicolas Rybowski, Olivier Bonaventure

المساهمون: UCL - SST/ICTM/INGI - Pôle en ingénierie informatique

المصدر: SIGCOMM Posters and Demos

مصطلحات موضوعية: Computer science, Property (programming), Protocol implementations, Protocol operation, computer.software_genre, Distribution system, Distributed verification system, Software deployment, Safety properties, Operating system, Plug-in, computer, Protocol (object-oriented programming), PQUIC, Plugin

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::daa69ff953f86de537c5a6fb5c0c1e85
https://hdl.handle.net/2078.1/251830

المؤلفون: Kor, Liah, Korman, Amos, Peleg, David

المساهمون: Department of Computer Science and Applied Mathematics Rehovot, Weizmann Institute of Science Rehovot, Israël, Networks, Graphs and Algorithms (GANG), Laboratoire d'informatique Algorithmique : Fondements et Applications (LIAFA), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)

المصدر: ISSN: 1432-4350.

مصطلحات موضوعية: Distributed algorithms, distributed verification, labeling schemes, minimum-weight spanning tree, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1512.04832; ARXIV: 1512.04832

الاتاحة: https://inria.hal.science/hal-01241088
https://inria.hal.science/hal-01241088v1/document
https://inria.hal.science/hal-01241088v1/file/ToCS-accepted.pdf
https://doi.org/10.1007/s00224-013-9479-7

المؤلفون: Qingqi Pei, Cong Sun, Teng Li, Houbing Song, Jianfeng Ma, Yulong Shen

المصدر: IEEE Access, Vol 7, Pp 35302-35316 (2019)

مصطلحات موضوعية: General Computer Science, business.industry, Wireless ad hoc network, Computer science, Wireless network security, 020208 electrical & electronic engineering, ComputerSystemsOrganization_COMPUTER-COMMUNICATIONNETWORKS, anomalies detection, General Engineering, Mobile computing, 020206 networking & telecommunications, 02 engineering and technology, Mobile ad hoc network, Merkle tree, Ad hoc On-Demand Distance Vector Routing, 0202 electrical engineering, electronic engineering, information engineering, Overhead (computing), General Materials Science, distributed verification, lcsh:Electrical engineering. Electronics. Nuclear engineering, Routing (electronic design automation), business, lcsh:TK1-9971, Computer network

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a4b7b4f294874178d20c522fa09f76bc
https://ieeexplore.ieee.org/document/8660389/