Domestic Conferences Papers

滝沢 誠: 分散型データベースシステム(JDDBS-II)における ローカルデータベースプロセッサ(LDP-V1.5)とその評価について, 情報処理学会データベース管理システム研究会, DBS 25-2, 1981.

滝沢 誠, 増永良文, 野口正一: CODASYLデータベースシステムに対する非手続き的インタフェースについて, 電子通信学会 AL81-67, 95--102.

滝沢 誠: 分散型データベースシステムJDDBS-IIと通信処理, 電子通信学信学技法, AL81-22, 43--50, 1981.

滝沢 誠: 放送通信を用いた分散型データベースシステムの通信処理の実現について, 情報処理学会データベースシステム研究会, DBS 31-3, 1--10, 1982.

滝沢 誠, 横塚 実: ローカルデータベースプロセッサ(LDP)の評価, 「データ・セマンティクスの理論と実際に関する研究」 京都大学数理解析研究所講究録461, 127--150, 1982.

滝沢 誠, 横塚 実: 異種分散型データベースシステムJDDBSについて, 「モデル表現とその構築に関する理論と実際の研究」 京都大学数理解析研究所講究録461, 108--130, 1982.

滝沢 誠: 分散型データベースシステムJDDBSの設計と実現について, 第13回研究セミナ, 京都大学大型計算機センタ, 48--67, 1982.

滝沢 誠、野口正一: CODASYLデータベースシステムに対する非手続き的 更新インタフェースの設計について, 電子通信学会 AL82-36, 103--111, 1982.

滝沢 誠, 横塚 実, 野口正一: 分散型データベースシステムにおける放送通信に基づいた通信処理方式について,情報処理学会「ローカルエリアネットワーク」シンポジウム, 211-218, 1983.

滝沢 誠, 横塚 実, 盛屋邦彦, 永田春美, 竹内英二, 野口正一: LANを用いた分散型データベースシステムLISの通信処理手順について, 情報処理学会「LAN/マルチメディアの応用と分散処理」シンポジウム, 77--84, 1984.

滝沢 誠, 横塚 実: LANとパソコンからなる分散型データベースシステム LISについて, 情報システム研究会「新しい情報システムに関する研究」 (大須賀節雄編), 361--381, 1984.

滝沢 誠, 盛屋 邦彦, 伊藤秀昭: CODASYLデータベースシステムの論理型言語インタフェースLIPについて, 情報処理学会「アドバンストデータベース」シンボジウム, 59--66, 1985.

滝沢 誠: 異種DBSからなる分散型演繹的DBS, 情報処理学会データベースシステム研究会,DBS 53-1, 1986.

滝沢 誠: 論理型言語による異種データベースシステムの統合化, 電子通信学会技術報告, DE86-9, 9--15, 1986.

滝沢 誠, 伊藤秀昭, 盛屋邦彦: Logic Interface System on CODASYL Database System, 「知識ベースとデータベースの統合化に関する研究」 京都大学数理解析研究所講究録593, 1986, pp.257$-$274.

伊藤秀昭, 滝沢 誠, 上野晴樹: Towards a Logical Approach to Building a Frame-Based Knowledge Representation System: Preliminary Report, 「知識ベースとデータベースの統合化に関する研究」 京都大学数理解析研究所講究録593, 275--294, 1986.

伊藤秀昭, 滝沢 誠, 上野晴樹: フレーム型データ構造における論理的構造について,電子通信学会技術報告, AI 86-19, 17--24, 1986.

滝沢 誠, 鈴木隆益, 舘 祐治, 富岡 誠: 機能分散型データベースサーバシステムについて, 情報処理学会データベースシステム研究会,DBS研57-11, 1987, pp.87$-$93.

滝沢 誠: 演繹的分散型データベースシステムについて, 電子情報通信学会信学技法, AI 87-21, 25--33, 1987.

滝沢 誠, 浜本博憲, 伊藤恭範, 大久保学: 高信頼放送通信プロトコル, 情報処理学会マルチメディア通信と分散処理研究会, DPS 36-3, 17--24, 1988.

滝沢 誠, 宮島克己: Prologトランザクションの並行実行, 情報処理学会マルチメディア通信と分散処理研究会, DPS 37-10, 73--80, 1988.

