| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| SWIM | 2011-11-18 16:25 |
東京 | 東海大学 高輪キャンパス | UMLステートマシン-アクティビティ図間の整合性分析 ○野村将人・新川芳行（龍谷大）  SWIM2011-29 |
UMLアクティビティ図は複数のオブジェクト間の相互作用を含むプロセスの進行を体系的に記述する。一方、UMLステートマシン... [more] | SWIM2011-29 pp.65-70 |
| MSS | 2009-06-04 15:15 |
大阪 | 摂南大学大阪センター | 色つき量子ペトリネットによる量チューリング機械のモデル化と解析 ○伊藤慎祐・太田 淳・辻 孝吉（愛知県立大） CST2009-10 |
量子コンピュータは素因数分解などの発見から，現在のコンピュータよりも高速な処理が期待されている．一方で，コンカレントシス... [more] | CST2009-10 pp.53-58 |
| SS | 2005-12-19 14:30 |
高知 | 高知女子大 | 暗号プロトコル記述からカラーペトリネットへの変換による機密性検証 ○奥谷大介・坂部俊樹・酒井正彦・草刈圭一朗・西田直樹（名大） |
カラーペトリネット（CPN）の可達性判定は決定可能であるので，暗号プロト コルの安全性をカラーペトリネットの可達性判定... [more] |
SS2005-58 pp.19-24 |
[研究会発表申込システムのトップページに戻る]