ページ内の各所へジャンプします。
メインメニューへ
本文へ
フッターへ
  1. ホーム
  2. 活動報告
  3. COEプログラム活動報告
  4. 平成16年活動報告

平成16年度活動報告


21世紀ＣＯＥ 検証進化可能電子社会

平成16年度活動報告

I. 平成16年度構成員

II. 活動報告―教育

III. 活動報告―拠点形成

IV. 活動報告―研究成果

検証進化可能電子社会分野

安心電子社会基盤分野

I. 平成16年度構成員

◎ 研究グループ (※ は協力員)


（1）拠点リーダー　片山卓也


（2）電子社会の形式的記述体系グループ

小野寛晰 情報科学研究科 教授
大堀淳 情報科学研究科 教授
フェスターガード ジャン レネ 情報科学研究科 助教授
中村正樹 情報科学研究科 助手
※ 石原哉 情報科学研究科 助教授
※ 濱野正浩 情報科学研究科 助手
※ 篠埜功 情報科学研究科 助手
※ ボウ モリネル フェリックス 情報科学研究科 助手

（3）電子社会の安心性要件の検証グループ

東条敏 情報科学研究科 教授
島津明 情報科学研究科 教授
宮地充子 情報科学研究科 助教授
デファーゴ クサビエ 情報科学研究科 特任助教授
双紙正和 情報科学研究科 特任助教授
※ 白井清昭 情報科学研究科 助教授
※ 鳥澤健太郎 情報科学研究科 助教授
※ 山田寛康 情報科学研究科 助手
※ 中村誠 情報科学研究科 助手
※ 永田裕一 情報科学研究科 助手
※ 風間淳一 情報科学研究科 助手

（4）電子社会のための検証方式グループ

平石邦彦 情報科学研究科 教授
シェン ホン 情報科学研究科 教授
小川瑞史 情報科学研究科 特任教授
篠田陽一 情報科学センター 教授
田島敬史 情報科学研究科 助教授
青木利晃 情報科学研究科 助手
※ 岸知二 情報科学研究科 客員教授
※ カン ハイビン 情報科学研究科 助手
※ チアン シャオホン 情報科学研究科 助手
※ 知念賢一 情報科学研究科 助手

（5）電子社会のモデル化と進化グループ

落水浩一郎 情報科学研究科 教授
池田満 情報科学研究科 教授
藤枝和宏 情報科学研究科 助手
天野憲樹 情報科学研究科 助手
※ 鈴木正人 情報科学研究科 助教授
※ 服部哲 情報科学研究科 助手


◎ 安心電子社会研究センター雇用構成員

センター長 片山卓也 情報科学研究科　教授
客員教員 緒方和博客員助教授 北陸ＮＥＳ（株）
堀雅和客員助教授 インテック・ウェブ・アンド・ゲノム・インフォマティック（株）
客員研究員 梅村晃広 （株）ＮＴＴデータ
ポスドク 松本　利雅 情報科学研究科(小野研究室)
Nguyen, Minh Le 情報科学研究科(島津研究室)
鈴木　義崇 情報科学研究科(東条研究室)
博士学生研究員 林　信宏（リン　シンコウ） 情報科学研究科(片山研究室)
Zhang Yuanyuan 情報科学研究科(井口研究室)
白勢　政明 情報科学研究科(日比野研究室)
黄　明仁 情報科学研究科(片山研究室)
黄　純芳 情報科学研究科(赤木研究室)
小畑　貴之 情報科学研究科(金子研究室)
Qu, Wernyu 情報科学研究科(Shen研究室)
Tian, Hui 情報科学研究科(Shen研究室)
梅田　梢 情報科学研究科(宮地研究室)
早稲田　篤志 情報科学研究科(宮地研究室)
寺田　剛陽 情報科学研究科(宮地研究室)
中田　潤也 情報科学研究科(丹研究室)
錦戸　信和 情報科学研究科(党研究室)
牧野　義樹 情報科学研究科(党研究室)
Ben, Hassine Ahlem 知識科学研究科(Ho研究室)


II. 活動報告―教育