中村章人, 滝沢 誠: 多チャネル上の全順序放送通信プロトコル, 情報処理学会マルチメディア通信と分散処理研究会, DPS 39-1, 1--8, 1988.

Takizawa, M.: Logic Interface and Communication System for Distributed Database System, IT{Proc. of Joint} IT{Scandinavian-Japanese Seminar on} IT{Information Modeling} IT{and Knowledge Bases}, ***---***, 1988.

Takizawa, M. and Shin, S.: Distributed Commitment Protocol by Using Broadcast Network, IT{Proc. of the 2nd} IT{Scandinavian-Japanese Seminar} IT{on Information Modeling} IT{and Knowledge Bases}, **--**, 1989.

秦 翠琴, 宮島勝己, 滝沢 誠: 高信頼放送通信を用いたコミットメント制御, 電子情報通信学会データ工学研究会 DE88-37, 1989.

Takizawa, M.: Secure Broadcast Communication, 情報処理学会マルチメディアと分散処理研究会 DPS 42-6, 39--46, 1989.

Takizawa. M. and Miyajima, K.: Distributed Checkpoint and Roll Back Recovery, 情報処理学会マルチメディアと分散処理研究会, DPS 89-43, 1989.

滝沢 誠: 分散型データベースシステムの動向, 情報処理学会マルチメディアと分散処理研究会シンポジウム招待講演 「1990年代の分散処理」招待講演, 45-55, 1990.

大内琢磨, 滝沢 誠: 入れ子型トランザクションの部分アボート, 電子情報通信学会データ工学研究会データベースシステムワークショップ, 1991, pp.132$-$138.

兵頭章子, 滝沢 誠: 補償演算実行による解除不可能なデッドロック, 電子情報通信学会データ工学研究会データベースシステムワークショップ, 1991, pp.124$-$131.

兵頭章子, 大内琢磨, 滝沢 誠: 階層型トランザクションの解除不可能なデッドロック, 情報処理学会データベースシステム研究会, DBS 82-2, 1--10, 1991.

Takizawa, M. and Hyoudoh, A.: Two Methods to Resolve Deadlock to Compensate Nested transactions, 電子情報通信学会信学技法 IN 91-95, 19--24, 1991.

Nakamura, A. and Takizawa, M.: Selective Broadcast Service for Distributed Systems, 情報処理学会マルチメディアと分散処理研究会, DPS 49-1 (IN 91-100), 1--8, 1991.

大内琢磨, 安沢伸二, 滝沢 誠: 階層型トランザクションの並行実行によるデッドロック, 情報処理学会マルチメディアと分散処理研究会 DPS 50-5, 31--38, 1991.

Nakamura, A. and Takizawa, M.: A Priority Based Total Ordering Broadcast Protocol, 情報処理学会マルチメディアと分散処理研究会, DPS 91-29 (IN 91-100), 171$-$176, 1991.

安沢 伸二, 濱田 賢, 滝沢 誠: 分散型トランザクションの同時実行方式, 電子情報通信学会データ工学研究報告, 信学技法 DE-92, Vol.92, No.333, 23$-$29, 1992.

濱田 賢, 長谷川正裕, 滝沢 誠: 協調的交通システム, 情報処理学会マルチメディア通信と分散処理研究会, DPS 53-11, 77--84, 1992.

中村 章人, 滝沢 誠: 優先度付き放送通信プロトコルにおける連同期方法, 情報処理学会マルチメディア通信と分散処理研究会, No.58, 107$-$114, 1992.

濱田 賢, 長谷川正裕, 滝沢 誠: グループ作業における資源共有方式, 情報処理学会グループウェア研究会, GW 1-8, 51$-$58, 1992.

濱田 賢, 滝沢 誠: 移動体トランザクションのデッドロック問題, 情報処理学会マルチメディア通信と分散処理研究会, DPS 58-1, 1$-$8, 1992.

Nakamura, A. and Takizawa, M.: Rate-Based Flow Control Scheme for Reliable Group Communication Protocol, 情報処理学マルチメディア通信と分散処理研究会, DPS 60-4, 27--34, 1993.

中村章人, 滝沢 誠: Group Communication Protocols: Properties and Evaluation, 情報処理学会マルチメディア通信と分散処理ワークショップ, 257--266, 1993.

