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

Presentation
表紙

,  

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

,  

[Date]2005/1/20
[Paper #]
A New Proposal of Petri Net Based Formulation for Analyzing Signaling Pathways

Chen LI,  Shunichi SUZUKI,  Qi-Wei GE,  Mitsuru NAKATA,  Hiroshi MATSUNO,  Satoru MIYANO,  

[Date]2005/1/20
[Paper #]CST2004-39
On Computation of PARAdeg of Data-Flow Program Nets with SWITCH-nodes

Tatsuya WATANABE,  Shingo YAMAGUCHI,  Qi-Wei GE,  Minoru TANAKA,  

[Date]2005/1/20
[Paper #]CST2004-40
Specification Verification by Conversion of each SDL Process Instance into Petri Nets

Haruo HASEGAWA,  Seiichiro MORO,  Tadashi MATSUMOTO,  

[Date]2005/1/20
[Paper #]CST2004-41
Linear Programming-based Computation of Petri Net Invariants with Supports Containing Specified Places

Atsushi IRIBOSHI,  Satoshi TAOKA,  Toshimasa WATANABE,  

[Date]2005/1/20
[Paper #]CST2004-42
A basic study of genetic network estimation with Bayesian network

Kimi SO,  Takeo OKAZAKI,  

[Date]2005/1/20
[Paper #]CST2004-43
A Parallel Computing System on Data Grid Environment using Process Migration

Tsuguhiro KONDO,  Hirotsugu KAKUGAWA,  

[Date]2005/1/20
[Paper #]CST2004-44
On Computation of Worst Change Time for Flush, Abort, SCO Dynamic Changes of State-Machine Workflow Nets

Kastuaki MIYAUCHI,  Shingo YAMAGUCHI,  Qi-Wei GE,  Minoru TANAKA,  

[Date]2005/1/20
[Paper #]CST2004-45
Decentralized Supervisory Control Using Dynamic Default Control

Shigemasa TAKAI,  Toshimitsu USHIO,  

[Date]2005/1/20
[Paper #]CST2004-46
A Secret Sharing Distributed Database System

Yasuhiro MORITA,  Toshiyuki MIYAMOTO,  Sadatoshi KUMAGAI,  

[Date]2005/1/20
[Paper #]CST2004-47
An Evolutionary Tree-base Method for Multiple Alignment Problems

Chihiro MIYAZATO,  Morikazu NAKAMURA,  Yumiko NAKAJIMA,  

[Date]2005/1/20
[Paper #]CST2004-48
A Clustering Method based on Multiple Quasi-Minimum Spanning Trees

Daisuke KAGAWA,  Morikazu NAKAMURA,  Yumiko NAKAJIMA,  

[Date]2005/1/20
[Paper #]CST2004-49
Improving Computation of Legal Firing Sequences of Petri Nets based on Behavioral Deadlock Avoidance

Yasutoshi YOSHIMOTO,  Satoshi TAOKA,  Toshimasa WATANABE,  

[Date]2005/1/20
[Paper #]CST2004-50
複写される方へ

,  

[Date]2005/1/20
[Paper #]
Notice about Photocopying

,  

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

,  

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