16851
Formal Modeling and Verification of Concurrent FSMs: Case Study on Event-Based Cooperative Transport Robots
Yoshinao ISOBE, Nobuhiko MIYAMOTO, Noriaki ANDO, Yutaka OIWA
IEICE Transactions in Information and Systems
104
10
1515–1532
2021
1.0
平均評価: 0.0 / 5
(0 件のレビュー)
16852
Verification of Group Key Management of IEEE 802.21 Using ProVerif
Ryoga NOGUCHI, Yoshikazu HANATANI, Kazuki YONEYAMA
IEICE Transactions in Information and Systems
104
10
1533–1543
2021
1.0
平均評価: 0.0 / 5
(0 件のレビュー)
16853
FOREWORD
Shinji SUGAWARA
IEICE Transactions in Information and Systems
104
5
562–None
2021
1.0
平均評価: 0.0 / 5
(0 件のレビュー)
16854
Design and Implementation of LoRa-Based Wireless Sensor Network with Embedded System for Smart Agricultural Recycling Rapid Processing Factory
Chia-Yu WANG, Chia-Hsin TSAI, Sheng-Chung WANG, Chih-Yu WEN, Robert Ch ...
IEICE Transactions in Information and Systems
104
5
563–574
2021
1.0
平均評価: 0.0 / 5
(0 件のレビュー)
16855
A New Finite Automata Construction Using a Prefix and a Suffix of Regular Expressions
Hiroaki YAMAMOTO, Hiroshi FUJIWARA
IEICE Transactions in Information and Systems
104
3
381–388
2021
1.0
平均評価: 0.0 / 5
(0 件のレビュー)
16856
Robustness of Deep Learning Models in Dermatological Evaluation: A Critical Assessment
Sourav MISHRA, Subhajit CHAUDHURY, Hideaki IMAIZUMI, Toshihiko YAMASAK ...
IEICE Transactions in Information and Systems
104
3
419–429
2021
1.0
平均評価: 0.0 / 5
(0 件のレビュー)
16857
Difficulty-Based SPOC Video Clustering Using Video-Watching Data
Feng ZHANG, Di LIU, Cong LIU
IEICE Transactions in Information and Systems
104
3
430–440
2021
1.0
平均評価: 0.0 / 5
(0 件のレビュー)
16858
FOREWORD
Toshiaki FUJII
IEICE Transactions in Information and Systems
104
10
1544–None
2021
1.0
平均評価: 0.0 / 5
(0 件のレビュー)
16859
Mitigation of Flash Crowd in Web Services By Providing Feedback Information to Users
Harumasa TADA, Masayuki MURATA, Masaki AIDA
IEICE Transactions in Information and Systems
104
1
63–75
2021
1.0
平均評価: 0.0 / 5
(0 件のレビュー)
16860
Solving Constrained Slot Placement Problems Using an Ising Machine and Its Evaluations
Sho KANAMARU, Kazushi KAWAMURA, Shu TANAKA, Yoshinori TOMITA, Nozomu T ...
IEICE Transactions in Information and Systems
104
2
226–236
2021
1.0
平均評価: 0.0 / 5
(0 件のレビュー)