年度:

2001年度 学術論文誌 / Journals

  1. 安本 慶一, 中田 明夫, 寺島 芳樹, 梅津 高朗, 東野 輝夫, 谷口 健一:
    マルチランデブチャネルの動的確立機構を持つモバイルアプリケーション記述言語の提案
    コンピュータソフトウェア, Vol.19, No.2, pp.35-46 (Mar. 2002).
  2. 廣森 聡仁, 山口 弘純, 安本 慶一, 東野 輝夫, 谷口 健一:
    IPマルチキャスト環境における複製動画像サーバ選択アルゴリズム
    情報処理学会論文誌, Vol.43, No.2, pp.408-417 (Feb. 2002).
  3. 深田 敦史, 森 亮憲, 中田 明夫, 北道 淳司, 樋口 昌宏, 東野 輝夫:
    観測不可能な非決定動作を含む並行DFSM群としてモデル化される通信プロトコルの適合性試験法
    情報処理学会論文誌, Vol.42, No.12, pp.3063-3071 (Dec. 2001).
  4. 梅津 高朗, 山口 弘純, 安本 慶一, 中田 明夫, 東野 輝夫:
    制約指向モデルで記述された対称性を持つ並行システムの形式的検証
    情報処理学会論文誌, Vol. 42, No.12, pp.3054-3062 (Dec. 2001).
  5. 森 亮憲, 徳田 康平, 多田 知正, 樋口 昌宏, 東野 輝夫:
    タイマシステムコールを用いるDFSMプロトコルに対する試験系列生成手法
    情報処理学会論文誌, Vol. 42, No.12, pp.3072-3081 (Dec. 2001).
  6. Yoichi Takenaka, Nubuo Funabiki and Teruo Higashino:
    Relaxation of coefficient sensitiveness to performance forneural networks using neuron filter through total coloring problems neural networks using neuron filter through total coloring problems
    IEICE Transactions on Fundamentals, Vol.E84-A, No.9, pp.2367-2370 (Sep. 2001).
  7. Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi:
    A compiler to implement LOTOS specifications in distributed environments
    Computer Networks, Vol.36, No.2-3, pp.291-310 (Jul. 2001).
  8. 山口 弘純, 廣森 聡仁, 安本 慶一, 東野 輝夫, 谷口 健一:
    環境適応型のQoS制御を行うネットワーク資源管理システム
    コンピュータソフトウェア(ソフトウェア科学会論文誌), Vol.18, No.3, pp.243-249 (May. 2001).

2001年度 国際会議 / International Conferences

  1. Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto, Akio Nakata and Teruo Higashino:
    A Constrained-oriented Design Method for Distributed Cooperative Systems and Efficient Verification Using Symmetries
    ACIS International Journal of Computer & Information Science 3(2) 125--136 2002年
  2. Nobuo Funabiki, Toru Nakanishi, Tokumi Yokohira, Shigeto Tajima and Teruo Higashino:
    A Proposal of a Evolution Algorithm for Channel Assignment Problems
    Proceedings of IEEE 16th International Conference on Information Networking (ICOIN-16), pp. 3C1.1-1.10 (Jan. 2002).
  3. Makoto Yamada, Takanori Mori, Atsushi Fukada, Akio Nakata and Teruo Higashino:
    A Method for Functional Testing of Media Synchronization Protocols
    Proceedings of IEEE 16th International Conference on Information Networking(ICOIN-16), pp.539-550 (Jan. 2002).
  4. Masakazu Fujii, Nobuo Funabiki, Shigeto Tajima, Akio Nakata, Tokumi Yokohira and Teruo Higashino:
    An Optimal Path Selection Algorithm for Static and mobile Multicast Routing Problems
    Proceedings of IEEE 16th International Conference on Information Networking(ICOIN-16), pp.6B2.1-2.10 (Jan. 2002).
  5. Nobuo Funabiki, Tokumi Yokohira, Toru Nakanishi, Shigeto Tajima and Teruo Higashino:
    A minimal-state processing serch algorithm for satisfiability problems
    Proceedings of the International Conference on Systems, Man and Cybernetics, pp. 2769-2774 (Oct. 2001).
  6. Akio Nakata and Teruo Higashino:
    Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas
    Proceedings of 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, pp.151-166 (Aug. 2001).
  7. Takaaki Umedu, Hirozumi Yamaguchi, Keiichi Yasumoto and Teruo Higashino:
    Constraint-Oriented Model for Describing Distributed Cooperative Systems and Efficient Deadlock Detection Using Symmetries
    Proceedings of 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing, pp.584-591 (Aug. 2001).
  8. Akihito Hiromori, Takeshi Yamashita, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi:
    Quality Requirement Coordination in Rate Adaptation of Multiple Layered Video
    Proceedings of 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing, pp. 540-547 (Aug. 2001).
  9. Teruo Higashino, Hirozumi Yamaguchi, Akio Nakata and Keiichi Yasumoto:
    Perspectives in Developing Distributed Cooperative Systems
    Proceedings of 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing, pp.xi-xix (invited paper) (Aug. 2001).
  10. Takanori Mori, Kohei Tokuda, Harumasa Tada, Masahiro Higuchi and Teruo Higashino:
    A method to generate conformance test sequences for FSM with timer system call
    Proceedings of 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, pp.301-316 (Aug. 2001).
  11. Akihito Hiromori, Takeshi Yamashita, Hirozumi Yamaguchi, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi:
    Quality Requirement Coordination in Rate Adaptation of Multiple Layered Videos
    Proceedings of the 2nd ACIS International Conference on Software Engineering Applied to Networking & Parallel/Distributed Computing 540-547 2001年
  12. Kozo Okano, Yuko Kitahama, Akira Kitajima, Teruo Higashino and Kenichi Taniguchi:
    Formal Verification of CPU in Laboratory Work
    Proceedings of 2001 International Conference on Microelectronic Systems Education, pp.32-35 (Jun. 2001).

2001年度 国内学会・研究会 / Domestic Conferences


2001年度 講演 / Invited Talks

  1. Teruo Higashino, Hirozumi Yamaguchi, Akio Nakata and Keiichi Yasumoto:
    Perspectives in Developing Distributed Cooperative Systems
    Proceedings of 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing (Aug. 2001). (Invited Paper/Keynote Speech)

2001年度 著書・訳書・解説等 / Edited Books


2001年度 その他 / Others


Copyright(c) 2018 Higashino Lab. All Rights Reserved. Design by http://f-tpl.com