安心電子社会の構築を行うことの出来る研究者や博士レベル高級技術者を育成するための
教育システムの開発および博士学生の養成を開始した．具体的には，

（1） 現在情報科学研究科において実施されている講義課目を含めて， 形式論理，
検証，ソフトウェア設計など，高信頼電子社会情報システム関連の１５科目を用意し，
（2） ＮＴＴデータ（株）「電子社会システム学」連携講座を開設し，講義「電子社会システム論」
の実施体制を確立した．担当教員：
　　　　客員教授 玉置政一 オープンソース開発センタ担当部長
　　　　客員教授 中村仁之輔 ビジネス開発事業本部長兼技術開発本部長
（３） 博士学生研究員を１５名を雇用し， 安心電子社会研究センターにおいて
電子社会システム研究開発の実務を担当し，研究開発の実務経験を積む体制を確立した．


III. 活動報告―拠点形成

1. シンポジウム



2. ワークショップ


3. COE 関連セミナー

2004/10/29 第2回 情報科学研究科セミナー :
コーペスベース音声合成
2004/11/12 第3回 情報科学研究科セミナー :
最近の共通鍵暗号とそのソフトウエア実装法について
2004/12/09 第5回 情報科学研究科セミナー :
自然言語処理の二つのアプローチ、統計ベース（コーパスベース）
vs.規則ベース
2005/01/14 第8回 情報科学研究科セミナー :
CMMIと企業におけるプロセス改善上の課題
2004/01/14 第9回 情報科学研究科セミナー :
移動通信とセキュリティ
2005/01/18 第10回 情報科学研究科セミナー :
ACツリーオートマトンとParikhの定理
2005/01/21 第11回 情報科学研究科セミナー :
人間共存型ロボット技術
2005/02/08 第12回 情報科学研究科セミナー :
電子文書・電子化文書の長期保存技術について　～２１世紀のパピルス～
2005/02/10 第13回 情報科学研究科セミナー :
ストレージフュージョンとその応用としての巨大ウェブ空間解析,
国立情報学研究所における情報アクセス技術の共同研究
2005/03/03 第16回 情報科学研究科セミナー :
電子投票：プロトコルとシステム
2004/10/14 第105回 AL セミナー :
Introduction to algebraic logic
2004/10/21 第106回 AL セミナー :
Many-dimensional logical systems, Spatio-temporal logics:
expressiveness vs. complexity
2005/02/28 第107回 AL セミナー :
Continuous Fraisse Conjecture
2004/11/12 情報セキュリティーセミナー ：
最近の共通鍵暗号とそのソフトウエア実装法について
2005/01/14 情報セキュリティーセミナー ：
移動通信とセキュリティ
2005/03/03 情報セキュリティーセミナー ：
電子投票：プロトコルとシステム

４．共同研究

北陸先端科学技術大学院大学(落水教授，東条教授，島津教授)，インテックウェブアンド
ゲノムインフォマティックス，富山県(情報政策課)の間で，富山県の行政業務を対象とした
「自己説明性と進化性を有する電子自治体シミュレータの開発」について共同研究を実施した．
またこれに付随して，研究会「電子自治体シミュレータ研究会富山部会」を設けた．

５．連携活動

国内外の諸機関と以下の連携活動を開始した．
国内：
（1）NTTデータ（株）：企業情報システムの分析と検証，連携講座の実施
（2）インテック・ウェブ・アンド・ゲノム・インフォマティックス（株），富山県庁
：富山県行政業務のための法推論システムとオブジェクトモデリング
（3）北陸NES（株）：形式手法によるプロトコル検証　

国外：
（1）AT&T Labs-Research：高信頼情報システム構築法
（2）スイス連邦工科大学：分散システムの耐故障技術
（3）オーストラリア情報通信 COE：形式的仕様記述のための論理と推論システム
（4）ミラノ工科大学：情報システムのモデル化と進化方法論
(5) 清華大学：Trustworthy Networks


IV. 活動報告―研究成果

1. 論文リスト

検証進化可能電子社会分野

（1）電子社会の形式的記述体系グループ

