| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Software Science (SS) (Searched in: 2023)
Search Results: Keywords 'from:2023-10-11 to:2023-10-11'
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| SS, DC | 2023-10-11 14:30 |
Nagano | (Primary: On-site, Secondary: Online) |
Automatic Generation of Class Diagrams by Directing the Class Design Process to ChatGPT Shogo Kanzaki, Taku Okuno (FUN)  SS2023-21 DC2023-27 |
Creating class diagrams requires experience and knowledge, and is time-consuming and costly. Therefore, this study const... [more] | SS2023-21 DC2023-27 pp.1-6 |
| SS, DC | 2023-10-11 14:55 |
Nagano | (Primary: On-site, Secondary: Online) |
Comparison of Automatic Extraction Methods for Generating Causal Component Models from Software Requirement Specifications Takeki Ninomiya, Masanosuke Ohto, Toshiki Takaoka, Shinpei Ogata, Kozo Okano (Shinshu Univ) SS2023-22 DC2023-28 |
In software development, development proceeds using requirement specifications that describe software requirements in na... [more] | SS2023-22 DC2023-28 pp.7-12 |
| SS, DC | 2023-10-11 15:20 |
Nagano | (Primary: On-site, Secondary: Online) |
Efficient Automatic Classification of Non-Functional Requirements in Information Systems Using Deep Learning
-- A Comparative Accuracy Analysis between BERT and GPT-2 -- Kazuhiro Mukaida (Shinshu Univ.), Seiji Fukui, Takeshi Nagaoka, Takayuki Kitagawa (TOSHIBA), Shinpei Ogata, Kozo Okano (Shinshu Univ.) SS2023-23 DC2023-29 |
Recent Advancements in deep learning are increasingly enabling the automation of classifying non-functional requirements... [more] | SS2023-23 DC2023-29 pp.13-18 |
| SS, DC | 2023-10-11 16:00 |
Nagano | (Primary: On-site, Secondary: Online) |
Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion Naoki Nishiguchi, Tatsuhiro Tsuchiya (Osaka Univ.) SS2023-24 DC2023-30 |
(To be available after the conference date) [more] | SS2023-24 DC2023-30 pp.19-21 |
| SS, DC | 2023-10-11 16:25 |
Nagano | (Primary: On-site, Secondary: Online) |
Shortening Block Approval Intervals with Skip Graph Using VRNT in Blockchain Nobuho Inamura, Masato Kitakami (Chiba Univ.) SS2023-25 DC2023-31 |
The interval at which bitcoin payments are approved is intentionally adjusted to be once every 10 minutes. While it is t... [more] | SS2023-25 DC2023-31 pp.22-26 |
| SS, DC | 2023-10-11 16:50 |
Nagano | (Primary: On-site, Secondary: Online) |
Low power consumption of neural networks using memory bit reduction and sampling Hirokazu Kodachi, Masato Kitakami (Chiba Univ.) SS2023-26 DC2023-32 |
Advances in machine learning and the use of big data have increased the computational complexity of neural networks. As ... [more] | SS2023-26 DC2023-32 pp.27-31 |
| SS, DC | 2023-10-12 10:00 |
Nagano | (Primary: On-site, Secondary: Online) |
A game-theoretic approach to indistinguishability of winning objectives as user privacy Rindo Nakanishi (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) SS2023-27 DC2023-33 |
We propose a new game-theoretic framework for studying the privacy protection of a user who interactively uses a softwa... [more] |
SS2023-27 DC2023-33 pp.32-37 |
| SS, DC | 2023-10-12 10:25 |
Nagano | (Primary: On-site, Secondary: Online) |
Robustness trends of DP-SGD, a machine learning with differential privacy Takahiro Kanki, Shinpei Ogata, Kozo Okano (Sinshu Univ), Shin Nakajima (NII) SS2023-28 DC2023-34 |
Although machine learning has been successful in various fields, there is a problem that an adversary can extract traini... [more] | SS2023-28 DC2023-34 pp.38-43 |
| SS, DC | 2023-10-12 11:05 |
Nagano | (Primary: On-site, Secondary: Online) |
Consistency checking of bidirectional transformations corresponding to selection and projection operations under functional dependencies Jun Ishida, Sota Sakai, Yasunori Ishihara (Nanzan University) SS2023-29 DC2023-35 |
A bidirectional transformation framework called BIRDS for relational data sharing can check whether every pair of source... [more] | SS2023-29 DC2023-35 pp.44-49 |
| SS, DC | 2023-10-12 11:30 |
Nagano | (Primary: On-site, Secondary: Online) |
SS2023-30 DC2023-36 |
(To be available after the conference date) [more] | SS2023-30 DC2023-36 pp.50-55 |
[Return to Top Page]