A safe and generic model for synchronizing divergent data
暂无分享,去创建一个
Pascal Molli | Gérald Oster | Abdessamad Imine | Hala Skaf-Molli | G. Oster | H. Skaf-Molli | P. Molli | Abdessamad Imine
[1] John S. Heidemann,et al. Resolving File Conflicts in the Ficus File System , 1994, USENIX Summer.
[2] Clarence A. Ellis,et al. Concurrency control in groupware systems , 1989, SIGMOD '89.
[3] Prasun Dewan,et al. A flexible object merging framework , 1994, CSCW '94.
[4] Marvin Theimer,et al. Flexible update propagation for weakly consistent replication , 1997, SOSP.
[5] Dennis Shasha,et al. The dangers of replication and a solution , 1996, SIGMOD '96.
[6] Pascal Molli,et al. VOTE: Group Editors Analyzing Tool: System Description , 2003, Electron. Notes Theor. Comput. Sci..
[7] Benjamin C. Pierce,et al. What is a file synchronizer? , 1998, MobiCom '98.
[8] Reidar Conradi,et al. Version models for software configuration management , 1998, CSUR.
[9] Henry M. Levy,et al. Optimistic Replication for Internet Data Services , 2000, DISC.
[10] Chengzheng Sun,et al. Consistency maintenance in real-time collaborative graphics editing systems , 2002, TCHI.
[11] Yanchun Zhang,et al. Achieving convergence, causality preservation, and intention preservation in real-time cooperative editing systems , 1998, TCHI.
[12] Matthias Ressel,et al. An integrating, transformation-oriented approach to concurrency control and undo in group editors , 1996, CSCW '96.
[13] Narain H. Gehani,et al. Scalable Update Propagation in Epidemic Replicated Databases , 1996, EDBT.
[14] Hector Garcia-Molina,et al. Meaningful change detection in structured data , 1997, SIGMOD '97.
[15] Pascal Molli,et al. Development of Transformation Functions Assisted by a Theorem Prover , 2002 .
[16] Walter F. Tichy,et al. Rcs — a system for version control , 1985, Softw. Pract. Exp..
[17] Mahadev Satyanarayanan,et al. Flexible and Safe Resolution of File Conflicts , 1995, USENIX.
[18] Jean Ferrié,et al. Concurrent operations in a distributed and mobile collaborative environment , 1998, Proceedings 14th International Conference on Data Engineering.
[19] Michaël Rusinowitch,et al. Proving Correctness of Transformation Functions in Real-Time Groupware , 2003, ECSCW.
[20] Sorin Stratulat,et al. A General Framework to Build Contextual Cover Set Induction Provers , 2001, J. Symb. Comput..
[21] Jean Ferrié,et al. Serialization of concurrent operations in a distributed collaborative environment , 1997, GROUP.
[22] Dean Daniels,et al. Oracle's symmetric replication technology and implications for application design , 1994, SIGMOD '94.
[23] Antony I. T. Rowstron,et al. The IceCube approach to the reconciliation of divergent replicas , 2001, PODC '01.
[24] Nicolas Vidot,et al. Copies convergence in a distributed real-time collaborative environment , 2000, CSCW '00.
[25] Chengzheng Sun,et al. Undo as concurrent inverse in group editors , 2002, TCHI.