Francesco Belardinelli,Peter Jipsen and Hiroakira Ono,
Algebraic aspects of cut elimination, Studia Logica, 77, 2, 209-240, 2004

Hiroakira Ono,
Glivenko properties of substructural logics, Residuated Structures and Many-Valued
Logics,, June 2-5, 2004 Patras, Greece

Hiroakira Ono,
Completeness problems of predicate logics around Goedel-Dummett logic,
The Challenge of Semantics, July 12-17, 2004,Vienna, Austria


（2）電子社会の安心性要件の検証グループ

Y. Suzuki and S. Tojo.
Additive Consolidation for Dialogue Games. Tenth International Conference
on Artificial Intelligence and Law, 2005.

Cuong Anh Le, Akira Shimazu.,
Improving Word Sense Disambiguiation Accuracy Using Naive Bayesian
Classifier with Rich Features. , Proceedings of KSS'004, , November 11, 2004.

Cuong Anh Le, Akira Shimazu. ,
High WSD Accuracy Using Naive Bayesian Classifier with Rich Features. ,
Proceedings of PACLIC2004, , December 10, 2004.

Nguyen Minh Le, Akira Shimazu, Tu Bao Ho, Susumu Horiguchi, and Xuan Hieu Phan. ,
A Cross-language Text Summarization Using Statistical Machine Learning,
Proceedings of KSS'2004, , November, 2004.

Nguyen Minh Le, Susumu Horiguchi, Akira Shimazu, Ho Tu Bao,
Example-based Sentence Reduction Using Hidden Markov Model,
ACM Transactions on Asian Language Information Processing, Vol. 3, Issue 2, 146-158,
Jun, 2004.

Nguyen Minh Le, Akira Shimazu, Susumu Horiguchi, Tu Bao Ho, and Masaru Fukushi,
Probabilistic Sentence Reduction Using Support Vector Machines, Proceedings of Coling2004, 743-749,
August, 2004.

Kenji Takano, Akira Shimazu. Analysis of Spoken Dialogues Based on Local Discourse Structures. ,
Proceedings of KSS'2004, , November, 2004.

Nguyen Minh Le, Akira Shimazu, and Susumu Horiguchi. ,Translation Template Learning Based on Hidden
Markov Modeling. , Proceedings of PACLIC17, , 2003

M. L. Nguyen, A. Shimazu, and S. Horiguchi. , A New Template Translation Learning Based on Hidden Markov
Modeling., WSEAS Transaction on Computers, Volume 3, Issue 1, 256-262, 2004

話し言葉による説明発話の特徴の分析と具体化についてー格要素の語順に関してー , 古田，
島津, 言語処理学会第11回年次大会発表論文集, 273ー276 , 3, 2004.

田村裕子，塩月 徹，宮地充子," 効率的な代理入札システム", 電子情報通信学会誌,
Vol. J87-A, No.6(2004), 835-842.

T. Terada, M. Soshi and A. Miyaji, "Pushback機構の一提案とそのモデル化に向け
て ", IPSJ Trans, Vol.45, No.8(2004), 1948-1953

Shigeki Kitazawa, Masakazu Soshi, and Atsuko Miyaji. "On anonymity metrics
for practical anonymous communication protocols.", IPSJ Journal,Vol. 45, No.
8, August 2004.

Takashi Matsunaka, Atsuko Miyaji, and Yuuki Takano, "Success probability in
$\chi^2$-attacks", Applied Cryptography and Network Security - ACNS 2004,
Lecture Notes in Computer Science 3089, pp.310-325, Springer-Verlag, June
2004.

H. Mamiya, H. Morimoto A. Miyaji, "Efficient Countermeasures against RPA,
DPA, and SPA", CHES 2004, Lecture Notes in Computer Science, 3156(2004),
Springer-Verlag, 343-356.

T. Terada, M.Soshi and A. Miyaji, "A New Pushback Mechanism Resistant to
DDoS Attacks", 2004 International Symposium on Information Theory and its
Applications - Proceedings of ISITA2004, Wed1-6-4.

