2006年度 学術論文誌 / Journals

1. 中村 嘉隆, 木谷 友哉, 木村 旭, 山口 弘純, 中田 明夫, 東野 輝夫:
   安全な多重帰属制御を実現する VPN 分散管理プロトコルの提案
   情報処理学会論文誌, Vol.48, No.2, pp.412-421 (Feb. 2007).
2. Hirozumi Yamaguchi, Khaled El-Fakih, Gregor v. Bochmann and Teruo Higashino:
   Deriving Protocol Specifications from Service Specifications Written as Predicate/Transition-Nets
   Computer Networks, Vol. 51, No.1, pp.258-284 (Jan. 2007).
3. Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino:
   A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata
   International Journal of Foundations of Computer Science, Vol.17, No.4, pp.833-850 (Aug. 2006).
4. Khaled El-Fakih, Hirozumi Yamaguchi, Gregor v. Bochmann and Teruo Higashino:
   Petri Net Based Protocol Synthesis with Minimum Communication Costs
   Journal of the Franklin Institute, Vol.343, No.4-5, pp.501-520 (July-Aug. 2006).
5. 孫為華, 山口弘純, 楠本真ニ:
   安定性の高い経路を構築する車車間ルーティングプロトコル
   情報処理学会論文誌,Vol. 47, No. 7, pp.2141-2150 (July, 2006).
6. 梅津 高朗, 池田 直徒, 東野 輝夫:
   P2Pアプリケーションの開発と性能評価のための統合開発環境の提案
   情報処理学会論文誌, Vol.47, No.7, pp.2194-2201 (July 2006).

2006年度 国際会議 / International Conferences

1. Akiko Yamasaki, Hirozumi Yamaguchi, Shinji Kusumoto and Teruo Higashino:
   Mobility-aware Data Management on mobile Wireless Networks
   Proceedings of the IEEE 65th Vehicular Technology Conference (VTC2007-Spring), (April 2007)
2. Kumiko Isu, Takaaki Umedu, Teruo Higashino and C K Toh:
   Detecting Dangerous Vehicles on Intelligent Transportation Systems
   Proceedings of the 1st IEEE Workshop on Automotive Networking and Applications (AutoNet 2006), pp.17-22 (Dec. 2006).
3. Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino:
   A Timed Failure Equivalence Preserving Abstraction for Parametric Time-Interval Automata
   International Journal of Foundations of Computer Science, Vol.17, No.4, pp.833-850 2006年
4. Naoki Shibata, Takashi Terauchi, Tomoya Kitani, Keiichi Yasumoto, Minoru Ito and Teruo Higashino:
   A Method for Sharing Traffic Jam Information using Inter-Vehicle Communication
   Proceedings of the 2nd International Workshop on Vehicle-to-Vehicle Communications 2006 (V2VCOM 2006), CD-ROM (July 2006). (Invited Paper)
5. Tadaaki Tanimoto, Seiji Yamaguchi, Akio Nakata and Teruo Higashino:
   A Real Time Budgeting Method for Module-Level-Pipelined Bus Based System using Bus Scenarios
   Proceedings of the 43rd ACM/IEEE Design Automation Conference (DAC-2006), pp.37-42 (July 2006).
6. Weihua Sun, Hirozumi Yamaguchi, Koji Yukimasa and Shinji Kusumoto:
   GVGrid: A QoS Routing Protocol for Vehicular Ad Hoc Networks
   Proceedings of the 14th IEEE Int. Workshop on Quality of Service (IWQoS 2006), pp.130-139 (June 2006).
