WEKO3
アイテム
Remote Editing Protocolの実装と検証
https://ipsj.ixsq.nii.ac.jp/records/62106
https://ipsj.ixsq.nii.ac.jp/records/621064e6e2ea7-f190-4d50-86bc-d37c79e40f76
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-OS09111028.pdf (507.3 kB)
|
Copyright (c) 2009 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2009-04-15 | |||||||
| タイトル | ||||||||
| タイトル | Remote Editing Protocolの実装と検証 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Implementation and verification of Remote Editing Protocol | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 分散システム(2） | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 琉球大学理工学研究科情報工学専攻 | ||||||||
| 著者所属 | ||||||||
| 琉球大学理工学研究科情報工学専攻 | ||||||||
| 著者所属 | ||||||||
| 琉球大学工学部情報工学科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Interdisciplinary Infomation Engineering, Graduate School of Engineering and Science, University of the Ryukyus. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Interdisciplinary Infomation Engineering, Graduate School of Engineering and Science, University of the Ryukyus. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Infomation Engineering, University of the Ryukyus. | ||||||||
| 著者名 |
与儀, 健人
× 与儀, 健人
|
|||||||
| 著者名(英) |
Kento, Yogi
× Kento, Yogi
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本研究室が提案するRemoteEditingProtocol(REP) は、異なるホストにあるアプリケーション同士による協調したデータ編集を可能にするプロトコルである。しかしREPは複雑なプロトコルを用いているため、その検証による動作の保証が不可欠となる。本研究ではREPの主要なプロトコル部を抜き出し、JavaPathFinderを用いてその検証を行う。 | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Remote Editing Protocol what we have suggested makes applications possible to concertedly edit any data with one another. Because this protocol is very difficult, verification of the progoram is important. So in this paper, we extracted the core program of the protocol and verified it using JavaPathFinder. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10444176 | |||||||
| 書誌情報 |
研究報告システムソフトウェアとオペレーティング・システム（OS） 巻 2009-OS-111, 号 28, p. 1-7, 発行日 2009-04-15 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
