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 - 6 of 6  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
SS, KBSE, IPSJ-SE [detail] 2023-07-20
14:00		 Hokkaido
(Primary: On-site, Secondary: Online)		 Design of a Software Architecture for Risk Assessment Systems Using Machine Learning
Tomoya Kachi, Tensho Iimori, Masami Noro, Atsushi Sawada, Han-Myung Chang (Nanzan Univ.) SS2023-1 KBSE2023-12		  [more] SS2023-1 KBSE2023-12
pp.1-6
SS, IPSJ-SE 2012-11-01
13:15		 Hiroshima Hiroshima City University Application of formal methods to network behavior dependent systems
Nobuaki Yoshida (ASTEM), Han-Myung Chang, Atsushi Sawada (Nanzan Univ.), Yukihiro Nakamura (ASTEM) SS2012-39		 In this paper, we study application of formal methods to“mobile systems”, which consist of wireless devices distributed ... [more] SS2012-39
pp.35-40
SS, IPSJ-SE 2012-11-01
13:40		 Hiroshima Hiroshima City University A discussion of fault patterns for concurrent systems
Han-Myung Chang, Masami Noro, Atsushi Sawada, Atsushi Yoshida, Yoshinari Hachisu, Reishi Yokomori (Nanzan Univ.) SS2012-40		 In model checking, when a model checker fails to verify deadlock free, or some safety property or liveness property, its... [more] SS2012-40
pp.41-46
SS 2011-10-28
10:30		 Ishikawa JAIST A discussion of inspections based on patterns for CSP descriptions
Han-Myung Chang, Masami Noro, Atsushi Sawada, Atsushi Yoshida, Yoshinari Hachisu, Reishi Yokomori (Nanzan Univ.) SS2011-35		 In model checking, when a model checker fails to verify deadlock free, or some safety property or liveness property, its... [more] SS2011-35
pp.49-54
SS 2010-03-08
10:00		 Kagoshima Kagoshima Univ. A framework for the verification of behavior in E-AoSAS++
Han-Myung Chang, Atsushi Sawada, Masami Noro (Nanzan Univ.) SS2009-64		 One of the most important issues in software design based on aspect oriented software architecture is the verification o... [more] SS2009-64
pp.97-102
SS 2010-03-08
16:30		 Kagoshima Kagoshima Univ. Light-weight XQuery Processor using Lazy Parsing
Yoshinari Hachisu, Masami Noro, Atsushi Sawada, Han-Myung Chang (Nanzan Univ.) SS2009-74		  [more] SS2009-74
pp.157-162
 Results 1 - 6 of 6  /   
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