スポンサーリンク
国立情報学研究所|総合研究大学院大学 | 論文
- テキスト認識エラーモデルによる引用文献文字列からの書誌要素の抽出(画像認識,コンピュータビジョン)
- BS-8-3 UPKIプロジェクトにおけるオープンドメインサーバ証明書発行・導入(BS-8. セキュア、スケーラブルでサステイナブルなキャンパス情報システム,シンポジウムセッション)
- BS-8-2 UPKI共通仕様(アウトソースモデル)の提案(BS-8. セキュア、スケーラブルでサステイナブルなキャンパス情報システム,シンポジウムセッション)
- BK-3-3 ポストICT社会の未来ビジョン(BK-3.インターネットの経済学-コスト負担と中立性の課題と対策-,ソサイエティ特別企画,ソサイエティ企画)
- BK-3-3 ポストICT社会の未来ビジョン(BK-3.インターネットの経済学-コスト負担と中立性の課題と対策-,ソサイエティ特別企画,ソサイエティ企画)
- ブローカ仲介モデルによるC2B2C権利交換プロトコルと権利流通システムの設計
- 仕様記述言語Zと証明環境Isabelle/HOL-Z(ソフトウェア紹介,先端ソフトウェアツール)
- Webサービスにおける安全性とセキュリティの解析
- リファクタリングの正しさのESC/Java2による形式検証
- 非構造Peer-to-Peerシステム上でのピアの有用性に基づいた問い合わせ処理(P2P)(夏のデータベースワークショップDBWS2004)
- 非構造Peer-to-Peerシステム上でのピアの有用性に基づいた問い合わせ処理(セッション10B : P2P)(夏のデータベースワークショップ : DBWS2004)
- Peer-to-Peerシステム上での効率的なデータ配置による問合せ処理とロードバランスへの寄与(情報融合)
- peer-to-peerシステム上での評価の高いpeerの発見
- 芸術家の技術保存用ビデオデータベースの構築・公開・研究計画
- 教育学部学生の情報リテラシー教育の最適化に関する研究(III) : コンピュータ・リテラシー・テストによる効果の評価
- 情報家電の考え方(家庭の情報化)
- 形式手法の潮流 : アーキテクチャへの関心(システム設計のための形式手法の基礎と応用)
- 制約概念を用いるソフトウェアデザイン
- Alloy : 自動解析可能なモデル規範形式仕様言語
- 国際会議SAINTの運営-SAINT 2011の開催に向けて-