Using empirical data to reason about Internet research ethics

Simple item page
dc.contributor.authorImine, Abdessamad
dc.contributor.authorMolli, Pascal
dc.contributor.authorOster, Gérald
dc.contributor.authorRusinowitch, Michaël
dc.date.accessioned2017-04-15T11:48:26Z
dc.date.available2017-04-15T11:48:26Z
dc.date.issued2003
dc.description.abstractOperational 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.
dc.identifier.doi10.1007/978-94-010-0068-0_15
dc.identifier.isbn978-94-010-0068-0
dc.language.isoen
dc.publisherKluwer Academic Publishers, Dordrecht, The Netherlands
dc.relation.ispartofECSCW 2003: Proceedings of the Eighth European Conference on Computer Supported Cooperative Work
dc.relation.ispartofseriesECSCW
dc.titleUsing empirical data to reason about Internet research ethics
dc.typeText
gi.citation.endPage293
gi.citation.startPage277
gi.conference.date14–18 September 2003
gi.conference.locationHelsinki, Finland
gi.conference.sessiontitleFull Papers

Files

Original bundle
1 - 1 of 1
Thumbnail Image
Name:
00188.pdf
Size:
582.55 KB
Format:
Adobe Portable Document Format
Download
License bundle
1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
0 B
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

ECSCW 2003: Proceedings of the Eighth European Conference on Computer Supported Cooperative Work