Atsuko Miyaji and Kozue Umeda, "A Fully-Functional group signature scheme
over only known-order group", Applied Cryptography and Network Security -
ACNS 2004, Lecture Notes in Computer Science, 3089, pp.164-179,
Springer-Verlag, June 2004.

宮地充子, 「双線型写像の公開鍵暗号への応用に関して」,
符号と暗号の代数的数理，京都大学数理解析研講究録 1420(2005), 117-127．

早稲田篤志，双紙正和，宮地充子, ``n状態量子コイン投げプロトコル'', IEICE Japan Tech.
Rep. , ISEC2004-10 (2004-05), 65-68.

佐々木賢，早稲田篤志，双紙正和，宮地充子,"量子秘密分散に関する検討", IEICE Japan Tech.
Rep. , IT2004-71, ISEC2004-127, WBS2004-186 (2005-03), 7-11.

森正行，双紙正和，宮地充子,"モバイルエージェント・セキュリティに関する一考察",
2005-CSEC-28, pp.123-128, March, 2005.

X. Defago, A. Schiper, and P. Urban, Total order broadcast and multicast algorithms: Taxonomy and survey,
ACM Computing Surveys, ACM Press, Vol.36, No.4, pp.372-421, December 2004

X. Defago and A. Schiper, Semi-passive replication and Lazy Consensus,
Journal of Parallel and Distributed Systems, Elsevier, Vol.64, No.12, pp.1380-1398,
December 2004

K. Satou, Y. Nakajima, S. Tsuji, X. Defago, A. Konagaya,
An integrated system for distributed bioinformatics environment on grids,
Proc. Intl. Workshop on Life Science Grid (LSGRID2004), pp.5-13, 2004/05/31

X. Defago, Semi-passive replication and the eventual leadership (invited paper),
Proc. Workshop on Dependable Distributed Data Management (WDDDM), pp.13-18, October 2004

R. Yared, X. Defago, T. Katayama., Fault-tolerant group membership protocols using physical
robot messengers, 19th IEEE Intl. Conf. on Advanced Information Networking and Applications (AINA),
IEEE Computer Society Press., , March 2005

A. Ben Hassine, X. Defago, T. B. Ho, Agent-based approach to dynamic meeting scheduling problems,
Proc. 3rd ACM Intl. Joint Conf. on Autonomous Agents and Multi Agent Systems (AAMAS),
Vol.3, pp.1130-1137, July 2004

M.L. Nguyen and S. Horiguchi, "Accuracy Enhancement for the Decomposition of Human-Written
Summary", International Journal of Computer Processing of Oriental Languages (IJCPOL), Vol.18,
No.1 , pp. 53-74. 2005

M.L. Nguyen, M. Fukushi, and S. Horiguchi, "A Probabilistic Sentence Reduction Using Maximum
Entropy Model", IEICE Transactions On Information and Systems, Japan, vol. E88-D, no. 2, pp.278--288, 2005.

Phan, X. H., Nguyen, M. L., Ho, T. B., and Horiguchi, S.: Improving Discriminative Sequential
Learning with Rare-but-Important Associations. The 11th ACM SIGKDD International Conference
on Knowledge Discovery and Data Mining. Chicago, IL, USA, (full paper, to appear).
August 21-24, 2005

Phan, X. H., Horiguchi, S., Ho, T. B., and Nguyen, M. L.: An Unsupervised Approach to
Coreference Resolution. The 5th International Symposium on Knowledge and System Sciences.
November 10-12, 2004, Ishikawa, Japan.
Phan, X. H., and Nguyen, M.L ,"Flexible Conditional Random Fields Toolkits",
http://www.jaist.ac.jp/~hieuxuan/flexcrfs/flexcrfs.html

M.L. Nguyen, and A. Shimazu, "Transforming Natural Language Sentence to logical form“（survey
unpublished report）, 2004

Ben Hassine, A., Ito, T. and Ho, T. B. "Scheduling Meetings withDistributed Local Consistency
Reinforcement". In the Proceedings of the 17th International Conference on Industrial and
Engineering Applications ofArtificial Intelligence and Expert Systems (IEA/AIE 2004),
Ottawa, Canada, pp.679-688 (nominated for the best paper).

