Communication-Communication Systems(Date:2006/01/20)

Presentation
表紙

,  

[Date]2006/1/20
[Paper #]
目次

,  

[Date]2006/1/20
[Paper #]
正誤表

,  

[Date]2006/1/20
[Paper #]
Effective Selection of Transitions in Finding Minimizing Initial Markings of Petri Nets

Satoshi TAOKA,  Masahiro YAMAUCHI,  Koichiro HORIKOSHI,  Toshimasa WATANABE,  

[Date]2006/1/20
[Paper #]CST2005-39
Hierarchical Control Modeling of Automated Guided Vehicle System (AGVS) using Colored Petri Net

Aized Tauseef,  Koji Takahashi,  Ichiro Hagiwara,  

[Date]2006/1/20
[Paper #]CST2005-40
On Soundness and Parallel Degree of Workflow Nets

Yuji KANEKO,  Shingo YAMAGUCHI,  Qi Wei GE,  Minoru TANAKA,  

[Date]2006/1/20
[Paper #]CST2005-41
On Generating Key-Generators for a Public-Key Cryptography-MEPKC

Ryosuke MURAKAMI,  Qi Wei GE,  Mitsuru NAKATA,  

[Date]2006/1/20
[Paper #]CST2005-42
On Verification of Specification Satisfaction for Software Designed by Module Composition

Yuan Kai LEI,  Qi Wei GE,  Mitsuru NAKATA,  Hirotoshi TONOU,  

[Date]2006/1/20
[Paper #]CST2005-43
On Simulation of BPEL4WS/UML Descriptions

Satoru ENDO,  Toshiyuki MIYAMOTO,  Taku FUJII,  Sadatoshi KUMAGAI,  

[Date]2006/1/20
[Paper #]CST2005-44
A Reachable State Space Generation Algorithm for Multi Agent Nets

Masaki SAKAMOTO,  Toshiyuki MIYAMOTO,  Sadatoshi KUMAGAI,  

[Date]2006/1/20
[Paper #]CST2005-45
Supervisory Control of Unbounded Petri Nets Based on Their Approximation Models

Shigemasa TAKAI,  Yongming BAI,  

[Date]2006/1/20
[Paper #]CST2005-46
Cooporative Searching of Distributed Parallel Genetic Algorithms and Its Experimental Evaluation

Yoshihide KIYAN,  Morikazu NAKAMURA,  

[Date]2006/1/20
[Paper #]CST2005-47
Multi-Objective optimization for tour route planning and a tour information system

Azusa TAMASHIRO,  Yoshitaka MATSUDA,  Shingo TAMAKI,  Morikazu NAKAMURA,  

[Date]2006/1/20
[Paper #]CST2005-48
Distributed Simulation Time Synchronization Method for Moving Objects

Atsuo OZAKI,  Syusuke WATANABE,  Minoru MIYAZAWA,  Masakazu FURUICHI,  Hiroyuki Sato,  

[Date]2006/1/20
[Paper #]CST2005-49
A Coterie Construction Algorithm in Dynamic Environment

Hirohito OZAKI,  Sayaka KAMEI,  Hirotsugu KAKUGAWA,  

[Date]2006/1/20
[Paper #]CST2005-50
A Time-based Appraising Method in Cached Peer-to-Peer Networks

Hiroyuki KAWAI,  Sayaka KAMEI,  Hirotsugu KAKUGAWA,  

[Date]2006/1/20
[Paper #]CST2005-51
Tracking and Analysis of Mass Movements

Naoki IMASAKI,  

[Date]2006/1/20
[Paper #]CST2005-52
複写される方へ

,  

[Date]2006/1/20
[Paper #]
Notice about photocopying

,  

[Date]2006/1/20
[Paper #]
奥付

,  

[Date]2006/1/20
[Paper #]