IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   Prev MSS Conf / Next MSS Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


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 TalkEach 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-:infots-u 


Last modified: 2005-11-29 00:25:32


Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
 

[On-Site Price List of Paper Version of Proceedings (Technical Report)] (in Japanese)
 
[Presentation and Participation FAQ] (in Japanese)
 
[Cover and Index of IEICE Technical Report by Issue]
 


 
 Go Top  Go Back   Prev MSS Conf / Next MSS Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan