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 #
NLP 2015-07-21
15:45
Hokkaido Bibai Onsen Yu-rinkan Wave Packet Propagation on an Array of Switches
Atsushi Setsuie, Hisato Fujisaka, Takeshi Kamio (Hiroshima City Univ.) NLP2015-72
This paper presents a simple microscopic model of defective conductors. The model consists of particles, particle guides... [more] NLP2015-72
pp.27-30
CQ, NS, ICM
(Joint)
2006-11-16
14:10
Tottori Tottori Univ. of Environmental Studies The proposal of Hybrid IP traceback system against DDoS attack
Hironori Yanai, Hidenori Nakazato, Hideyoshi Tominaga (Waseda Univ) NS2006-126 CQ2006-67 TM2006-40
IP Traceback technique is an important countermeasure for DDoS attack. Many IP traceback techniques
have been proposed.... [more]
NS2006-126 CQ2006-67 TM2006-40
pp.19-24(NS), pp.49-54(CQ), pp.19-24(TM)
MSS 2006-06-01
15:05
Ishikawa Ishikawa Science Park Reachability analysis of probabilistic linear hybrid automaton based on predicate abstraction and its refinement
Takaaki Kato (Kanazawa Univ.), Yosuke Mutsuda (NEC), Satoshi Yamane (Kanazawa Univ.)
As ubiquitous computing has progressed, systems are embedded in widespread environments. Then it is important to guarant... [more] CST2006-4
pp.19-24
MSS, CAS 2005-11-10
13:50
Yamaguchi Yamaguchi University Design Method of Embedded Systems Based on Probabilistic Timed Interface Theoeries
Satoshi Yamane, Tsuneo Arai (Kanazawa Univ.)
Embedded systems, from control systems to home information appliances,
are increasingly deployed in safety-critical si... [more]
CAS2005-54 CST2005-23
pp.29-34
MSS, CAS 2004-11-04
09:55
Aichi Aichi Pref. Univ. Symbolic reachability analysis method of probabilistic linear hybrid automata
Yosuke Mutsuda, Satoshi Yamane (Kanazawa Univ.)
We can model embedded systems as hybrid systems.
Moreover, they are distributed and real-time systems.
For the purpose... [more]
CAS2004-43 CST2004-22
pp.7-12
 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