7. Weihua Sun, Hirozumi Yamaguchi and Shinji Kusumoto:
   A Study on Performance Evaluation of Real-time Data Transmission on Vehicular Ad Hoc Networks
   Proceedings of the 2006 International Workshop on Future mobile and Ubiquitous Information Technologies (FMUIT'06), CD-ROM (May 2006).
8. Makoto Enomoto, Naoki Shibata, Keiichi Yasumoto, Minoru Ito and Teruo Higashino:
   A Demand-Oriented Information Retrieval Method on MANET
   Proceedings of the 2006 International Workshop on Future mobile and Ubiquitous Information Technologies (FMUIT'06), CD-ROM (May 2006).
9. Shigeto Tajima, Nobuo Funabiki, Teruo Higashino and Shoji Yoshida:
   An Internet Gateway Access-Point Selection Problem for Wireless Infrastructure Mesh Networks
   Proceedings of the 2006 International Workshop on Future mobile and Ubiquitous Information Technologies (FMUIT'06) , CD-ROM (May 2006).
10. Yoshitaka Nakamura, Hirozumi Yamaguchi and Teruo Higashino:
    Maximizing User Gain in Multi-flow Multicast Streaming on Overlay Networks
    Proceedings of the 2006 International Workshop on Future mobile and Ubiquitous Information Technologies (FMUIT'06) , CD-ROM (May 2006).
11. Takashi Shinkawa, Takashi Terauchi, Tomoya Kitani, Naoki Shibata, Keiichi Yasumoto, Miroru Ito and Teruo Higashino:
    A Technique for Information Sharing Using Inter-Vehicle Communication with Message Ferrying
    Proceedings of the 2006 International Workshop on Future mobile and Ubiquitous Information Technologies (FMUIT'06) , CD-ROM (May 2006).

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

1. 浦部 弘章 , 内山 彰 , 梅津 高朗 , 東野 輝夫 , 田坂 和之 :
   現実的モピリティを考慮した災害時における情報収集法
   情報処理学会研究報告高度交通システム（ITS）,2007(28(2007-ITS-028)),47-54 (2007-03-16)
2. 堺 拓郎, 内山 彰, 中村 嘉隆, 東野 輝夫:
   小型端末を利用した匿名性を持つ遭遇履歴保証技術の提案
   情報処理学会研究報告 2007年3月
3. 藤井 彩恵, 内山 彰, 前田 久美子, 梅津 高朗, 山口 弘純, 東野 輝夫:
   少ない基準位置情報を移動無線端末間で補完する都市部向け位置推定手法の提案
   情報処理学会シンポジウム論文集 2006年11月
4. 藤木 健之 , 桐村 昌行 , 梅津 高朗 , 東野 輝夫 :
   車車問通信とクエリを併用した効率的な道路情報取得手法の提案とその評価
   マルチメディア通信と分散処理ワークショップ論文集,2006(15),43-48 (2006-11-23)
5. 山崎 亜希子 , 梅津 高朗 , 山口 弘純 , 楠本 真二 , 東野 輝夫 :
   ノードの移動フローを考慮したMANET上での情報共有方式とその評価
   情報処理学会研究報告高度交通システム（ITS）,2006(120(2006-ITS-027)),169-176 (2006-11-17)
6. 井須 久美子, 内山 彰, 塚本 淳, 梅津 高朗, 東野 輝夫:
   車車間アドホック通信を用いた危険車両情報の共有とそれに基づく検出手法の提案
   マルチメディア,分散,協調とモバイル(DICOMO2006)シンポジウム論文集 2006年7月
7. 浦部 弘章, 内山 彰, 梅津 高朗, 東野 輝夫:
   周辺端末密度推定に基づきレプリカ数を調整するMANET用災害時情報収集システムの提案
   マルチメディア,分散,協調とモバイル(DICOMO2006)シンポジウム論文集 2006年7月
8. Hirohisa Fujita , Shiro Fukamati , Akio Nakata , Teruo Higashino :
   Execution Time Analysis for Binary Code Executed on a Pipelined Processor Using Parametric Model Checking
   情報処理学会研究報告 PRO-2006-1-(5), pp.1-12 2006年
9. 内山 彰, 梅津 高朗, 山口 弘純, 東野 輝夫:
   遭遇端末の位置情報と地理情報を併用した高精度な位置推定手法の提案と評価
   情報処理学会研究報告 2006(50) 13-18 2006年5月

2006年度 講演 / Invited Talks

1. 東野 輝夫:
   豊かで高信頼なアンビエントネットワークの構築をめざして
   第三回システム検証の科学技術シンポジウム招待講演, 産業技術総合研究所システム検証研究センター (Oct. 2006).

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

2006年度 その他 / Others