電子情報通信学会技術研究報告

Print edition: ISSN 0913-5685
Online edition: ISSN 2432-6380

vol. 105, no. 573

コンカレント工学

[PREV] [NEXT]

CST2005-39
Effective Selection of Transitions in Finding Minimizing Initial Markings of Petri Nets
○Satoshi Taoka（Hiroshima Univ.）・Masahiro Yamauchi（Kinki Univ.）・Koichiro Horikoshi・Toshimasa Watanabe（Hiroshima Univ.）
pp. 1 - 6

CST2005-40
Hierarchical Control Modeling of Automated Guided Vehicle System (AGVS) using Colored Petri Net
○Tauseef Aized・Koji Takahashi・Ichiro Hagiwara（Tokyo Inst. of Tech.）
pp. 7 - 12

CST2005-41
ワークフローネットの健全性と並列度について
○金子侑史・山口真悟・葛　崎偉・田中　稔（山口大）
pp. 13 - 18

CST2005-42
公開鍵暗号システムMEPKCにおける鍵生成器の作成
○村上亮介・葛　崎偉・中田　充（山口大）
pp. 19 - 24

CST2005-43
モジュール合成を用いたソフトウェア設計における仕様の充足性検証に関する考察
○雷　源凱・葛　崎偉・中田　充（山口大）・斗納宏敏（富士通テン）
pp. 25 - 30

CST2005-44
On Simulation of BPEL4WS/UML Descriptions
○Satoru Endo・Toshiyuki Miyamoto（Osaka Univ.）・Taku Fujii（OGIS-RI）・Sadatoshi Kumagai（Osaka Univ.）
pp. 31 - 36

CST2005-45
マルチエージェントネットの可達空間生成アルゴリズム
○坂本雅樹・宮本俊幸・熊谷貞俊（阪大）
pp. 37 - 42

CST2005-46
近似モデルに基づく非有界ペトリネットのスーパバイザ制御
○高井重昌（京都工繊大）・白　永明（和歌山大）
pp. 43 - 46

CST2005-47
分散並列遺伝アルゴリズムの協調探索とその性能評価
○喜屋武義秀・名嘉村盛和（琉球大）
pp. 47 - 51

CST2005-48
観光経路計画における多目的最適化と観光情報システム
○玉城　梓・松田善臣・玉城信吾・名嘉村盛和（琉球大）
pp. 53 - 56

CST2005-49
移動物体を対象とした分散シミュレーション時刻同期方式
○尾崎敦夫・渡部修介・宮沢　稔・古市昌一・佐藤裕幸（三菱電機）
pp. 57 - 62

CST2005-50
動的環境に於けるコータリ構成アルゴリズム
○尾崎比呂人・亀井清華（広島大）・角川裕次（阪大）
pp. 63 - 68

CST2005-51
キャッシュを行うP2Pシステムにおける時間を基にした評価手法
○川井裕之・亀井清華（広島大）・角川裕次（阪大）
pp. 69 - 74

CST2005-52
［招待講演］群集の行動観測と分析
○今崎直樹（東芝）
pp. 75 - 80

今後、次の点を修正する予定です。(1)欠けている表紙画像・奥付画像を補完いたします。(2)欠けている発行日の情報を補完いたします。