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 Kohkichi Tsuji
Vice Chair Naoshi Uchihira
Secretary Satoshi Taoka, Jun Ohta

Conference Date Thu, Jan 27, 2005 10:00 - 16:30
Topics Concurrent system, etc. 
Conference Place The University of Electro-Communications 
Address 1-5-1 Chofugaoka, Chofu-shi, 182-8585 Japan.
Transportation Guide 5 minutes on foot from the Keio Lines Chofu station.
http://www.uec.ac.jp/eng/about/visual/directions.html
Contact
Person
Prof. Shigeyoshi Watanabe
0424-43-5298

Thu, Jan 27 AM 
10:00 - 11:40
(1) 10:00-10:25 A New Proposal of Petri Net Based Formulation for Analyzing Signaling Pathways Chen Li, Shunichi Suzuki, Qi-Wei Ge, Mitsuru Nakata, Hiroshi Matsuno (Yamaguchi Univ.), Satoru Miyano (Univ. of Tokyo)
(2) 10:25-10:50 On Computation of PARAdeg of Data-Flow Program Nets with SWITCH-nodes Tatsuya Watanabe, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.)
(3) 10:50-11:15 Specification Verification by Conversion of each SDL Process Instance into Petri Nets Haruo Hasegawa (Oki Electric), Seiichiro Moro (Fukui Univ.), Tadashi Matsumoto (Fukui Univ. of Technology)
(4) 11:15-11:40 Linear Programming-based Computation of Petri Net Invariants with Supports Containing Specified Places Atsushi Iriboshi, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)
Thu, Jan 27 PM 
13:00 - 16:30
(5) 13:00-13:25 A basic study of genetic network estimation with Bayesian network Kimi So, Takeo Okazaki (Univ. of the Ryukyus)
(6) 13:25-13:50 A Parallel Computing System on Data Grid Environment using Process Migration Tsuguhiro Kondo, Hirotsugu Kakugawa (Hiroshima Univ.)
(7) 13:50-14:15 On Computation of Worst Change Time for Flush, Abort, SCO Dynamic Changes of State Machine Workflow Nets Katsuaki Miyauchi, Shingo Yamaguchi, Qi-Wei Ge, Minoru Tanaka (Yamaguchi Univ.)
(8) 14:15-14:40 Decentralized Supervisory Control Using Dynamic Default Control Shigemasa Takai (Kyoto Inst. of Tech.), Toshimitsu Ushio (Osaka Univ.)
  14:40-14:50 Break ( 10 min. )
(9) 14:50-15:15 Distributed DataBase System using Secret Sharing Sheme Yasuhiro Morita, Toshiyuki Miyamoto, Sadatoshi Kumagai (Osaka Univ)
(10) 15:15-15:40 An Evolutionary Tree-base Method for Multiple Alignment Problems Chihiro Miyazato, Morikazu Nakamura (Ryukyu Univ.), Yumiko Nakajima (Univ. of the Ryukyus)
(11) 15:40-16:05 A I Clusteringethod based on Multiple Quasi-Minimum Spanning Trees Daisuke Kagawa, Morikazu Nakamura (Ryukyu Univ.), Yumiko Nakajima (Univ. of the Ryukyus)
(12) 16:05-16:30 Improving Computation of Legal Firing Sequences of Petri Nets based on Behavioral Deadlock Avoidance Yasutoshi Yoshimoto, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)

Contact Address and Latest Schedule Information
CST Technical Committee on Concurrent Systems Technology (CST)   
Contact Address Atsushi Ohta(Faculty of Information Science and Technology,Aichi Prefectural University)
TEL0561-64-1111,FAX0561-64-1108
E--mail:ohistai-pu 


Last modified: 2004-12-18 09:29:04


Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
 
[Cover and Index of IEICE Technical Report by Issue]
 

[Presentation and Participation FAQ] (in Japanese)
 


 
 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