Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2014] | [2015] | [2016] | [2017] | [2018] | [2019] | [2020] | [Japanese] / [English]
SS2017-34
(See Japanese page.)
pp. 1 - 6
SS2017-35
Kento Shimonaka, Yoshiki Higo, Junnosuke Matsumoto, Keigo Naito, Shinji Kusumoto (Osaka Univ.)
pp. 7 - 12
SS2017-36
(See Japanese page.)
pp. 13 - 18
SS2017-37
Masayuki Doi, Yoshiki Higo, Ryo Arima, Kento Shimonaka, Shinji Kusumoto (Osaka Univ.)
pp. 19 - 24
SS2017-38
Verification of an Approach to Find Determiner Set of Graphs
Koki Tanaka, Takafumi Goto, Mituru Nakata (Yamaguchi Univ.), Chiranut Sa-ngiamsak (Khon Kaen Univ.), Qi-Wei Ge (Yamaguchi Univ.)
pp. 25 - 30
SS2017-39
Weighted Potential for Multipopulation Access Point Selection Games
Yuki Kodera, Takafumi Kanazawa (Osaka Univ.)
pp. 31 - 34
SS2017-40
Stack queue mixed layout of graphs using stack number
Miki Miyauchi (NTT)
pp. 35 - 40
SS2017-41
Computational Complexity of Membership and Emptiness Problems for Register Context-Free Grammars
Ryoma Senda, Hiroyuki Seki (Nagoya Univ.)
pp. 41 - 46
SS2017-42
Design of concurrent processing by an interpreter for the functional programming language in continuation passing style
Nagisa Kojima, Kazuyuki Shima (HCU)
pp. 47 - 52
SS2017-43
Deadline Assignment Optimization Method Using Extended Time Petri Nets for Real-Time Multitask Distributed Systems Sharing Processors with EDF Scheduling
Reon Matsuoka, Akio Nakata (Hiroshima City Univ.)
pp. 53 - 58
SS2017-44
Study on Deployment of a Computer Algebra System for Generating Random Test Patterns for Combinational Circuits
Tsutomu Inamoto, Yoshinobu Higami (Ehime Univ.)
pp. 59 - 64
SS2017-45
A Proposal of Generating Paths of Program Net and Its Application to Software Testing
Biao Wu (Yamaguchi Univ.), Xiaoan Bao, Na Zhang (ZSTU), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.)
pp. 65 - 70
SS2017-46
Construction of a Petri Net Model of Internal Organs and Twelve Principal Meridians Based on Traditional Chinese Medicine
Quan Gan, Yuu Takahashi (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.)
pp. 71 - 76
SS2017-47
Construction of a Universal Petri Net Model of Human Body and Meridian System and Its Simulation Data Aggregation
Thi-Thuy Nguyen, Yuu Takahashi (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.)
pp. 77 - 82
SS2017-48
[Invited Talk]
Recent Trends in the Development of Programming Language Ruby
-- An Improvement of Code Coverage Feature as a Case Study, and the Goals of Ruby 3 --
Yusuke Endoh (Cookpad)
p. 83
SS2017-49
Data-Aware Service Orchestration of IoT Service with Data Workflow Net
Mohd Anuaruddin Bin Ahmadon, Naofumi Yamaguchi, Shingo Yamaguchi (Yamaguchi Univ.)
pp. 85 - 89
SS2017-50
On Modeling of Infection Phenomenon and Evaluation of Countermeasure for IoT Malware Mirai by Agent-Oriented Petri Net PN2
Shingo Yamaguchi, Hiroaki Tanaka (Yamaguchi Univ.)
pp. 91 - 95
SS2017-51
On Extraction of Gap Service between Design and Operation by Process Mining
Ryosuke Wada, Mohd Anuaruddin Bin Ahmadon (Yamaguchi Univ.), Mohd Anuaruddin Bin Ahmadon (TOSHIBA Energy Systems & Solutions Corporation), Yamaguchi Shingo (Yamaguchi Univ.)
pp. 97 - 101
SS2017-52
An Analysis of Prosumers' Benefit on Peer-to-Peer Energy Trading
Mitsue Imahori, Ryo Hase, Norihiko Shinomiya (Soka Univ.)
pp. 103 - 106
SS2017-53
Classification of problem detection for incomplete software requirements using the development standard process
Toma Miyamura (NAIST), Shinji Kawaguchi, Naoki Ishihama, Kazuki Kakimoto (JAXA), Hajimu Iida (NAIST), Masafumi Katahira (JAXA)
pp. 107 - 112
SS2017-54
(See Japanese page.)
pp. 113 - 119
SS2017-55
A Visualization Method of Compliance Status of Software Development Flow when using Version Control System
Takumi Inoue, Yoichiro Kojima (OIT), Kenji Fujiwara (NITTC), Hiroshi Igaki (OIT)
pp. 121 - 126
SS2017-56
An Extension of Test Code Generation Support Tool Using Test Log to Java Method with Returning Value
Ryota Kusaka, Nobuo Funabiki, Minoru Kuribayashi, Nobuya Ishihara (Okayama Univ.)
pp. 127 - 132
SS2017-57
Decentralized Similarity Control of Nondeterministic Discrete Event Systems using Observers
Itsuki Okubo, Shigemasa Takai (Osaka Univ.)
pp. 133 - 138
SS2017-58
Application of M-Matrices to Stabilization of Composite Systems via Decentralized Event-Triggered Control
Kenichi Fukuda, Toshimitsu Ushio (Osaka Univ.)
pp. 139 - 142
SS2017-59
Mathematical Analysis of Phase Resetting Control Mechanism during Rhythmic Movements
Kazuki Nakada (Hiroshima City Univ.), Keiji Miura (Kwansei Gakuin Univ.)
pp. 143 - 148
SS2017-60
Common Sub-Graph Extraction from Idiom Networks of Amino Acid Short Constituent Sequences
Kentaro Maeshiro (Ryukyu Univ), Takeshi Tengan (Meio Univ), Morikazu Nakamura (Ryukyu Univ)
pp. 149 - 153
SS2017-61
Consideration of User Behavior History Collection System for Server Management Exercise
Kazuki Nisimura, Hirosi Igaki (OIT)
pp. 155 - 160
SS2017-62
A Proposal of Code Correction Problem for Test Code Study in Java Programming Learning Assistant System
He Sai, Nobuo Funabiki, Minoru Kuribayashi, Nobuya Ishihara (Okayama Univ)
pp. 161 - 166
SS2017-63
An Introduction of Source Code Management System for Java Programming Learning Assistant System: JPLAS
Shimpei Matsumoto, Nobuo Hunabiki, Minoru Kuribayashi, Nobuya Ishihara (Okayama Univ.)
pp. 167 - 172
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.