Using the transformational approach to build a safe and generic data synchronizer release_thzhkytdxnh7xabgj437ruaspm

by Pascal Molli, Gérald Oster, Hala Skaf-Molli, Abdessamad Imine

References

NOTE: currently batch computed and may include additional references sources, or be missing recent changes, compared to entity reference list.
Fuzzy reference matching is a work in progress!
Read more about quality, completeness, and caveats in the fatcat guide.
Showing 1 - 28 of 28 references (in 175ms)
[b0]

via grobid
S. Balasubramaniam and B. C. Pierce. What is a file synchronizer? In Mobile Computing and Networking, pages 98-108, 1998.
[b1]

via grobid
B. Berliner. CVS II : Parallelizing Software Development. In Proceedings of USENIX, Washigton D. C., 1990.
[b2]

via grobid
S. S. Chawathe and H. Garcia-Molina. Meaningful change detection in structured data. In Proceedings of the 1997 ACM SIGMOD International Conference on Management of Data, pages 26-37. ACM Press, 1997.
[b3]

via grobid
R. Conradi and B. Westfechtel. Version models for software configuration management. ACM Computing Surveys (CSUR), 30(2):232-282, 1998.
[b4]

via grobid
D. Daniels, L. B. Doo, A. Downing, C. Elsbernd, G. Hallmark, S. Jain, B. Jenkins, P. Lim, G. Smith, B. Souder, and J. Stamos. Oracle's symmetric replication technology and implications for application design. In Proceedings of the 1994 ACM SIGMOD international conference on Management of data, page 467. ACM Press, 1994.
[b5]

via grobid
C. A. Ellis and S. J. Gibbs. Concurrency control in groupware systems. In SIGMOD Conference, volume 18, pages 399-407, 1989.
[b6]

via grobid
J. Estublier. Software configuration management: a roadmap. In ICSE -Future of SE Track, pages 279-289, 2000.
[b7]

via grobid
J. Gray, P. Helland, P. O'Neil, and D. Shasha. The dangers of replication and a solution. In Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, pages 173-182. ACM Press, 1996.
[b8]

via grobid
A. Imine, P. Molli, G. Oster, and M. Rusinowitch. Development of transformation functions assisted by a theorem prover. In Fourth International Workshop on Collaborative Editing, New Orleans, Louisiana, USA, November 2002.
[b9]

via grobid
A. Imine, P. Molli, G. Oster, and M. Rusinowitch. Proving correctness of transformation functions in real-time groupware. In Proceedings of the 8th European Conference on Computer-Supported Cooperative Work, Helsinki, Finland, September 2003.
[b10]

via grobid
A. Imine, P. Molli, G. Oster, and P. Urso. Vote: Group editors analyzing tool. In International Workshop on First-Order Theorem Proving, June 2003.
[b11]

via fuzzy
The IceCube approach to the reconciliation of divergent replicas
Anne-Marie Kermarrec, Antony Rowstron, Marc Shapiro, Peter Druschel
2001   ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
doi:10.1145/383962.384020  dblp:conf/podc/KermarrecRSD01 
web.archive.org [PDF]
[b12]

via fuzzy
Flexible and Safe Resolution of File Conflicts, [report]
Puneet Kumar, Mahadev Satyanarayanan
1994    unpublished
doi:10.21236/ada289342 
web.archive.org [PDF]
[b13]

via grobid
J. P. Munson and P. Dewan. A flexible object merging framework. In Proceedings of ACM CSCW'94 Conference on Computer-Supported Cooperative Work, Technologies for Sharing I, pages 231-242, 1994.
[b14]

via grobid
K. Petersen, M. J. Spreitzer, D. B. Terry, M. M. Theimer, and A. J. Demers. Flexible update propagation for weakly consistent replication. In Proceedings of the 16th ACM Symposium on Operating SystemsPrinciples (SOSP-16), Saint Malo, France, 1997.
[b15]

via grobid
M. Rabinovich, N. H. Gehani, and A. Kononov. Scalable update propagation in epidemic replicated databases. In Extending Database Technology, pages 207-222, 1996.
[b16]

via fuzzy
Resolving File Conflicts in the Ficus File System
Peter L. Reiher, John S. Heidemann, David Ratner, Gregory Skinner, Gerald J. Popek
1994   USENIX Annual Technical Conference
dblp:conf/usenix/ReiherHRSP94 
[b17]

via grobid
Y. Saito and H. M. Levy. Optimistic replication for internet data services. In International Symposium on Distributed Computing, pages 297-314, 2000.
[b18]

via fuzzy
A log compression algorithm for operation-based version control systems
Haifeng Shen, Chengzheng Sun
Annual International Computer Software and Applications Conference
doi:10.1109/cmpsac.2002.1045115  dblp:conf/compsac/ShenS02 
web.archive.org [PDF]
[b19]

via fuzzy
A General Framework to Build Contextual Cover Set Induction Provers
Sorin Stratulat
2001   Journal of symbolic computation
doi:10.1006/jsco.2000.0469 
web.archive.org [PDF]
[b20]

via fuzzy
Concurrent operations in a distributed and mobile collaborative environment
M. Suleiman, M. Cart, J. Ferrie
IEEE International Conference on Data Engineering
doi:10.1109/icde.1998.655755  dblp:conf/icde/SuleimanCF98 
[b21]

via grobid
M. Suleiman, M. Cart, and J. Ferrié. Serialization of concurrent operations in a distributed collaborative environment. In Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work : The Integration Challenge (GROUP'97), pages 435-445. ACM Press, November 1997.
[b22]

via fuzzy
Undo as concurrent inverse in group editors
Chengzheng Sun
2003   Interactions
doi:10.1145/637848.637852 
web.archive.org [PDF]
[b23]

via fuzzy
Consistency maintenance in real-time collaborative graphics editing systems
Chengzheng Sun, David Chen
2002   Interactions
doi:10.1145/506671.506678 
[b24]

via fuzzy
Achieving convergence, causality preservation, and intention preservation in real-time cooperative editing systems
Chengzheng Sun, Xiaohua Jia, Yanchun Zhang, Yun Yang, David Chen
1998   ACM Transactions on Computer-Human Interaction
doi:10.1145/274444.274447 
web.archive.org [PDF]
[b25]

via grobid
W. F. Tichy. RCS -A system for version control. Software-Practice and Experience, 15(7):637-654, July 1985.
[b26]

via grobid
A. van der Hoek. International workshop on software configuration management (scm-10): new practices, new challenges, and new boundaries. ACM SIGSOFT Software Engineering Notes, 26(6):57-58, 2001.
[b27]

via grobid
N. Vidot, M. Cart, J. Ferrié, and M. Suleiman. Copies convergence in a distributed real-time collaborative environment. In Proceedings of the ACM Conference on Computer Supported Cooperative Work (CSCW'00), Philadelphia, Pennsylvania, USA, December 2000.