| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| KBSE | 2024-03-14 16:20 |
沖縄 | 沖縄県総合福祉センター （ハイブリッド開催，主：現地開催，副：オンライン開催） |
段階的離散制御器合成におけるStepwise Policy設計の自動化 ○山内拓人（早大）・鄭 顕志（東工大）・本位田真一（早大）  KBSE2023-77 |
想定される動作環境下において安全性が保証された動作仕様を自動合成する技術として，離散制御器合成に関する研究が進められてき... [more] | KBSE2023-77 pp.73-75 |
| COMP | 2004-12-10 16:00 |
千葉 | 東邦大学 | 効率的なRAIDのアクセス順序決定のための完全二部グラフのcluttered orderingの構成法 ○足立智子（東邦大） |
RAIDとは，ディスクの読み込み・書き込みを複数のディスクで並列に行うことにより，処理速度と安全性を高める技術である．プ... [more] | COMP2004-59 pp.37-44 |
| ISEC | 2004-09-17 13:00 |
東京 | 機械振興会館 | 証明可能安全性を考慮したセキュリティプロトコル検証ツールの検討 ○清本晋作・太田陽基・田中俊昭（KDDI研） |
本論文では, 認証及び鍵共有プロトコルの安全性を検証するセキュリティプロトコル検証ツールについて述べる. 本ツールの特徴... [more] | ISEC2004-67 pp.1-8 |
| COMP | 2004-06-25 11:05 |
神奈川 | ＮＴＴ・ＣＳ研・厚木 | Constant Time Generation of Set Partitions ○Shin-ichiro Kawano・Shin-ichi Nakano（Gunma Univ.） |
本文では, 集合{1,2,...,n}のk個の空でない部分集合への分割を全て生成する簡潔なアルゴリズムを与える. このよ... [more] | COMP2004-19 pp.5-10 |
[研究会発表申込システムのトップページに戻る]