鈴木 等, 中村章人, 滝沢 誠: 動的グループ通信プロトコル, 電子情報通信学会信学技法, AI93-49, 25--32, 1993.

立川敬行, 中村章人, 滝沢 誠: 単一チャネル上の選択的全順序放送通信プロトコルのデータ転送手続き, 情報処理学会マルチメディア通信と分散処理ワークショップ, 131--140, 1993.

矢羽田千哲, 滝沢 誠: Negotiation Strategy for Multiple Autonomous Agents, 情報処理学会マルチメディア通信と分散処理ワークショップ, 7--16, 1993.

高村 昌興, 中村 章人, 滝沢 誠: 大規模放送網のための送信順序保存放送通信手順, 情報処理学会マルチメディア通信と分散処理ワークショップ, Vol. 93, No.1, 33$-$40, 1993.

濱田 賢, 滝沢 誠: 移動体トランザクションの概略的同期方式, 情報処理学会マルチメディア通信と分散処理ワークショップ, Vol. 93, No.1, 129--136, 1993.

三田 浩也, 中村 章人, 滝沢誠: 安全な放送通信プロトコル, 情報処理学会マルチメディア通信と分散処理研究会, OS 93-60, DPS-93-61, 115$-$122, 1993.

寺内康之, 滝沢 誠: 接近遭遇コミュニケーション, 情報処理学会マルチメディア通信と分散処理研究会, DPS 63-6, 41--48, 1994.

Nakamura, A. and Takizawa, M. : Causally Ordering Broadcast Protocol, 情報処理学会マルチメディア通信と分散処理研究会, DPS 64-21, 117--122, 1994.

Hamada, S. and Takizawa, M.: Management of Vehicle Transactions, 情報処理学会マルチメディア通信と分散処理研究会, DPS 64-23, 129--134, 1994.

立川 敬行, 滝沢 誠: グループ通信プロトコルにおける合意レベルの評価, 情報処理学会マルチメディア通信と分散処理研究会, OS 94-64, DPS 93-65, 8--12, 1994.

Mita, H. and Takizawa, M.: Information Flow Control in Group Communication, 情報処理学会マルチメディア通信と分散処理研究会, DPS 66-15, 85--90, 1994.

Yahata, C., Sakai, J., and Takizawa, M.: General Consensus Protocols, 情報処理学会マルチメディア通信と分散処理ワークショップ, 57--63, 1994.

立川敬行, 滝沢 誠: $\varepsilon$-因果保存グループ通信($\varepsilon$-CO)プロトコル, 情報処理学会マルチメディア通信と分散処理研究会, DPS 67-2, 7--12, 1994.

立川敬行, 滝沢 誠 : 分散型環境のためのグループ通信, 電子情報通信学会知能ソフトウェア工学研究会\&コンカレント工学研究会, KBSE94-55, CSTQ94-41, pp.65$-$72, 1995.

田中勝也, 滝沢 誠 : 分散型データベースシステムにおける意味的な同時実行制御, 情報処理学会「マルチメディア通信と分散処理」「グループウェア」合同研究会, 95-DPS-68, 95-GW-9, pp.19--24.

立川敬行, 滝沢 誠 : Distributed Protocol for Selective Intra-group Communication, 情報処理学会マルチメディア通信と分散処理研究会, 95-DPS-70, 1995, pp.111--116.

島健司, 滝沢 誠 : Fault-Tolerant Intra-Group Communication, 情報処理学会マルチメディア通信と分散処理研究会, 95-DPS-71, 1995, pp.127--132.

立川敬行, 滝沢 誠, Object-based Group Communication for Distributed Systems, 情報処理学会 「マルチメディア通信と分散処理」ワークショップ, 1995, pp.23--30.

吉田丈成, 滝沢 誠, Transaction on Distributed Mobile Objects, 情報処理学会「マルチメディア通信と分散処理」ワークショップ, 1995, pp.109--115.

田中勝也, 滝沢 誠, グループ通信における応用に基づいた復旧方法, 情報処理学会「マルチメディア通信と分散処理」「グループウェア」 合同研究会, 96-DPS-74, 96-GW-15, 1996, pp.167--172.

