プロトコル射影検証手法における縮退検証と信号削除規律

スポンサーリンク

概要

• 論文の詳細を見る
• 電子情報通信学会の論文

著者

• 平川 豊

  電気電子情報工学専攻画像情報処理研究

関連論文

• サービス仕様の自動生成に関する考察
• 設計修正時の思考支援に関する考察
• 思考履歴を利用した設計支援環境の考察
• サービス記述検証支援システム
• 分散システムの記述とプロセス動作
• プロセス数に依存しない動作記述における状態の到達可能性解析
• サービス仕様の自動生成に関する考察 : 自動生成機構の構想
• 4ZE-1 秘密分散法を組み込んだOpenOfficeの評価(システムセキュリティ,一般セッション, セキュリティ,情報処理学会創立50周年記念)
• 2Y-6 PCの利用状況に応じたタスク制御手法の検討(システム運用・管理,学生セッション,ネットワーク)
• プロトコル射影検証手法における縮退検証と信号削除規律
• マッチング機能を利用した通信システム仕様記述手法
• 4ZE-2 個別閾値を用いたオンライン署名照合システム(システムセキュリティ,一般セッション, セキュリティ,情報処理学会創立50周年記念)
• 5R-9 Webにおけるサンプルコード検索支援手法の検討(Webシステム,学生セッション,データベースとメディア,情報処理学会創立50周年記念)
• H-017 個別閾値を用いたオンライン署名認証システム(画像認識・メディア理解,一般論文)
• E-009 Webにおけるサンプルコード検索支援手法の検討(自然言語・音声・音楽,一般論文)

もっと見る 閉じる

スポンサーリンク