スポンサーリンク
国立情報学研究所|総合研究大学院大学 | 論文
- 有界モデル検査法を用いたCプログラムのモジュラー検証
- 5. 送信者認証・課金(2. 技術的側面から見たspamメール対策, spamメールの現状と対策の動向)
- アプリケーションゲートウエイにおける処理オフロードの実現
- FODAフィーチャー・ダイアグラムの形式化と検査の自動化
- サービス指向ルータ上の分散ストリーム処理エンジンにおけるノード間通信機構の検討(ルーティング)
- 有界モデル検査法を用いたモジュラー検証のテストケース生成による補完
- サービス指向ルータ上の分散ストリーム処理エンジンにおける適応的通信の検討(トラヒック計測・制御,ポリシー管理,ネットワーク異常検知,信頼性,認証,ID/名前空間,ネットワークセキュリティ,プライバシー,VPN,DDoS及び一般)
- プログラム簡易検証ツールESC/Java2(ソフトウェア紹介,先端ソフトウェアツール)
- 先端ソフトウェアツール小特集(先端ソフトウェアツール)
- モデル検査法のソフトウェアデザイン検証への応用(新しいソフトウェアの実現,サイバー増大号)
- ソフトウェアモデル検査とテストケース生成の統合
- 有限Alloy記述の段階的な構築について
- エラー訂正・検出符号を用いたNetwork-on-Chipの低消費電力化 (コンピューティングシステム Vol.4 No.4)
- DNS問合せの応答に基づくspamメール判別システムの設計と実装
- DNS問合せの応答に基づくspamメール判別システムの設計と実装
- ランダムなネットワークトポロジのためのラック配置最適化 (コンピュータシステム・2012年並列/分散/協調処理に関する『鳥取』サマー・ワークショップ(SWoPP鳥取2012))
- 学術機関のためのサーバ証明書発行フレームワーク(ネットワーク管理・オペレーション,若手研究者のためのフロンティア論文)
- 多電源可変パイプラインルータにおける電源ドメインサイズの解析(ネットワーク応用,FPGA応用及び一般)
- 多電源可変パイプラインルータにおける電源ドメインサイズの解析(ネットワーク応用,FPGA応用及び一般)
- 多電源可変パイプラインルータにおける電源ドメインサイズの解析(ネットワーク応用,FPGA応用及び一般)
スポンサーリンク