田中勝也, 桧垣博章, 滝沢 誠, Checkpointing and Rollback Recovery in Object-Based Systems, 情報処理学会マルチメディア通信と分散処理研究会, 96-DPS-77, 1996, pp. 1--6.

桧垣博章, 島健司, 立川敬行, 滝沢 誠, 非同期分散システムにおけるチェックポイント設定とロールバック回復, 情報処理学会マルチメディア通信と分散処理研究会, 96-DPS-76, 1996, pp. 43--48.

立川敬行, 桧垣博章, 滝沢 誠, メンバー構成の動的変化に対するやわらかいグループ通信, 情報処理学会マルチメディア通信と分散処理研究会, 96-DPS-76, 49--54, 1996.

桧垣博章, 島健司, 立川敬行, 滝沢 誠, 分散システムにおける非同期リカバリ, 情報処理学会「マルチメディア通信と分散処理」ワークショップ, 151--158, 1996.

立川敬行, 滝沢 誠, Wide-area Group Communication Protocol, 情報処理学会「マルチメディア通信と分散処理」ワークショップ, 137--144, 1996.

Yoshida, T., Higaki, H., and Takizawa, M. : Hybrid Checkpointing in Mobile Computing System, 情報処理学会「マルチメディア通信と分散処理研究会」「グループウェア」合同研究会, 97-DPS-80, 97-GW-21, 1--6, 1997.

Tachikawa, T. and Takizawa, M. : Data Transmission for Wide-area Group Communication, 情報処理学会「マルチメディア通信と分散処理研究会」 「システムソフトウェアとオペレーティング・システム」合同研究会, 97-DPS-81, 97-OS-74, 1--6, 1997.

Shimojo, I., Tachikawa, T., Higaki, H., Takizawa, M. : Consensus Protocol with Partially Ordered Domain, 情報処理学会「マルチメディア通信と分散処理研究会」 「システムソフトウェアとオペレーティング・システム」合同研究会, 96-DPS-81, 97-OS-74, 7--12, 1997.

Yasuda, M., Shima, K., Higaki, H., and Takizawa, M. : システムの構成変更に対するやわらかいクラスタ間通信プロトコル, 情報処理学会「マルチメディア通信と分散処理研究会」 「システムソフトウェアとオペレーティング・システム」合同研究会, 6-DPS-81, 97-OS-74 117--122, 1997.

Tachikawa, T., Higaki, H., Takizawa, M. : Gerla, M., Liu, M., Deen, S. M., and Shiratori, N., Design and Evaluation of Wide-area Group Communication Protocols - International Experiment, 情報処理学会「マルチメディア通信と分散処理研究会」, 97-DPS-82, 75--80, 1997.

Iguchi, A., Tachikawa, T., and Takizawa, M. : Rate-Based Flow Control Model in Group Communication, 情報処理学会「マルチメディア通信と分散処理研究会」, 97-DPS-82, 69--74, 1997.

Higaki, H. and Takizawa, M. : Extended Upgrading Protocol for Flexible Networks, 情報処理学会「マルチメディア通信と分散処理研究会」, 97-DPS-82, 75--80, 1997.

Shimojo, I., Tachikawa, T., and Takizawa, M. : Distributed Consensus Protocol with Partially Ordered Domain, 情報処理学会「マルチメディア通信と分散処理研究会」, 97-DPS-83, 37--42, 1997.

Higaki, H. and Takizawa, M. : Hybrid Checkpointing Protocol for Reliable Mobile Computing, 情報処理学会 マルチメディア, 分散, 協調とモーバイル(DiCoMo) ワークショップ, 119--124, 1997.

Tachikawa, T., and Takizawa, M. : ARQ Protocols for Bi-directional Data Transmission in Group Communications, 情報処理学会「マルチメディア通信と分散処理研究会」, 97-DPS-85, 7--12, 1997.

Kanezuka, T., and Takizawa, M. : Quality-based Compensation in Flexible Distributed Systems, 情報処理学会「マルチメディア通信と分散処理研究会」, 97-DPS-85, 91--96, 1997.

Hasegawa, K. and Takizawa, M. : Optimistic Locking in Replicated Objects, 情報処理学会「マルチメディア通信と分散処理研究会」, 97-DPS-85, 225--229, 1997.

