スポンサーリンク
国立情報学研究所|総合研究大学院大学 | 論文
- 言い換え箇所と言い換え候補の提示による解説文リライト支援の書き手の評価実験(言い換え・略語・要約)
- メディア技術と社会 : 情報循環システムの提案
- 〈「ディジタル図書館」ワークショップ第37回 発表論文〉 シボレスシステムを用いた属性連携基盤の開発 （筑波大学東京キャンパス（秋葉原地区）. 2009年11月19日）
- Office Open XML に対する長期署名の付与
- Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
- RBACモデルの形式検証と修正支援(形式手法(1)・言語(学生セッション))
- AOPによるWebアプリケーションの要求監視
- プロジェクト紹介 : 高信頼組込み用オブジェクト指向設計技術(組込み・アスペクト指向)
- 2-B-19 画像入力型簡易栄養計算システムを用いたビタミン栄養指導への活用(第57回大会一般研究発表)(第57回大会研究発表要旨)
- 2-III-22Ipv6技術を用いた画像入力型栄養計算簡易システムの開発(第55回大会一般研究発表)
- 代数仕様言語Maudeを用いた制約オートマトンの実現(形式的手法)
- 情報循環システムとソーシャルウェア (小特集 インターネットの経済学--コスト負担と中立性の課題と対策)
- SIPにおける既存のシステムからの移行に対応したドメイン移動適応型発信者特定手法(SIP,ネットワーク制御,QoS,ルーティング,マルチキャスト及び一般)
- パケットストリーム処理における正規表現選択演算を含む問合せ最適化(コンピュータシステム技術2,組込み技術とネットワークに関するワークショップ ETNET2010)
- パケットデータ管理基盤における情報抽出処理の効率化技法(コンピュータシステム技術2,組込み技術とネットワークに関するワークショップ ETNET2010)
- UPKI証明書自動発行検証プロジェクトのシステム移行における課題と対策(認証技術,インターネットと情報倫理教育,一般)
- UPKIサーバ証明書プロジェクトにおける証明書自動発行支援システムの開発(認証技術,インターネットと情報倫理教育,一般)
- プレプリントへの長期署名付与および検証システムの構築
- Cプログラム・モデル検査におけるDbC(一般セッション2:モデル検査とコデザイン)
- リアルタイム・コンポーネント向けの程良い形式手法
スポンサーリンク