IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 11 of 11  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
SS, IPSJ-SE, KBSE [detail] 2022-07-29
16:50
Hokkaido Hokkaido-Jichiro-Kaikan (Sapporo)
(Primary: On-site, Secondary: Online)
A Tentative Method to Automatically Generate Logs for Analyzing Relations between Configurations and Logs for Docker-based Web Application
Hiroki Kasai (Shinshu Univ.), Satoshi Yazawa (VR), Shinpei Ogata, Kozo Okano (Shinshu Univ.) SS2022-17 KBSE2022-27
 [more] SS2022-17 KBSE2022-27
pp.97-102
KBSE 2021-03-05
13:35
Online Online A Method to Visualize Log Files for Analyzing Unexpected Behavior of Web Applications
Hiroki Kasai (Shinshu Univ), Satoshi Yazawa (VR), Shinpei Ogata, Kozo Okano (Shinshu Univ) KBSE2020-35
In order for developers and maintainers to understand the situation in which their Web applications behaved unexpectedly... [more] KBSE2020-35
pp.7-12
KBSE, SC 2020-11-13
15:20
Online Online + Kikai-Shinko-Kaikan Bldg.
(Primary: Online, Secondary: On-site)
[Poster Presentation] Towards Visualization of Debug Logs to Analyze Unexpected Behavior of Web Services
Hiroki Kasai (Shinshu Univ), Satoshi Yazawa (VR), Shinpei Ogata, Kozo Okano (Shinshu Univ) KBSE2020-21 SC2020-25
When an unexpected behavior is confirmed on the Web service, the administrator tries to obtain clues to the cause of the... [more] KBSE2020-21 SC2020-25
p.39
KBSE 2020-09-18
13:30
Online Online Exploitation Patterns and systematization of issues for Machine Learning Systems
Satoshi Okuda (JAIST), Norihiko Ishitani (Weathernews), Toshiki Mori, Gaku Nemoto (JAIST), Kazuhiko Nishimura (VoiceResearch), Naoshi Uchihira (JAIST) KBSE2020-4
The rapid increase in the development of machine learning systems in companies today presents new challenges that have n... [more] KBSE2020-4
pp.19-24
DE, IPSJ-DBS, IPSJ-IFAT 2019-09-10
13:25
Tokyo Kogakuin University An Experiment of Laughter for Cancer Patients using Manzai Robots.
Kazuki Yane, Kazuki Haraguchi (Konan Univ.), Akira Sato (OICI), Eiji Aramaki (NAIST), Isao Miyashiro (OICI), Akiyo Nadamoto (Konan Univ.) DE2019-20
(To be available after the conference date) [more] DE2019-20
pp.29-34
NLC 2016-02-05
15:25
Kyoto Campus Plaza Kyoto Understandable Demonstration of Text Mining Using the Next Generation Text Minig
Yoshihiro Mori (MyVoice Com. Inc.) NLC2015-53
(Advance abstract in Japanese is available) [more] NLC2015-53
pp.53-57
KBSE 2015-03-06
15:25
Tokyo The University of Electro-Communications Verifying Source Code with a Use Case Model using Model Checking -- A Case of an ASP.NET Application --
Yoshitaka Aoki, Shinpei Ogata (Shinshu Univ.), Satoshi Yazawa (VR), Saeko Matsuura (SIT) KBSE2014-64
Model checking is an effective technique in order to verify the behavior of the system. We have proposed a method to fin... [more] KBSE2014-64
pp.71-76
HCS 2015-01-30
17:00
Kagawa Bay Resort Hotel Shodoshima (Shodoshima, Kagaewa Pref.) [Poster Presentation] Comparison of Japanese and Australian adults in theory of mind -- Investigating the use of subject and mental state language --
Kaoru Toyama (OIC), Kana Imuta, Virginia Slaughter (UQ), Michiteru Kitazaki (TUT), Shoji Itakura (kyoto-u) HCS2014-91
The abundance of research on theory-of-mind development in young children has led to several meta-analyses on this topic... [more] HCS2014-91
pp.103-107
KBSE 2015-01-26
14:40
Tokyo Kikai-Shinko-Kaikan Bldg. An Investigation of a Reverse Engineering Method for Verifying Source Code with a Use Case Model -- A Case of an ASP.NET Application --
Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (SIT), Satoshi Yazawa (VR), Saeko Matsuura (SIT) KBSE2014-42
Traceability between a requirements specification and source code should be kept but it’s difficult. Verifying that the ... [more] KBSE2014-42
pp.19-24
KBSE 2012-11-23
15:05
Ishikawa Kanazawa University An Automatic Use of Model Checking Tool for Validating Data Lifecycle
Shinpei Ogata (Shinshu Univ.), Satoshi Yazawa, Kazuhiko Nishimura (VR), Yoshitaka Aoki, Hirotaka Okuda, Saeko Matsuura (SIT) KBSE2012-56
Model checking techniques are a promised technique to detect errors in a specification efficiently and exhaustively. How... [more] KBSE2012-56
pp.109-114
SWIM 2009-09-11
16:45
Tokyo   Business application framework software using the Daifukucho type transaction database -- Product name:DE (Data Explorer) --
Masahiro Higuchi (HIROICT ICT Lab.), Nobuhiro Ooe, Ayao Katou, Shouken Nakahara (Melcotechno Yokohama Corp.) SWIM2009-10
DE(Data Explorer) is the framework that included the basic function that is necessary for the construction of the busine... [more] SWIM2009-10
pp.29-36
 Results 1 - 11 of 11  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan