通信-通信方式(開催日：2006/01/20)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2006/1/20
[資料番号]
目次

,  

[発表日]2006/1/20
[資料番号]
正誤表

,  

[発表日]2006/1/20
[資料番号]
ペトリネットの最小初期マーキング探索におけるトランジションの効果的選択法(コンカレントシステム, 一般)

田岡 智志,  山内 雅弘,  堀越 孝一郎,  渡邉 敏正,  

[発表日]2006/1/20
[資料番号]CST2005-39
Hierarchical Control Modeling of Automated Guided Vehicle System (AGVS) using Colored Petri Net

,  

[発表日]2006/1/20
[資料番号]CST2005-40
ワークフローネットの健全性と並列度について(コンカレントシステム, 一般)

金子 侑史,  山口 真悟,  葛 崎偉,  田中 稔,  

[発表日]2006/1/20
[資料番号]CST2005-41
公開鍵暗号システムMEPKCにおける鍵生成器の作成(コンカレントシステム, 一般)

村上 亮介,  葛 崎偉,  中田 充,  

[発表日]2006/1/20
[資料番号]CST2005-42
モジュール合成を用いたソフトウェア設計における仕様の充足性検証に関する考察(コンカレントシステム, 一般)

雷 源凱,  葛 崎偉,  中田 充,  斗納 宏敏,  

[発表日]2006/1/20
[資料番号]CST2005-43
Activity hypergraphを使用したBPEL4WS/UML記述のシミュレーション手法の提案(コンカレントシステム, 一般)

遠藤 悟,  宮本 俊幸,  藤井 拓,  熊谷 貞俊,  

[発表日]2006/1/20
[資料番号]CST2005-44
マルチエージェントネットの可達空間生成アルゴリズム(コンカレントシステム, 一般)

坂本 雅樹,  宮本 俊幸,  熊谷 貞俊,  

[発表日]2006/1/20
[資料番号]CST2005-45
近似モデルに基づく非有界ペトリネットのスーパバイザ制御(コンカレントシステム, 一般)

高井 重昌,  白 永明,  

[発表日]2006/1/20
[資料番号]CST2005-46
分散並列遺伝アルゴリズムの協調探索とその性能評価(コンカレントシステム, 一般)

喜屋武 義秀,  名嘉村 盛和,  

[発表日]2006/1/20
[資料番号]CST2005-47
観光経路計画における多目的最適化と観光情報システム(コンカレントシステム, 一般)

玉城 梓,  松田 善臣,  玉城 信吾,  名嘉村 盛和,  

[発表日]2006/1/20
[資料番号]CST2005-48
移動物体を対象とした分散シミュレーション時刻同期方式(コンカレントシステム, 一般)

尾崎 敦夫,  渡部 修介,  宮沢 稔,  古市 昌一,  佐藤 裕幸,  

[発表日]2006/1/20
[資料番号]CST2005-49
動的環境に於けるコータリ構成アルゴリズム(コンカレントシステム, 一般)

尾崎 比呂人,  亀井 清華,  角川 裕次,  

[発表日]2006/1/20
[資料番号]CST2005-50
キャッシュを行うP2Pシステムにおける時間を基にした評価手法(コンカレントシステム, 一般)

川井 裕之,  亀井 清華,  角川 裕次,  

[発表日]2006/1/20
[資料番号]CST2005-51
群集の行動観測と分析(コンカレントシステム, 一般)

今崎 直樹,  

[発表日]2006/1/20
[資料番号]CST2005-52
複写される方へ

,  

[発表日]2006/1/20
[資料番号]
Notice about photocopying

,  

[発表日]2006/1/20
[資料番号]
奥付

,  

[発表日]2006/1/20
[資料番号]