Ben Hassine, A., Ghedira, K. and Ho, T. B. "New DistributedFiltering-Consistency Approach to General
Networks". In the Proceedings of the 17th International Conference on Industrial and Engineering
Applications of Artificial Intelligence and Expert Systems (IEA/AIE 2004), Canada, pp.708-717.

Ben Hassine, A. and Ho, T. B. "DRAC++ for Distributed Restricted PathConsistency". In the Proceedings
of the Japan-Tunisia Workshop on ComputerSystems and Information Technology (JT-CSIT04), Tokyo 2004.

Idrissi, A. and Ben Hassine, A. "Circuit Consistencies". In the Proceedings of 8th Pacific Rim
International Conference on Artificial Intelligence, Auckland Zealand 2004, pp. 124-133.
Ben Hassine, A. and Ho, T. B. "Nouvelle Approche Generique pour le Renforcement Distribue de la
Consistance de Chemin Restreint". In Proceedings of the Scientific French-speaking Workshops (JSF'04),
4-5 November, Tokyo 2004.

Ben Hassine, A. and Ho, T. B. "Restricted Path Consistency Enforcement for any Constraint Network".
In Proceedings of the Joint Workshop of Vietnamese Society of AI, SIGKBS-JSAI, ICS-IPSJ and IEICE-SIGAI
on Active Mining AM'04, (IEICE Technical Report Vol.104 No.485), 4-7 December, Hanoi-Vietnam 2004.

（3）電子社会のための検証方式グループ

片山卓也:
発展ドメイン：ソフトウェア発展のための理論的枠組み,
コンピュータソフトウェア, Vol.21, No.3,pp.11-21, 2004

Kenro Yatake, Toshiaki Aoki and Takuya Katayama:
Collaboration-based Verfication of Object-Oriented models in HOL,
Proceedings of the 2nd International Workshop on Verification and
Validation of Enterprise Information Systems, VVEIS 2004, pp.78-80, 2004.

Toshiaki Aoki and Takuya Katayama:
Foundations for Evolutionary Construction of State Transition Models,
The Seventh International Workshop on Principles of Software Evolution,
pp.143-146, 2004

青木利晃，片山卓也：
オブジェクト指向分析モデルにおけるデータフローの形式化と解析手法，
日本ソフトウェア科学会 学会誌 コンピュータソフトウェア，Vol.21,
No.4, pp.1-26, 2004

Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda and Takuya
Katayama:
Project Report: High-Reliable Object-Oriented Embedded Software Design,
The 2nd IEEE Workshop on Software Technologies for Embedded and Ubiquitous
Computing Systems(WSTFEUS), 2004

Naohiro Hayashibara, Xavier Defago, Rami Yared and Takuya Katayama:
The $\varphi$ Accrual Failure Detector
Proc. of the 23rd IEEE International Symposium on Reliable Distributed
Systems (SRDS-23), pp.66-78, Florianopolis, Brazil, Oct. 2004

Peter Urban, Naohiro Hayashibara, Andre Schiper and Takuya Katayama:
Performance Comparison of a Rotating Coordinator and a Leader Based
Consensus Algorithm,
Proc. of the 23rd IEEE International Symposium on Reliable Distributed
Systems (SRDS-23), pp.4-17, Brazil, Oct. 2004

Nguyen Truong Thang, Takuya Katayama:
Handling Consistency of Software Evolution in an Efficient Way,
IEEE Computer Proc. International Workshop on Principles
of Software Evolution (IWPSE),pp.121-130,2004

平石邦彦, 石川礼:
制約論理プログラミングによるハイブリッドシステムのパラメータ設計,
第17回回路とシステム軽井沢ワークショップ,
597-602 (2004).

Kunihiko Hiraishi:
Deriving Discrete Behavior of Hybrid Systems under Incomplete Knowledge,
IEICE Trans. Fundamentals,
Vol. E87-A, No.11,2913-2918 (2004)

Haibin Kan and Hong Shen, A Note on Tanner Graphs for Group Block codes and Lattices ,
IEICE Transactions on Fundamentals , E87-A, 8, , 2004

