Design and implementation of software tools for property verification in operational transformation
Operational Transformation (OT) as a real-time collaborative computing technology has been extensively studied over the past two decades. One of the aspects that has not been fully explored is the correctness of those OT systems whose operation model consists of string-wise primitive operations. To...
| 第一著者: | |
|---|---|
| その他の著者: | |
| フォーマット: | Final Year Project (FYP) |
| 言語: | English |
| 出版事項: |
2014
|
| 主題: | |
| オンライン･アクセス: | http://hdl.handle.net/10356/59249 |