|
Vol.E81-A No.4
pp.547-555
Special SectionPAPER
A Concurrent Calculus with Geographical Constraints
Toshihiko ANDO, Kaoru TAKAHASHI, Yasushi KATO, Norio SHIRATORI, |
|
Summary | Full Text:PDF | |
|
Vol.E81-A No.4
pp.556-565
Special SectionPAPER
Specification and Validation of a Dynamically Reconfigurable System
Kaoru TAKAHASHI, Toshihiko ANDO, Toshihisa KANO, Goichi ITABASHI, Yasushi KATO, |
|
Summary | Full Text:PDF | |
|
Vol.E81-A No.4
pp.566-575
Special SectionPAPER
A Method to Convert Concurrent EFSMs with Multi-Rendezvous into Synchronous Sequential Circuit
Akira KITAJIMA, Keiichi YASUMOTO, Teruo HIGASHINO, Kenichi TANIGUCHI, |
|
Summary | Full Text:PDF | |
|
Vol.E81-A No.4
pp.576-585
Special SectionPAPER
A Cooperation Method via Metaphor of Explanation
Tetsuya YOSHIDA, Koichi HORI, Shinichi NAKASUKA, |
|
Summary | Full Text:PDF | |
|
Vol.E81-A No.4
pp.586-595
Special SectionPAPER
Composition of Protocol Functions
Bhed Bahadur BISTA, Kaoru TAKAHASHI, Norio SHIRATORI, |
|
Summary | Full Text:PDF | |
|
Vol.E81-A No.4
pp.596-604
Special SectionPAPER
A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol
Shin'ichi NAGANO, Yoshiaki KAKUDA, Tohru KIKUNO, |
|
Summary | Full Text:PDF | |
|
Vol.E81-A No.4
pp.605-614
Special SectionPAPER
Experimental Evaluation of Two-Phase Project Control for Software Development Process
Osamu MIZUNO, Shinji KUSUMOTO, Tohru KIKUNO, Yasunari TAKAGI, Keishi SAKAMOTO, |
|
Summary | Full Text:PDF | |
|
Vol.E81-A No.4
pp.615-625
Special SectionPAPER
Timed Petri Net Based Scheduling for Mechanical Assembly Integration of Planning and Scheduling
Akio INABA, Fumiharu FUJIWARA, Tatsuya SUZUKI, Shigeru OKUMA, |
|
Summary | Full Text:PDF | |
|
Vol.E81-A No.4
pp.626-627
Special SectionLETTER
An Algebraic Criterion for State Machine Allocatable Nets
Atsushi OHTA, Tomiji HISAMURA, |
|
Summary | Full Text:PDF | |
|
Vol.E81-A No.4
pp.628-634
Special SectionLETTER
Reachability Criterion for Petri Nets with Known Firing Count Vectors
Tadashi MATSUMOTO, Yasushi MIYANO, |
|
Summary | Full Text:PDF | |
| Current List: 35591 - 35600
|
|