|
|
All Technical Committee Conferences (Searched in: All Years)
|
|
Search Results: Conference Papers |
Conference Papers (Available on Advance Programs) (Sort by: Date Descending) |
|
Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
KBSE |
2024-03-14 16:20 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Automated Stepwise Policy Design for Stepwise Discrete Controller Synthesis Takuto Yamauchi (Waseda Univ.), Kenji Tei (Tokyo Tech.), Shinichi Honiden (Waseda Univ.) KBSE2023-77 |
Discrete Controller Synthesis (DCS) automatically synthesizes a safety-guaranteed behavioral specification for a given o... [more] |
KBSE2023-77 pp.73-75 |
COMP |
2004-12-10 16:00 |
Chiba |
Toho University |
Constructions of Cluttered Orderings for the Complete Bipartite Graph to speed up RAID Tomoko Adachi (Toho Univ.) |
The desire to speed up secondary storage systems has lead to the development of redundant arrays of independent disks (R... [more] |
COMP2004-59 pp.37-44 |
ISEC |
2004-09-17 13:00 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Study of Security Protocol Analyzer Considering Provable Security Shinsaku Kiyomoto, Haruki Ota, Toshiaki Tanaka (KDDI Labs.) |
In this paper, we design
a security protocol analyzer to verify cryptographic security protocols. Our analyzer checks ... [more] |
ISEC2004-67 pp.1-8 |
COMP |
2004-06-25 11:05 |
Kanagawa |
NTT CSLab Atsugi |
Constant Time Generation of Set Partitions Shin-ichiro Kawano, Shin-ichi Nakano (Gunma Univ.) |
In this paper we give a simple algorithm to generate all partitions of {1,2,...,n} into $k$ non-empty subsets. The numbe... [more] |
COMP2004-19 pp.5-10 |
|
|
|
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]
|