Yasuda, M., Tachikawa, T., and Takizawa, M. : Information Flow Control in Distributed Systems, 情報処理学会「マルチメディア通信と分散処理研究会」, 「グループウェア研究会」合同研究会, 98--DPS--86, 98--GW--26, 49--54, 1998.

Yasuda, M., Higaki, H., and Takizawa, M. : Role-Based Access Control for Object-Oriented Systems, 情報処理学会「コンピュータセキュリティ理研究会」, 98--CSEC--1, 1--4, 1998.

Hasegawa, K., Higaki, H., and Takizawa, M. : Version Vector for Maintaining Replicated Objects, 情報処理学会「マルチメディア通信と分散処理研究会」, 98-DPS-89, 49--54, 1998.

Higaki, H., Shinchi, K., and Takizawa, M. : Recovery Protocol for Hybrid Checkpointing, 情報処理学会「マルチメディア通信と分散処理研究会」, 98-DPS-89, 25--30, 1998.

Ishida, T., Yasuda, M., Higaki, H., and Takizawa, M. : A Transaction-Based Purpose-Oriented Access Control Model for Information Flow Management, 情報処理学会「コンピュータセキュリティ研究会」, 98--CSEC--2, 13--18, 1998.

Enkido, T., Higaki, H., and Takizawa, M. : Group Protocol for Multiple Objects, 情報処理学会「マルチメディア通信と分散処理」ワークショップ, 43--48, 1998.

Yasuda, M., Ishida, T., Higaki, H., and Takizawa, M. : Role-Based Access Control for Distributed Objects, 情報処理学会「マルチメディア通信と分散処理」ワークショップ, 57--62, 1998.

Hasegawa, K., Higaki, H., and Takizawa, M. : Object-Based Quorum Scheme for Replicated Objects, 情報処理学会「マルチメディア通信と分散処理」ワークショップ, 63--68, 1998.

Higaki, H., and Takizawa, M. : Checkpoint and Recovery for Reliable Mobile Computing, 情報処理学会「マルチメディア通信と分散処理」ワークショップ, 107--112, 1998.

Kanezuka, T., Higaki, H., and Takizawa, M. : Flexible Distributed Objects for Multimedia Applications, 情報処理学会「マルチメディア通信と分散処理」ワークショップ, 139--144, 1998.

井口 昭人, 桧垣 博章, 福士 公三, 滝沢 誠, 龍 忠光 : 分散システムにおけるオブジェクトデータ格納方式, 情報処理学会「マルチメディア通信と分散処理研究会」, 99-DPS-91, 61--65, 1999.

Shindo, M., Enokido, T., Higaki, H., and Takizawa, M. : Quorum-Based Protocol for Group of Replicas, 情報処理学会「マルチメディア通信と分散処理研究会」, 99-DPS-91, 79--84, 1999.

Higaki, H., Morishita, N., and Takizawa, M. : Protocol for Pseudo-Active Replication in Wide-Area Network, 情報処理学会「マルチメディア通信と分散処理研究会」, 99-DPS-91, 85--90, 1999.

Yasuda, M., Ishida, T., Higaki, H., Takizawa, M. : Role-Based Purpose-Oriented Access Control in Object-Oriented Systems, 情報処理学会「マルチメディア通信と分散処理研究会」, 99-DPS-93, 25--30, 1999.

Higaki, H., Tanaka, K., and Takizawa, M. : Hybrid Checkpointing for Large-Scale Mobile System, 情報処理学会「マルチメディア通信と分散処理研究会」, 99-DPS-93, 43--48, 1999.

Tanaka, K., Higaki, H., and Takizawa, M. : Asynchronous Recovery Protocol in Distributed Object-Based Systems, 情報処理学会「マルチメディア通信と分散処理」ワークショップ, 73--78, 1999.

Ishida, T., Tanaka, K., Higaki, H., and Takizawa, M. : Role-Based Purpose-Oriented Access Control for Object-Oriented Systems, 情報処理学会「マルチメディア通信と分散処理」ワークショップ, 121--126, 1999.

Higaki, H., Tanaka, K., and Takizawa, M. : Checkpoint and Recovery in Large-Scale Mobile Systems, 情報処理学会「マルチメディア通信と分散処理」ワークショップ, 133--138, 1999.