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.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.
| |