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 - 4 of 4  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
ICM 2013-03-15
15:40		 Kagoshima Yakushima Environmental Culture Village Center Method of pre-cheking on runtime environment for automated IT system operation procedure
Masashi Kunii, Daisuke Iizuka (Hitachi) ICM2012-78		 RBA technology has begun to spread in IT operational management. It makes operation time short and prevents operation mi... [more] ICM2012-78
pp.113-118
KBSE, SS 2011-07-30
11:15		 Hokkaido Hokkaido Information University On Generating Realtime Programs with Runtime Checking -- From Timed Automata to Realtime Programs on Non-Realtime Environments --
Ilankaikone Senthooran, Julian Prokay, Takuo Watanabe (Tokyo Inst. of Tech.) SS2011-25 KBSE2011-22		 We propose a method of generating realtime programs from verified models. The primary goal of this work is to provide an... [more] SS2011-25 KBSE2011-22
pp.75-80
MSS, CAS 2009-11-26
11:35		 Aichi Nagoya University Advanced Technologies for Dependable Systems through Product Lifecycle by Managing Gaps among their Specification, Implementation, and Environment.
Naoshi Uchihira (Toshiba) CAS2009-46 CST2009-19		 Increasingly large, complex, open, and cooperative products and systems requires new approaches to establish high depend... [more] CAS2009-46 CST2009-19
pp.7-12
NS, IN 2005-03-04
15:00		 Okinawa Okinawa Zanpa-misaki Royal Runtime Feature Interaction Detection and Resolution in Integrated Services of Networked Home Appliances
Hiroshi Igaki, Masahide Nakamura, Ken-ichi Ishii, Youhei Kushido, Ken-ichi Matsumoto (NAIST) 		The HNS integrated service is to orchestrate multiple networked appliances to add values of user's life.
When multiple ... [more]		 NS2004-320 IN2004-320
pp.373-378
 Results 1 - 4 of 4  /   
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