| Technical Committee on Concurrent Systems Technology (CST) |
|
|
| Chair |
|
Naoshi Uchihira |
| Vice Chair |
|
Katsu Kii |
| Secretary |
|
Satoshi Taoka, Morikazu Nakamura |
| Assistant |
|
Shingo yamaguchi |
|
| Conference Date |
Fri, Jan 27, 2006 09:30 - 16:00 |
| Topics |
Concurrent systems, etc. |
| Conference Place |
Toshiba Science Museum |
| Address |
Komukaitoshiba-Cho 1, Saiwai-Ku, Kawasaki-City 212-8582 |
| Transportation Guide |
By Train + Bus
1 Take the JR Line to JR Kawasaki sta. (East Exit) or take the Keihin Kyuko Line to Keihin Kyuko Kawasaki sta.
2 Leave from Exit 10 or 11 of the Azalea Underground Shopping Arcade and make your way to the bus terminal.
3 Board Tokyu bus No.27 and get off at Komukai Koban bus stop
(10 minutes ride).
4 Toshiba Science Insititute is one minute walk.
http://kagakukan.toshiba.co.jp/en/access/access.html |
Contact
Person |
044-549-2400 |
Fri, Jan 27 AM
09:30 - 12:00 |
| (1) |
09:30-09:50 |
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.) |
| (2) |
09:50-10:10 |
Hierarchical Control Modeling of Automated Guided Vehicle System (AGVS) using Colored Petri Net |
Tauseef Aized, Koji Takahashi, Ichiro Hagiwara (Tokyo Inst. of Tech.) |
| (3) |
10:10-10:30 |
On Soundness and Parallel Degree of Workflow Nets |
Yuji Kaneko, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.) |
| (4) |
10:30-10:50 |
On Generating Key-generators for a Public-key Cryptography - MEPKC |
Ryosuke Murakami, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ.) |
| |
10:50-11:00 |
Break ( 10 min. ) |
| (5) |
11:00-11:20 |
On Verification of Specification Satisfaction for Software Designed by Module Composition |
Yuan-Kai Lei, Qi-Wei Ge, Mitsuru Nakata (Yamaguchi Univ,), Hirotoshi Tonou (Fujitsu Ten) |
| (6) |
11:20-11:40 |
On Simulation of BPEL4WS/UML Descriptions |
Satoru Endo, Toshiyuki Miyamoto (Osaka Univ.), Taku Fujii (OGIS-RI), Sadatoshi Kumagai (Osaka Univ.) |
| (7) |
11:40-12:00 |
A Reachable State Space Generation Algorithm for Multi Agent Nets |
Masaki Sakamoto, Toshiyuki Miyamoto, Sadatoshi Kumagai (Osaka Univ.) |
| |
12:00-13:00 |
Lunch Break ( 60 min. ) |
Fri, Jan 27 PM
13:00 - 16:00 |
| (8) |
13:00-13:20 |
Supervisory Control of Unbounded Petri Nets Based on Their Approximation Models |
Shigemasa Takai (Kyoto Inst. of Tech.), Yongming Bai (Wakayama Univ.) |
| (9) |
13:20-13:40 |
Cooporative Searching of Distributed Parallel Genetic Algorithms and Its Experimental Evaluation |
Yoshihide Kiyan, Morikazu Nakamura (Univ. of the Ryukyus) |
| (10) |
13:40-14:00 |
Muitl-objective optimization for tour route planning and a G-XML based tour information system |
Azusa Tamashiro, , Shingo Tamaki, Morikazu Nakamura (Univ. of the Ryukyus) |
| |
14:00-14:10 |
Break ( 10 min. ) |
| (11) |
14:10-14:30 |
Distributed Simulation Time Synchronization Method for Moving Objects |
Atsuo Ozaki, Shusuke Watanabe, Minoru Miyazawa, Masakazu Furuichi, Hiroyuki Sato (Mitsubishi Electric Corp.) |
| (12) |
14:30-14:50 |
A Coterie Construction Algorithm in Dynamic Environment |
Hirohito Ozaki, Sayaka Kamei (Hiroshima Univ.), Hirotsugu Kakugawa (Osaka Univ.) |
| (13) |
14:50-15:10 |
A Time-based Appraising Method in Cached Peer-to-Peer Networks |
Hiroyuki Kawai, Sayaka Kamei (Hiroshima Univ.), Hirotsugu Kakugawa (Osaka Univ.) |
| |
15:10-15:20 |
Break ( 10 min. ) |
| (14) |
15:20-16:00 |
[Invited Talk]
Tracking and analysis of mass movements |
Naoki Imasaki (Toshiba) |
| Announcement for Speakers |
| General Talk | Each speech will have 15 minutes for presentation and 5 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| CST |
Technical Committee on Concurrent Systems Technology (CST) |
| Contact Address |
Satoshi TAOKA（Infomation Engineering, Graduate School of Engineering, Hiroshima University)
TEL 082-424-7666, FAX 082-422-7028
E- :   info ts     -u |
Last modified: 2005-11-29 00:25:32
|