スポンサーリンク
東京工業大学数理・計算科学専攻 | 論文
- ポスト・オブジェクト指向技術の応用としての高信頼ソフトウェア(ディペンダブルコンピュータシステム及び一般)
- Software Fault Injectionを用いた開発時テスト支援環境
- 社会基盤としての安全なメールシステム (特集 コンピュータセキュリティ)
- A-7-3 P2P アプリケーションフレームワーク SOBA のセキュリティ機構
- セキュリティポリシーの自動生成 (第6回ネットワークシンポジウム講演論文集)
- ゲートウェイにおけるセキュリティポリシーのエンコード (第5回〔東京工業大学〕ネットワークシンポジウム講演論文集)
- ブラウザのための可視化とナビゲーション支援 (「Webシステムにおける情報獲得支援技術」)
- コード変換によるケイパビリティの静的解消 (第4回ネットワークシンポジウム講演論文集)
- 科学通信(科学の動向)社会基盤としての安全なソフトウェア
- 指示棒の認識を用いたプレゼンテーションシステムの構築
- ニューススレッドからの番組自動生成
- コンパイルタイムリフレクションによるOS拡張の記述
- 言語はやはり道具でしょう, 教養はやはり必要でしょう(インタラクティブ・エッセイ)
- Mochi Sheet:大規模なビジュアルプログラムの効率的編集を支援するズーミングインタフェース(次世代ヒューマンインタフェース・インタラクション)
- 保護ドメイン簡約による分散実行環境の保護
- アプリケーション内メモリ管理の枠組みと分散環境における選択的な保護
- 仮想マシンを用いたIDSオフロードにおけるCPU資源管理
- 仮想マシンを用いたIDSオフロードにおけるCPU資源管理
- A Polyhedral Approach for Nonconvex Quadratic Programming Problems with Box Constraints
- 箱制約非凸2次計画問題に対する多面体アプローチ(非線形計画法(2))