Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS, MSS |
2018-01-18 09:50 |
Hiroshima |
|
MSS2017-47 SS2017-34 |
(To be available after the conference date) [more] |
MSS2017-47 SS2017-34 pp.1-6 |
SS, MSS |
2018-01-18 10:15 |
Hiroshima |
|
MSS2017-49 SS2017-36 |
(To be available after the conference date) [more] |
MSS2017-49 SS2017-36 pp.13-18 |
SS, MSS |
2018-01-18 10:40 |
Hiroshima |
|
Kento Shimonaka, Yoshiki Higo, Junnosuke Matsumoto, Keigo Naito, Shinji Kusumoto (Osaka Univ.) MSS2017-48 SS2017-35 |
(To be available after the conference date) [more] |
MSS2017-48 SS2017-35 pp.7-12 |
SS, MSS |
2018-01-18 11:05 |
Hiroshima |
|
Masayuki Doi, Yoshiki Higo, Ryo Arima, Kento Shimonaka, Shinji Kusumoto (Osaka Univ.) MSS2017-50 SS2017-37 |
(To be available after the conference date) [more] |
MSS2017-50 SS2017-37 pp.19-24 |
SS, MSS |
2018-01-18 12:45 |
Hiroshima |
|
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.) MSS2017-51 SS2017-38 |
An automorphism of graph G=(V,E) is such a one-to-one correspondence from the vertex set V to itself that adjacency of t... [more] |
MSS2017-51 SS2017-38 pp.25-30 |
SS, MSS |
2018-01-18 13:10 |
Hiroshima |
|
Weighted Potential for Multipopulation Access Point Selection Games Yuki Kodera, Takafumi Kanazawa (Osaka Univ.) MSS2017-52 SS2017-39 |
Wireless access networks are characterized by interactions among users and/or communication carriers. An access point se... [more] |
MSS2017-52 SS2017-39 pp.31-34 |
SS, MSS |
2018-01-18 13:35 |
Hiroshima |
|
Stack queue mixed layout of graphs using stack number Miki Miyauchi (NTT) MSS2017-53 SS2017-40 |
As for stack-queue mixed layouts of graph subdivisions, this paper improves previous results by showing that for every i... [more] |
MSS2017-53 SS2017-40 pp.35-40 |
SS, MSS |
2018-01-18 14:15 |
Hiroshima |
|
Computational Complexity of Membership and Emptiness Problems for Register Context-Free Grammars Ryoma Senda, Hiroyuki Seki (Nagoya Univ.) MSS2017-54 SS2017-41 |
Register context-free grammar (RCFG) is an extension of context-free grammar to handle data values. RCFGs can be applied... [more] |
MSS2017-54 SS2017-41 pp.41-46 |
SS, MSS |
2018-01-18 14:40 |
Hiroshima |
|
Design of concurrent processing by an interpreter for the functional programming language in continuation passing style Nagisa Kojima, Kazuyuki Shima (HCU) MSS2017-55 SS2017-42 |
In our study so far, we have proposed the notation which expresses lambda calculus in Continuation-Passing Style (CPS) s... [more] |
MSS2017-55 SS2017-42 pp.47-52 |
SS, MSS |
2018-01-18 15:05 |
Hiroshima |
|
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.) MSS2017-56 SS2017-43 |
In the development of embedded software which requires high reliability satisfaction of hard requirements for both compu... [more] |
MSS2017-56 SS2017-43 pp.53-58 |
SS, MSS |
2018-01-18 15:45 |
Hiroshima |
|
Study on Deployment of a Computer Algebra System for Generating Random Test Patterns for Combinational Circuits Tsutomu Inamoto, Yoshinobu Higami (Ehime Univ.) MSS2017-57 SS2017-44 |
In this study, the authors display an attempt of deploying a computer algebra system to improve the fault detection rate... [more] |
MSS2017-57 SS2017-44 pp.59-64 |
SS, MSS |
2018-01-18 16:10 |
Hiroshima |
|
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.) MSS2017-58 SS2017-45 |
In this paper, we discuss an application of Program Net for Software Testing. Firstly, we redefined and described proper... [more] |
MSS2017-58 SS2017-45 pp.65-70 |
SS, MSS |
2018-01-18 16:35 |
Hiroshima |
|
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.) MSS2017-59 SS2017-46 |
This paper focuses on constructing a Petri net model of a human body meridians.
Till now, we have proposed a Petri net... [more] |
MSS2017-59 SS2017-46 pp.71-76 |
SS, MSS |
2018-01-18 17:00 |
Hiroshima |
|
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.) MSS2017-60 SS2017-47 |
This paper aims to construct a universal Petri net model of human body and meridian system. We have built a Petri net mo... [more] |
MSS2017-60 SS2017-47 pp.77-82 |
SS, MSS |
2018-01-18 17:35 |
Hiroshima |
|
[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) MSS2017-61 SS2017-48 |
[more] |
MSS2017-61 SS2017-48 p.83 |
SS, MSS |
2018-01-19 09:50 |
Hiroshima |
|
Data-Aware Service Orchestration of IoT Service with Data Workflow Net Mohd Anuaruddin Bin Ahmadon, Naofumi Yamaguchi, Shingo Yamaguchi (Yamaguchi Univ.) MSS2017-62 SS2017-49 |
In this paper, we proposed an approach of service orchestration for IoT service. First, we model a service specification... [more] |
MSS2017-62 SS2017-49 pp.85-89 |
SS, MSS |
2018-01-19 10:15 |
Hiroshima |
|
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.) MSS2017-63 SS2017-50 |
In September 2016, an unprecedented massive DDoS attack was launched by IoT devices. This attack was caused by a new typ... [more] |
MSS2017-63 SS2017-50 pp.91-95 |
SS, MSS |
2018-01-19 10:40 |
Hiroshima |
|
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.) MSS2017-64 SS2017-51 |
(To be available after the conference date) [more] |
MSS2017-64 SS2017-51 pp.97-101 |
SS, MSS |
2018-01-19 11:05 |
Hiroshima |
|
An Analysis of Prosumers' Benefit on Peer-to-Peer Energy Trading Mitsue Imahori, Ryo Hase, Norihiko Shinomiya (Soka Univ.) MSS2017-65 SS2017-52 |
In recent years, many countries have promoted to install photovoltaics to consumers for carbon dioxide reduction. Consum... [more] |
MSS2017-65 SS2017-52 pp.103-106 |
SS, MSS |
2018-01-19 12:45 |
Hiroshima |
|
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) MSS2017-66 SS2017-53 |
Software faults in spacecraft software leads to mission failures. To identify software faults, we focus on the incomplet... [more] |
MSS2017-66 SS2017-53 pp.107-112 |