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 - 7 of 7  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
MSS, CAS, IPSJ-AL [detail] 2018-11-13
15:40		 Shizuoka   Extension of Frequency Logic for Cooperation Analysis of Diverse Data -- Towards Evaluation of Larger Business Process Based on Frequency Logic --
Osamu Takaki (Gunma Univ.) CAS2018-77 MSS2018-53		 The previous papers [1,2] presented a formal logic called “Frequency Logic” to represent a change in the frequency of an... [more] CAS2018-77 MSS2018-53
pp.131-136
IA, SITE, IPSJ-IOT [detail] 2018-03-06
12:05		 Tochigi Kinugawa Onsen Hotel Evaluation for application of white list based network switches to hospital network systems
Osamu Takaki (Gunma Univ.), Keigo Uchizumi, Ichiroh Suzuta (ALAXALA Networks Corp.), Kota Torikai, Yuichiro Saito (Gunma Univ.), Tetsuya Sato, Hiroki Endo (Carecom Corp.), Yoshifumi Atarashi (ALAXALA Networks Corp.) SITE2017-73 IA2017-84		 It is useful to apply a network switch, which is called a white list switch or WLS, with monitoring and/or filtering fun... [more] SITE2017-73 IA2017-84
pp.193-198
CAS, MSS, IPSJ-AL [detail] 2017-11-16
16:30		 Tokyo   Logic to represent change of event frequency
Osamu Takaki (Gunma Univ.) CAS2017-49 MSS2017-33		 The purpose of this paper is to introduce a temporal logic that consists of a formal language and semantics to represent... [more] CAS2017-49 MSS2017-33
pp.57-62
MSS, SS 2015-01-27
13:35		 Tottori   Towards the Development of a Formal Language for Frequency of Events
Osamu Takaki (Gunma Univ.) MSS2014-87 SS2014-51		  [more] MSS2014-87 SS2014-51
pp.109-114
MSS, CAS 2012-11-02
10:20		 Iwate Iwate University Easily understandable and computable representation method of medical quality indicators
Osamu Takaki (JAIST), Izumi Takeuti, Koichi Takahashi, Noriaki Izumi (AIST), Koichiro Murata (Kitasato Univ.), Mitsuru Ikeda (JAIST), Koiti Hasida (AIST) 		(To be available after the conference date) [more]
KBSE 2008-07-25
11:00		 Hokkaido Hokkaido Information Univ. A Study of Terminology Consistency over Heterogeneous Specifications Based on Ontology
Takahiro Seino, Osamu Takaki, Noriaki Izumi, Koiti Hasida (AIST) KBSE2008-20		 We have implemented a tool to check whether the reference relationship between delivarables is consistent and experience... [more] KBSE2008-20
pp.41-46
SS, KBSE 2007-04-19
15:00		 Fukushima Univ. of Aizu A study of applying formal methods to enterprise architecture of Japanese governmental corporations
Takahiro Seino, Osamu Takaki, Izumi Takeuti, Koichi Takahashi, Noriaki Izumi (AIST) SS2007-2 KBSE2007-2		 AIST has been working on the development of the next-term information system for three years. The system is developed b... [more] SS2007-2 KBSE2007-2
pp.7-12
 Results 1 - 7 of 7  /   
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