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 #
IN, NS, CS
(Joint)		 2012-09-20
09:30		 Miyagi Tohoku Univ. Research Institute of Electrical Communication 2gokan Green-PEPPERS: Proposal of Green-oriented Person Exploration Peer-to-Peer Emergency Response System
Kenta Sato, Takanobu Endo, Tomu Sugahara, Satoshi Utsumi, Yasunari Mimura, Yasushi Kato (Tsuruoka NCT), Salahuddin Muhammad Salim Zabir (France Telecom), Takuo Suganuma (Tohoku Univ.), Yoshitaka Shibata (Iwate Prefectural Univ.), Norio Shiratori (Tohoku Univ.) NS2012-52		  [more] NS2012-52
pp.7-11
SS 2007-02-02
10:35		 Aichi Aichi Prefectural Univ. Design and Implementation of an Ontology-based Health Support System
Satoru Izumi, Dai Kuriyama, Yutaro Miura, Naofumi Yasuda, Ryo Yotsukura, Yasushi Kato, Kaoru Takahashi (SNCT) 		Nowadays, people afflicted with lifestyle-related diseases such as hypertension and obesity are increasing, and the ways... [more] SS2006-82
pp.19-24
SWIM 2006-05-30
13:15		 Tokyo   Domain Ontology on Health and Inference Rules derinving Health Advices
Atsushi Togashi (Miyagi Univ.), Satoru Izumi (SNCT), Hiroyuki Aoki, Junya Yumoto (Miyagi Univ.), Goich Itabashi (SFAIS), Kaoru Takahashi, Yasushi Kato (SNCT), Shoich Noguchi (SFAIS) 		 [more] SWIM2006-4
pp.19-24
ET 2004-12-18
09:00		 Oita   An Ontology-based e-learning system for cryptography
Yoshihito Takahashi, Tomomi Abiko, Eriko Negishi (SNCT), Goichi Itabashi (Tohoku Univ.), Yasushi Kato, Kaoru Takahashi (SNCT) 		Effective information services could be provided for users by investing meta-data in information sources and making soft... [more] ET2004-73
pp.1-6
SS 2004-11-25
13:00		 Yamanashi Univ. of Yamanashi, Kofu(Takeda) Campus Specification and Verification of Digital Logic based on Automaton Model
Kazuhiro Yamanaka, Satoru Izumi, Yasushi Kato, Kaoru Takahashi (SNCT) 		As application of formal methods, there have been researches for specification of digital logic, based on E-LOTOS and SD... [more] SS2004-26
pp.1-6
SS 2004-08-02
16:15		 Hokkaido Future University Hakodate Specification of a Security Protocol based on a State Machine Model
Goichi Itabashi (Tohoku Univ.), Kaoru Takahashi, Yasushi Kato (SNCT), Takuo Suganuma, Norio Shiratori (Tohoku Univ.) 		Formal methods such as the spi calculus have been proposed in order to validate security protocols. In this paper, we pr... [more] SS2004-12
pp.37-39
 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