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 - 5 of 5  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
SS 2020-03-05
(Cancelled but technical report was issued)
An Approach of Deriving Hazard Transition Series by Cooperation of STAMP/STPA and Model Checking
Pan Yang, Kozo Okano, Shinpei Ogata (Shinshu Univ.), Keishi Okamoto (Sendai National College of Tech.) SS2019-56
The demand for research on the hazard analysis of information systems and the construction of countermeasures have been ... [more] SS2019-56
SS 2018-03-06
Okinawa   Model Checking Application to the Railway Crossing Problem for STAMP/STPA using Timed Automaton
Kozo Okano, Shinpei Ogata, Pan Yang (Shinshu Univ.), Keishi Okamoto (Sendai National College of Tech.) SS2017-64
Recent rapid growth of information systems makes us
pay attention to methods for analysis of accident causation
and pr... [more]
KBSE 2015-10-30
Tokyo Nihon Univ. (Surugadai Campus) Toward augmenting accountability of SysML with D-Case
Keishi Okamoto (Sendai Tech.), Yutaka Matsuno (Nihon Univ.), Satoru Yoshida (Tottori Univ. of Environmental Studies) KBSE2015-38
 [more] KBSE2015-38
Hiroshima Hiroshima City Univ. An access control for personal and group information based on user context
Jin Ito, Hideyuki Kobayashi, Keishi Okamoto (SNCT), Masaki Aono (TUT), Kaoru Takahashi (SNCT) IA2012-60
This paper presents an access control for personal and group information based on ontology and user context.
First, an ... [more]
KBSE 2010-11-25
Shizuoka Faculty of Infomatics, Shizuoka Univ. An Experimental Development of a Domain Ontology for Structured Specifications of Information Systems
Takahiro Seino, Keishi Okamoto, Noriaki Izumi, Koiti Hasida (AIST) KBSE2010-34
Each autonomy serves citizens their local tax services in compliance with the Locat Tax Act. Fundamentally, their servi... [more] KBSE2010-34
 Results 1 - 5 of 5  /   
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