J. Li, H. Shen and R. Topor, Mining informative rule set for prediction , Journal of Intelligent
Information Systems, Kluwer Academic Publishers , 22, 2, 155-174, 2004

A. C. Leung, J. Sum, H. Shen, J. Wu, G. H. Young, Analysis and design of an agent searching
algorithm for e-marketplaces , Cluster Computing , 7, 1, 85-90, 2004

Keqiu Li and Hong Shen, Optimal Proxy Placement for Coordinated En-Route Transcoding Proxy Caching,
IEICE Trans. on Information and Systems, E87-D, 12, 2689-2696, 2004

Keqiu Li and Hong Shen, Proxy Placement Problem for Coordinated En-Route Transcoding Proxy Caching,
International Journal of Computer Systems, Science and Engineering, 19, 5, 95-103, 2004

Keqiu Li and Hong Shen, Optimal Methods for Object Placement for Tree Networks and Autonomous Systems,
International Journal of High Performance Computing and Networking, 3, 5, , 2004

Hui Tian and Hong Shen, Analysis on Binary Loss Tree Classification with Hop Count for Multicast
Topology Discovery , Proc. 2004 IEEE Consumer Communications and Networking Conference (CCNC 2004),
Las Vegas, USA , CD-Rom, , Jan., 2004

Haibin Kan, Hong Shen and Hong Zhu , The closest vector problem on some lattices , Proc. 2nd
International Workshop on Grid and Coordinated Computing, Shanghai, China , , Dec 2003

Zonghua Zhang, Hong Shen, Online Training of SVMs for Real-time Intrusion Detection, Proc. of
18th International Conference on Advanced Information Networking and Applications (AINA 2004),
1, , 2004

Keqiu Li, Hong Shen, Transcoding Proxy Placement in En-Route Web Caching, Proc. of 2nd Annual
Conference on Communication Networks and Services Research (CNSR 2004), 276-285

Keqiu Li, Hong Shen, Coordinated En-Route Web Caching in Transcoding Proxies, Lecture Notes in
Computer Science 3007 (APWeb 2004), springer verleg, 772-781

Zonghua Zhang, Hong Shen, Suppressing False Alarms of Intrusion Detection Using Improved Text
Categorization Method, Proc. of 2004 IEEE International Conference on e-Technology,
e-Commerce, and e-Services (EEE 04), 163-166

Keqiu Li, Hong Shen, Optimal Placement of Web Proxies for Tree Networks, Proc. of 2004 IEEE
International Conference on e-Technology, e-Commerce, and e-Services (EEE 04), 479-486

Fei Li, Shile Zhang, Xin Wang,Xiangyang Xue, Hong Shen, Vote-Based Clustering Algorithm in Mobile Ad Hoc Networks,
Lecture Notes in Computer Science 3090 (ICOIN 2004),springer verlag, 13-23

Wenyu Qu, Hong Shen , Some Analysis on Mobile-Agent Based Network Routing , Proc. of 7th
International Symposium on Parallel Architectures, Algorithms, and Networks (I-SPAN 2004) , 2-17,
2004

Keqiu Li, Hong Shen, Proxy Placement in Coordinated En-Route Transcoding Caching for Tree Networks,
Proc. of 7th International Symposium on Parallel Architectures, Algorithms, and Networks
(I-SPAN 2004), 226-231, 2004

Hui Tian, Hong Shen, Multicast-Based Inference of Network-Internal Loss Performance, Proc. of
7th International Symposium on Parallel Architectures, Algorithms, and Networks (I-SPAN 2004),
288-293, 2004

Hui Tian, Hong Shen, Mobile Agents Based Topology Discovery Algorithms and Modelling, Proc.
of 7th International Symposium on Parallel Architectures, Algorithms, and Networks (I-SPAN 2004),
502-507, 2004

Gui Xie and Hong Shen , A Highly Scalable SPECK Image Coder , Proceedings of IEEE Int. Conf.
on Image Processing (ICIP 2004), IEEE Press. , CD-Rom, , October 2004

