スポンサーリンク
国立情報学研究所|総合研究大学院大学 | 論文
- 制約オートマトンを用いたソフトウェア・デザインの記述法
- 制約オートマトンに関するモデル検査法の実験
- UMLステートダイアグラムの亜種を用いた組み込みソフトウェア振舞い解析(分析・設計技法)
- プライオリティ概念のあるステートダイアグラムのモデル検査
- 状態遷移システムを用いたデザインのモデル検査
- 3 組み込みソフトウェアのモデル検査技術入門(組み込みソフトウェア開発技術)
- Webサービスにおける安全性とセキュリティの解析
- 地上デジタル放送における新たなデジタル・ディバイドの可能性(プライバシー関連,一般)
- BK-1-3 広帯域ネットワークを用いた大学間授業コラボレーションの実践(BK-1. JGN2の研究開発成果と次世代インターネットへの展開,ソサイエティ特別企画,ソサイエティ企画)
- 孤立者検出のための立食形式パーティー映像のハンドアノテーション分析
- エラー検出・再送機能を備えた低消費電力オンチップルータの設計
- 画像化主義に基づく文献資料研究用ツールSMART-GSとその発展
- 説得性に基づく情報推薦手法の提案:送り手の属性に着目したモデルと検証
- UPKI証明書自動発行検証プロジェクトのシステム移行における課題と対策(認証技術,インターネットと情報倫理教育,一般)
- ユーザ調査に基づく Web サイト信頼性評価モデルの検討
- 記憶の想起と記録のためのライフログ・ブログ連携型支援手法の提案
- レイヤ1帯域オンデマンドサービスシステムの開発(ネットワーク,システム開発・ソフトウェア開発論文)
- ワイヤレス3-D NoCのための通信プロトコルの検討
- 孤立者検出のための立食形式パーティー映像のハンドアノテーション分析
- CMPにおけるオンチップルータの細粒度パワーゲーティングの評価