Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.12015/2434
Title: Using empirical data to reason about Internet research ethics
Authors: Imine, Abdessamad
Molli, Pascal
Oster, Gérald
Rusinowitch, Michaël
Issue Date: 2003
Publisher: Kluwer Academic Publishers, Dordrecht, The Netherlands
metadata.dc.relation.ispartof: ECSCW 2003: Proceedings of the Eighth European Conference on Computer Supported Cooperative Work
metadata.mci.reference.pages: 277-293
Series/Report no.: ECSCW
Abstract: Operational transformation is an approach which allows to build real-time groupware tools. This approach requires correct transformation functions. Proving the correction of these transformation functions is very complex and error prone. In this paper, we show how a theorem prover can address this serious bottleneck. To validate our approach, we have verified the correctness of state-of-art transformation functions defined on Strings with surprising results. Counter-examples provided by the theorem prover have helped us to define new correct transformation functions for Strings.
metadata.dc.identifier.doi: 10.1007/978-94-010-0068-0_15
URI: https://hdl.handle.net/20.500.12015/2434
ISBN: 978-94-010-0068-0
metadata.mci.conference.sessiontitle: Full Papers
metadata.mci.conference.location: Helsinki, Finland
metadata.mci.conference.date: 14–18 September 2003
Appears in Collections:ECSCW 2003: Proceedings of the Eighth European Conference on Computer Supported Cooperative Work

Files in This Item:
File Description SizeFormat 
00188.pdf582,55 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.