Zonghua Zhang and Hong Shen, Caputure the Drifting of Normal Behavior Traces for Adaptive Intrusion
Detection Using Modified SVMs, Proc. of Third International Conference on Machine Learning and
Cybernetics (ICMLC2004), 3046-3051, 26-29Aug, 2004

Keqiu Li and Hong Shen, Cache Design for Transcoding Proxy Caching, IFIP International
Conference on Network and Parallel Computing 2004 (NPC04), 187-194, October 2004

Keqiu Li and Hong Shen, An Improved GreedyDual* Cache Document Replacement Algorithm,
IEEE/WIC/ACM International Conference on Web Intelligence (WI 2004), 457-460, September
2004

Xiaohong Jiang, Hong Shen and Susumu Horiguchi , Performance Analysis of A Novel All-optical Photonic Switch ,
Proc. the Seventh International Symposium on Contemporary Photonics
Technology (CPT2004) , 71-72, Jan., 2004

Xiaohong Jiang, Pin-Han Ho, Hong Shen and Susumu Horiguchi , Fault Tolerance Analysis of Optical Switching
Systems Built on the Vertical Stacking of Banyan Network , Proc. the 2004 IEEE Workshop on High Performance
Switching and Routing (HPRS 2004), Phoenix, USA , 360-364

