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  (All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 19 of 19  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
SS, MSS 2020-01-14
Hiroshima   Dynamic Leakage Analysis Based on Model Counting and Its Evaluation
Daichi Fukuda, Hiroyuki Seki (Nagoya Univ.) MSS2019-49 SS2019-33
We propose a method of analyzing dynamic information leakage of a given program that has a secret input, a public output... [more] MSS2019-49 SS2019-33
SWIM, SC 2019-08-23
Osaka Osaka Sangyo Univ. Research status of business model modeling language and future issues -- Thesis introduction of "Visual Languages for Modeling Business Models: A Critical Review and Future Research Directions" --
Nobuhiro Kataoka (Lab.) SWIM2019-14 SC2019-14
This paper is an introduction to "Visual Languages for Modeling Business Models: A Critical Review and Future Research D... [more] SWIM2019-14 SC2019-14
R 2018-05-25
Aichi Aichi Institute of Technology, Motoyama Campus Bayesian Interval Estimation of Optimal Software Release Time Based on a Discretized NHPP Model
Shinji Inoue (Kansai Univ.), Shigeru Yamada (Tottori Univ.) R2018-4
We discuss an approach for obtaining interval estimation of optimal software release time which is derived by a discreti... [more] R2018-4
SS 2017-03-09
Okinawa   Logical Formula Simplification and Static Analysis for Quantitative Information Flow Analysis using Model Counting
Masato Nakashima, Kenji Hashimoto, Masahiko Sakai, Hiroyuki Seki (Nagoya Univ.) SS2016-61
Model counting is one of the promising methods for quantitative information flow analysis. In this paper, we focus on th... [more] SS2016-61
Yamaguchi Shimonoseki Chember of Commerce and Industry A Study of Computing Resource Allocation Based on Model Predictive Control for Business-Critical Systems in Hybrid Cloud Environment
Yukio Ogawa (Muroran IT), Go Hasegawa, Masayuki Murata (Osaka Univ.) NS2016-101
In this report, business-critical application systems are constructed from computing resources provided by both private ... [more] NS2016-101
DC, SS 2016-10-27
Shiga Hikone Kinro-Fukushi Kaikan Bldg. Efficiency Improvement in #SMT-based Quantitative Information Flow Analysis
Masato Nakashima, Trung Chu Bao, Kenji Hashimoto, Masahiko Sakai, Hiroyuki Seki (Nagoya Univ.) SS2016-26 DC2016-28
Model counting is one of the promising methods for quantitative information flow analysis. In this paper, we focus on th... [more] SS2016-26 DC2016-28
MBE 2016-07-30
Okayama Okayama University Development of a management system for ventilators
Takayuki Torigoe, Hisashi Miyazaki (Kawasaki Univ. of Medical Welfare), Saya Danjo (Rakuwakai Healthcare System Otowa Hosp.), Isao Kayano (Kawasaki Univ. of Medical Welfare), Yasuo Ogasawara (Kawasaki Med. Sch./Kawasaki Univ. of Medical Welfare) MBE2016-18
A ventilator is one of the life-support devices that are centrally managed in hospitals. Maintenance and checking of ve... [more] MBE2016-18
SS, MSS 2016-01-25
Ishikawa Shiinoki-Geihin-Kan A Verification Tool for k-Secrecy of XML Databases and Its Optimization
Takatoshi Asai, Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.) MSS2015-43 SS2015-52
An inference attack is a malicious way to obtain the result of an unauthorized query
by combining the database schema,... [more]
MSS2015-43 SS2015-52
SS 2015-05-12
Kumamoto Kumamoto University A Verification Method for k-Secrecy of XML Databases by Model Counting
Takatoshi Asai, Masanori Uesugi, Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.) SS2015-15
An inference attack is a malicious way to obtain the result of an unauthorized query
by combining the database schema,... [more]
R 2014-05-23
Aichi   On Change-Point Modeling for Software Reliability Assessment with the Truncated Distribution of Initial Fault Content
Shinji Inoue, Shigeru Yamada (Tottori Univ.) R2014-7
We discuss change-point modeling for software reliability assessment with the change of testing-environment. Especially,... [more] R2014-7
SS, MSS 2014-01-31
Aichi   Runtime Control of a Program based on Quantitative Information Flow
Bao Trung Chu (NAIST), Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.) MSS2013-63 SS2013-60
Quantitative information flow is a new notion based on
information theory for expressing how much the program
leaks in... [more]
MSS2013-63 SS2013-60
Tokyo Tamagawa University An analysis of whole body reaching movements based on minimum torque-change criterion
Kyuheong Choi, Takahiro Kagawa, Yoji Uno (Nagoya Univ.) NC2012-165
Optimal control models, e.g., minimum torque-change model and minimum jerk model, has been proposed for accounting for s... [more] NC2012-165
SP 2013-02-28
Aichi Daido University [Poster Presentation] An n-gram Language Model based on BPD Backoff Method and W-B Discount
Shotaro Yoshida, Takeshi Kawabata (Kwansei Gakuin Univ.) SP2012-118
A new n-gram language model is proposed for the large vocabulary continuous speech recognition system. Two approaches ar... [more] SP2012-118
MWP, OPE, MW, EMT, EST, IEE-EMT [detail] 2012-07-26
Hokkaido Hokkaido Univ. BER Calculation Modeling for 10G-EPON Systems
Namiko Ikeda, Kazuhiko Terada, Hiroyuki Uzawa, Akihiko Miyazaki, Satoshi Shigematsu, Masami Urano, Tsugumichi Shibata (NTT) MW2012-31 OPE2012-24 EST2012-13 MWP2012-12
In 10G-EPON systems, the high speed access networks in the next generation, the upper limits of the bit error rate (BER)... [more] MW2012-31 OPE2012-24 EST2012-13 MWP2012-12
EMCJ 2011-11-25
Tokyo Univ. of Electro-Communiations Estimation method of measured reflectivity of EM-wave absorbing building wall panel accounting for edge diffraction
Toshihiro Yamane (Tokyo Institute of Tech./Shimziu), Atsuhiro Nishikata (Tokyo Institute of Tech.) EMCJ2011-88
A wide band electromagnetic wave absorber panel for building walls has been developed to meet the public demand to circu... [more] EMCJ2011-88
MBE 2010-01-28
Kumamoto Kumamoto Univ. A CMOS circuit model accounting for the object motion sensitive response in vertebrate retinas
Hidetaka Yasuoka, Murat Saglam, Yuki Hayashida, Nobuki Murayama (Kumamoto Univ.) MBE2009-87
Visual information processing in vertebrate animals starts in retinas. In recent electrophysiological studies, it has be... [more] MBE2009-87
R 2006-07-14
Hokkaido Wakkanai-shi-Sougou-Bunka-Kaikan On software reliability modeling with complexity of path searching
Shinji Inoue, Shigeru Yamada (Tottori Univ.)
In this paper, we discuss software reliability modeling framework based on infinite server queueing theory, which takes ... [more] R2006-25
R 2006-05-26
Tokushima University of Tokushima Software Reliability Modeling Based on A Discrete Weibull-Type Failure-Occurrence Times Distribution
Shinji Inoue, Shigeru Yamada (Tottori Univ.)
Unified modeling frameworks for software reliability growth models (SRGM's) are known as the frameworks for treating exi... [more] R2006-8
R 2005-05-27
Hyogo Kobe Gakuin Univ. Parameter Estimation for Trend-Curve-Based Software Reliability Models
Hiroyuki Okamura, Hitoshi Furumura, Tadashi Dohi (Hiroshima Univ.)
The regression model is one of the well-known methods to predict the cumulative number of faults detected in software de... [more] R2005-13
 Results 1 - 19 of 19  /   
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