{"id":"https://openalex.org/W23026636","doi":null,"title":"Conception Formelle d'Algorithmes de R\u00e9plication Optimiste Vers l'Edition Collaborative dans les R\u00e9seaux Pair-\u00e0-Pair","display_name":"Conception Formelle d'Algorithmes de R\u00e9plication Optimiste Vers l'Edition Collaborative dans les R\u00e9seaux Pair-\u00e0-Pair","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W23026636","mag":"23026636"},"language":"fr","primary_location":{"id":"pmh:oai:univ-lorraine.fr:univ-lorraine-ori-11967","doi":null,"is_oa":false,"landing_page_url":"http://docnum.univ-lorraine.fr/prive/SCD_T_2006_0184_IMINE.pdf","pdf_url":"http://docnum.univ-lorraine.fr/prive/SCD_T_2006_0184_IMINE.pdf","source":{"id":"https://openalex.org/S4306400741","display_name":"Publications Et Travaux Academiques de Lorraine (Universite de Lorraine)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210102194","host_organization_name":"Laboratoire de Cristallographie, R\u00e9sonance Magn\u00e9tique et Mod\u00e9lisations","host_organization_lineage":["https://openalex.org/I4210102194"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Electronic Thesis or Dissertation"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/10068/794402","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082464674","display_name":"Abdessamad Imine A","orcid":"https://orcid.org/0000-0002-4496-0340","observed_orcids":["https://orcid.org/0000-0002-4496-0340"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Abdessamad Imine","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-4496-0340","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5082464674"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.961899995803833,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.961899995803833,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10742","display_name":"Peer-to-Peer Network Technologies","score":0.011500000022351742,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.006800000090152025,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/collaborative-editing","display_name":"collaborative editing","score":0.8460000157356262},{"id":"https://openalex.org/keywords/optimistic-replication","display_name":"optimistic replication","score":0.9390000104904175},{"id":"https://openalex.org/keywords/operational-transformation","display_name":"operational transformation","score":0.925000011920929},{"id":"https://openalex.org/keywords/data-convergence","display_name":"data convergence","score":0.800000011920929},{"id":"https://openalex.org/keywords/formal-specification","display_name":"formal specification","score":0.5640000104904175},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.843999981880188},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"automated theorem proving","score":0.8410000205039978},{"id":"https://openalex.org/keywords/linear-objects","display_name":"linear objects","score":0.7369999885559082},{"id":"https://openalex.org/keywords/xml-trees","display_name":"XML trees","score":0.6800000071525574},{"id":"https://openalex.org/keywords/peer-to-peer-networks","display_name":"peer-to-peer networks","score":0.8870000243186951},{"id":"https://openalex.org/keywords/object-composition","display_name":"object composition","score":0.7059999704360962}],"concepts":[{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.839406430721283},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.3462021052837372},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.29335153102874756}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:univ-lorraine.fr:univ-lorraine-ori-11967","doi":null,"is_oa":false,"landing_page_url":"http://docnum.univ-lorraine.fr/prive/SCD_T_2006_0184_IMINE.pdf","pdf_url":"http://docnum.univ-lorraine.fr/prive/SCD_T_2006_0184_IMINE.pdf","source":{"id":"https://openalex.org/S4306400741","display_name":"Publications Et Travaux Academiques de Lorraine (Universite de Lorraine)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210102194","host_organization_name":"Laboratoire de Cristallographie, R\u00e9sonance Magn\u00e9tique et Mod\u00e9lisations","host_organization_lineage":["https://openalex.org/I4210102194"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Electronic Thesis or Dissertation"},{"id":"pmh:hdl:10068/794402","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10068/794402","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"U - Thesis"},{"id":"pmh:oai:HAL:tel-01746555v1","doi":null,"is_oa":false,"landing_page_url":"https://hal.science/tel-01746555v1","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Autre [cs.OH]. Universit\u00e9 Henri Poincar\u00e9 - Nancy 1, 2006. Fran\u00e7ais. ⟨NNT : 2006NAN10184⟩","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"mag:23026636","doi":null,"is_oa":false,"landing_page_url":"https://www.theses.fr/2006NAN10184","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:hdl:10068/794402","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10068/794402","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"U - Thesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G2331704211","display_name":null,"funder_award_id":"UL1-RR031986","funder_id":"https://openalex.org/F4320337375","funder_display_name":"National Center for Research Resources"},{"id":"https://openalex.org/G2395497570","display_name":"Inhibition of Protein-Protein Contacts in VEGF Transcription by Synthetic Helices","funder_award_id":"R21HL094969","funder_id":"https://openalex.org/F4320337338","funder_display_name":"National Heart, Lung, and Blood Institute"},{"id":"https://openalex.org/G2657538623","display_name":null,"funder_award_id":"5UL1RR031986","funder_id":"https://openalex.org/F4320337375","funder_display_name":"National Center for Research Resources"},{"id":"https://openalex.org/G6977031394","display_name":"Trafficking of plgR in Lacrimal Gland","funder_award_id":"R01EY016985","funder_id":"https://openalex.org/F4320337350","funder_display_name":"National Eye Institute"},{"id":"https://openalex.org/G7499873055","display_name":"A rapid, reversible switch for controlling intracellular trafficking","funder_award_id":"R21EB012281","funder_id":"https://openalex.org/F4320337363","funder_display_name":"National Institute of Biomedical Imaging and Bioengineering"},{"id":"https://openalex.org/G8605498494","display_name":"Modular Dendritic Integrin Antagonists for Cancer Therapy","funder_award_id":"R21CA129388","funder_id":"https://openalex.org/F4320337351","funder_display_name":"National Cancer Institute"},{"id":"https://openalex.org/G8724447363","display_name":"Ad5 Fiber Entry and Trafficking in Lacrimal Acini","funder_award_id":"R01EY017293","funder_id":"https://openalex.org/F4320337350","funder_display_name":"National Eye Institute"},{"id":"https://openalex.org/G9000873434","display_name":"Microtubule-based Transport in Lacrimal Gland Function","funder_award_id":"R01EY011386","funder_id":"https://openalex.org/F4320337350","funder_display_name":"National Eye Institute"}],"funders":[{"id":"https://openalex.org/F4320337338","display_name":"National Heart, Lung, and Blood Institute","ror":"https://ror.org/012pb6c26"},{"id":"https://openalex.org/F4320337350","display_name":"National Eye Institute","ror":"https://ror.org/03wkg3b53"},{"id":"https://openalex.org/F4320337351","display_name":"National Cancer Institute","ror":"https://ror.org/040gcmg81"},{"id":"https://openalex.org/F4320337363","display_name":"National Institute of Biomedical Imaging and Bioengineering","ror":"https://ror.org/00372qc85"},{"id":"https://openalex.org/F4320337375","display_name":"National Center for Research Resources","ror":"https://ror.org/04pw6fb54"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":74,"referenced_works":["https://openalex.org/W185356533","https://openalex.org/W201663540","https://openalex.org/W371073629","https://openalex.org/W1490294532","https://openalex.org/W1494879905","https://openalex.org/W1498855171","https://openalex.org/W1545155892","https://openalex.org/W1567856068","https://openalex.org/W1570218811","https://openalex.org/W1572892291","https://openalex.org/W1583754553","https://openalex.org/W1603788080","https://openalex.org/W1607333516","https://openalex.org/W1652742168","https://openalex.org/W1780530600","https://openalex.org/W1895422148","https://openalex.org/W1909544667","https://openalex.org/W1966630367","https://openalex.org/W1968386045","https://openalex.org/W1969356716","https://openalex.org/W1972098965","https://openalex.org/W1987150355","https://openalex.org/W1988964526","https://openalex.org/W1993994360","https://openalex.org/W1994838062","https://openalex.org/W1996958808","https://openalex.org/W1999202438","https://openalex.org/W2001803004","https://openalex.org/W2010001930","https://openalex.org/W2015167470","https://openalex.org/W2015669758","https://openalex.org/W2020516462","https://openalex.org/W2028511743","https://openalex.org/W2029841602","https://openalex.org/W2032432675","https://openalex.org/W2032696630","https://openalex.org/W2033809864","https://openalex.org/W2036278007","https://openalex.org/W2038562061","https://openalex.org/W2041175185","https://openalex.org/W2048438387","https://openalex.org/W2052001696","https://openalex.org/W2054830285","https://openalex.org/W2054873404","https://openalex.org/W2059574400","https://openalex.org/W2062179724","https://openalex.org/W2065164788","https://openalex.org/W2072040293","https://openalex.org/W2086747974","https://openalex.org/W2088721436","https://openalex.org/W2090613284","https://openalex.org/W2096167494","https://openalex.org/W2097218702","https://openalex.org/W2106942243","https://openalex.org/W2109691981","https://openalex.org/W2110568694","https://openalex.org/W2117260615","https://openalex.org/W2118871086","https://openalex.org/W2130264930","https://openalex.org/W2133692519","https://openalex.org/W2145220267","https://openalex.org/W2149753528","https://openalex.org/W2150179797","https://openalex.org/W2151943351","https://openalex.org/W2153527920","https://openalex.org/W2154193287","https://openalex.org/W2180313053","https://openalex.org/W2260440448","https://openalex.org/W2295541535","https://openalex.org/W2331953749","https://openalex.org/W2406142175","https://openalex.org/W2611515161","https://openalex.org/W2912818154","https://openalex.org/W4253025939"],"related_works":["https://openalex.org/W4394686701","https://openalex.org/W4393366098","https://openalex.org/W7146945879","https://openalex.org/W1966630367","https://openalex.org/W4392231192","https://openalex.org/W2636649058","https://openalex.org/W2115566268","https://openalex.org/W4392228929","https://openalex.org/W7128581007","https://openalex.org/W7147145061"],"abstract_inverted_index":{"Les":[0],"syst\u00e8mes":[1,33,82,142],"d'\u00e9dition":[2,83],"collaborative":[3,84,222],"permettent":[4],"la":[5,70,89,147,158,183,251],"manipulation":[6],"d'objets,":[7],"comme":[8],"des":[9,26,81,91,107,136,141,153,225,257,263],"documents":[10],"texte,":[11,161],"par":[12,111],"plusieurs":[13],"personnes":[14],"qui":[15,76],"sont":[16,185],"r\u00e9parties":[17],"dan":[18],"le":[19,160,233],"temps":[20],"et":[21,105],"dans":[22,30,56,140,146,182],"l'espace.":[23],"La":[24,150],"r\u00e9plication":[25],"objets":[27,108,154,226,258],"est":[28,54,63,232],"indispensable":[29],"de":[31,40,42,60,64,73,87,120,123,134,138,179,197,204,212,229,265,271],"tels":[32],"mais":[34],"elle":[35],"peut":[36,236],"entra\u00eener":[37],"un":[38,66,94,168,194,217,240],"probl\u00e8me":[39],"divergence":[41,139],"donn\u00e9es.":[43,92],"Pour":[44],"pallier":[45],"ce":[46,57,171],"probl\u00e8me,":[47],"une":[48,100,112,201,248],"approche":[49],"optimiste,":[50],"appel\u00e9e":[51],"transformation":[52,74,113,198],"op\u00e9rationnelle,":[53],"utilis\u00e9e":[55],"domaine.":[58],"L'objectif":[59],"cette":[61],"th\u00e8se":[62],"proposer":[65],"cadre":[67],"formel":[68],"pour":[69,103,152,220,255],"conception":[71],"d'algorithmes":[72],"corrects":[75],"peuvent":[77],"\u00eatre":[78,237],"d\u00e9ploy\u00e9s":[79],"sur":[80,118,200,224,239,268],"en":[85,261],"vue":[86],"garantir":[88],"convergence":[90,151,180,266],"Dans":[93],"premier":[95],"temps,":[96],"nous":[97,131,173,191,214,245],"avons":[98,174,192,215,246],"propos\u00e9":[99,193,247],"m\u00e9thodologie":[101,116],"formelle":[102],"sp\u00e9cifier":[104],"v\u00e9rifier":[106],"collaboratifs":[109,143],"synchronis\u00e9s":[110],"op\u00e9rationnelle.":[114],"Cette":[115],"repose":[117],"l'utilisation":[119],"techniques":[121],"avanc\u00e9es":[122],"d\u00e9duction":[124],"automatique.":[125],"Son":[126],"exploitation":[127],"\u00e9tait":[128],"cons\u00e9quente":[129],"puisqu'elle":[130],"a":[132],"permis":[133],"d\u00e9tecter":[135],"situations":[137],"bien":[144],"connus":[145],"litt\u00e9rature.":[148],"Assurer":[149],"lin\u00e9aires":[155],"(tels":[156],"que":[157,176],"liste,":[159],"l'arbre":[162],"ordonn\u00e9":[163],"XML,":[164],"etc)":[165],"demeure":[166],"toujours":[167],"d\u00e9fi.":[169],"A":[170],"titre,":[172],"constat\u00e9":[175],"les":[177,269],"conditions":[178],"connues":[181],"litt\u00e9rature":[184],"tr\u00e8s":[186],"difficiles":[187],"\u00e0":[188,209],"satisfaire.":[189],"Aussi,":[190],"nouvel":[195],"algorithme":[196,211],"bas\u00e9":[199],"forme":[202],"relax\u00e9e":[203],"ces":[205],"conditions.":[206],"Comme":[207],"compl\u00e9ment":[208],"cet":[210,230],"transformation,":[213],"con\u00e7u":[216],"environnement":[218,231],"d'int\u00e9gration":[219],"l'\u00e9dition":[221],"bas\u00e9e":[223],"lin\u00e9aires.":[227],"L'originalit\u00e9":[228],"fait":[234],"qu'il":[235],"d\u00e9ploy\u00e9":[238],"r\u00e9seaux":[241],"pair-\u00e0-pair":[242],"(P2P).":[243],"Enfin,":[244],"technique":[249],"permettant":[250],"composition":[252],"d'objets":[253],"simples":[254],"former":[256],"complexes":[259],"tout":[260],"pr\u00e9servant":[262],"crit\u00e8res":[264],"impos\u00e9s":[267],"algorithmes":[270],"transformation.":[272]},"counts_by_year":[{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2016-06-24T00:00:00"}