Chao Peng and Hong Shen, A Storage-aware Scheduling Scheme for VOD, The 3rd International
Conference on Grid and Cooperative Computing (GCC'04), Wuhan China , , Oct. 2004

Chao Peng and Hong Shen ,Storage-aware Harmonic Broadcasting Protocol for Video-on-Demand ,
The Fifth International Conference on Parallel and Distributed Computing, Applications and
Technologies (PDCAT 04), Lecture Notes on Computer Science, Singapore. , , December 2004

Keqiu Li and Hong Shen ,Dynamically Selecting Distribution Strategies for Web Documents According to
Access Pattern , Proc. of Fifth International Conference on Parallel and Distributed Computing,
Applications and Technologies (PDCAT 04), Lecture Notes on Computer Science, Singapore. , , December 2004

W. Qu and H. Shen ,Analysis of Mobile Agents' Fault-Tolerant Behavior , Proc. of Fifth
International Conference on Parallel and Distributed Computing, Applications and Technologies
(PDCAT 04), Lecture Notes on Computer Science, Singapore. , , December 2004

Wenyu Qu and Hong Shen , Mobile Agent-Based Execution Modelling , The Fourth International
Conference on Hybrid Intelligent Systems (HIS'04), Kitakyushu, Japan , , December 2004

Wenyu Qu and Hong Shen,Behavior Modelling of Mobile Agents' Fault-Tolerant Execution,
IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'04), Beijing,
China. , 377-380, September 2004

W. Qu, H. Shen, and J.Sum , Further Analysis on the Application of Mobile Agents in Network Routing ,
International Conference on E-Business and Telecommunication Networks (ICETE'04), Set炻al, Portugal
, , August, 2004

Y. Sang, H. Shen, Novel Impostors Detection in Keystroke Dynamics by Support Vector Machine, P.
Fan, Fifth International Conference on Parallel and Distributed Computing, Applications and
Technologies (PDCAT'04), Singapore, Lecture Notes in Computer Science,

Hui Tian and Hong Shen,Lossy Link Identification for Multicast Network , The Fifth International
Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'04),
Singapore, Lecture Notes in Computer Science, , December 2004

Mizuhito Ogawa
Complete Axiomatization of an Algebraic Construction of Graphs
Proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS
Springer LNCS 2998, pp.163--179. 2004

Mizuhito Ogawa
Well-Quasi-Orders and Regular Omega-languages
Theoretical Computer Science, Vol.324, No.1, pp.55-60,
Words, Languages and Combinatorics. 2004

Li Xin, Mizuhito Ogawa
A Lightweight Mutual Authentication based on Proxy Certificate Trust List
Computer Software, Vol.22, No.2, pp.85-89，2005.
Previously presented at the 5th International Conference on Parallel and Distributed Computing,
Applications and Technologies, PDCAT 2004, Springer LNCS 3320, pp.628-632.

K. Tajima, Y. Fukui
"Answering XPath Queries over Networks by Sending Minimal Views"
In Proceedings of 30st International Conference on Very Large Data Bases,
pp. 48-59, Morgan Kaufmann, 2004

青木利晃: オブジェクト指向モデルのための検証ツールの実装について, 情報処理学会 ソ
フトウェア工学研究会 Winter Workshop 2004 ポジションペーパー, , pp.7-8, 2004

（4）電子社会のモデル化と進化グループ

早坂 良, 藤枝 和宏, 落水 浩一郎, "電子大学の履修管理システムを
対象とした自己説明性および進化容易性を実現するためのソフトウェア構
成手法の検討", JAIST Research Report, IS-RR-2005-005, ISSN 0918-7553,
2005.03.

小谷 正行, 落水 浩一郎, "依存関係を用いた UML 文書間の波及解析法",
電子情報通信学会ソフトウェアサイエンス研究会, SS2004-62, 2005.03.

Koichiro Ochimizu, "Software Architecture with Accountability
and Evolvability", JAIST 21st Century COE Symposium 2005 Verifiable
and Evolvable e-Society, 2005.03.

Masayuki Kotani, Koichiro Ochimizu, "Generating Dependency
Relationships among UML Model Elements for Impact Analysis of UML
Documents", The 8th International Symposium on Future Software
Technology (ISFST 2004), 2004.10.

Pimruang Adirake, Kazuhiro Fujieda, Koichiro Ochimizu,
"Integration of Component-Based Development-Deployment Support
for J2EE Middleware", The 4th International Workshop on Software
Engineering and Middleware (SEM 2004), 2004.09.

Saw Sanda Aye, Mitsuru Ikeda, Koichiro Ochimizu, "Defining
Ontology for Complexity Issues in Software Engineering",
日本ソフトウェア科学会第21回大会, 2004.09.

朱 霊宝, 池田 満, 落水 浩一郎, "ソフトウェア工学知識の体系化と
管理法に関する一接近", 情報処理学会第145回ソフトウェア工学研究会,
2004.08.

Satoshi Hattori, Koichiro Ochimizu, "A Mathematical Foundation
to Validate Some Empirical Organizational Patterns", Proceedings
of the International Conference on Cybernetics and Information
Technologies, Systems and Applications (CITSA 2004), Vol.II,
pp.95-101, 2004.07.

Saw Sanda Aye, Yi Zhou, Koichiro Ochimizu,
"Process Model Combining the Artifact Centered Process with
Communication Path", The 5th International Workshop on Software
Process Simulation and Modeling (ProSim 2004), 2004.05.


安心電子社会基盤分野

（1）高度ヒューマンインタフェース基盤

Chun-Fang Huang and Masato Akagi. A multi-layer fuzzy logical model for emotional speech
perception. Trans. Tech. Comm. Psychol. Physiol. Acoust., The Acoustical Society of Japan,
Vol. 34, No.8, H-2004-95, pp.547-552, Kanazawa, Oct. 2004.

Chun-Fang Huang and Masato Akagi. A perceptual model of emotional speech build by fuzzy logic.
Proc. ASJ'2004 Fall Metting, pp.287-289, Okinawa, Sep. 2004.


（2）高信頼ハードウェア基盤

Yuanyuan Zhang, Yasushi Inoguchi, and Hong Shen, "A Dynamic
Task Scheduling Algorithm for Grid Computing System," Second International
Symposium on Parallel and Distributed Processing and Applications,
pp.578-583, Dec. 2004.

Yuanyuan Zhang and Yasushi Inoguchi, "Influence of
Performance Prediction Inaccuracy on Task Scheduling in Grid Environment,"
The Seventh Asia Pacific Web Conference, Mar. 2005.

Masaaki Shirase, and Yasushi Hibino,
``An architecture for Elliptic Curve Cryptograph Computation'',
Workshop on Architectural Support and Anti-virus (WASSA), Held in
cooperation with ASPLOS XI, October 9, 2004.

白勢政明,日比野靖,
``CMOSトランスファーゲートによる三値論理回路とその構成法'',
多値論理とその応用研究会, 2005.