特集「ソフトウェア論文」の編集にあたって
スポンサーリンク
概要
著者
関連論文
-
特集「インタラクティブシステムとソフトウェア」の編集にあたって
-
SATによるシステム検証(最近のSAT技術の発展)
-
制約最適化問題とSAT符号化(最近のSAT技術の発展)
-
SATによるシステム検証
-
見える障害を見えなくする・見えない障害を見えるようにする(ネットワーク環境でのディペンダビリティ)
-
準パススルー型仮想マシンモニタBitVisorの設計と実装(OS-4:仮想化,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
-
レイヤ7の文脈を利用したインターネットサーバ向けサンドボックス
-
なぜソフトウェア論文を書くのは難しい(と感じる)のか
-
特集「ソフトウェア論文」の編集にあたって
-
特集「ソフトウェア論文」の編集にあたって(ソフトウェア論文)
-
線形論理型言語コンパイラ処理系を用いた古典命題線形論理の定理証明システム
-
SATソルバの並列実行に関する一考察(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論)
-
グリッド環境におけるVM上でのジョブ実行の検討(グリッド基盤システム)
-
TCP ストリームに対するフィルタリングによるインターネット・サーバの安全性向上(インターネット・サーバ)
-
OSDI 2004
-
細粒度保護ドメインを用いたsetuidプログラムの特権コード最小化
-
細粒度保護ドメインによる軽量サンドボックスの実現
-
実行可能コンテンツの安全な実行環境(システムソフトウェアの新しい潮流)
-
ヘルパアプリケーションの安全な実行環境
-
Webブラウザのための安全なプログラム実行環境の実現
-
セグメント機構を用いた細粒度保護ドメインの性能分析
-
拡張コンポーネントのためのカーネルによる細粒度軽量保護ドメインの実現 (新しいシステムソフトウェア)
-
細粒度保護ドメインのための多重保護ぺージテープルの提案と実装
-
PrologからJavaへのトランスレータ処理系とその応用
-
MashCache: Flash Crowds耐性を持つマッシュアップサービス実現手法
-
Yataglass:攻撃の擬似実行による攻撃メッセージの振舞いの解析
-
マルチコアCPUの電力消費特性を考慮した仮想CPUスケジューラ
-
IaaS環境における仮想ディスクの効率的な同期手法
-
オペレーティングシステムのメモリ情報を考慮した仮想マシンスナップショット高速化手法
-
図表的文書の記述モデルAFAL
-
ウェブアプリケーションの性能異常兆候検出への管理図の適用
-
10.Socio Sense : 過去9年に及ぶWebアーカイブから社会の動きを読む(第2部:情報の高信頼蓄積・検索技術等の開発,学と産の連携による基盤ソフトウェアの先進的開発)
-
レイヤ7プロトコルの状態を考慮した仮想マシンの移送(OS-6:分散システム,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
-
応答時間の分散を利用したウェブサーバ接続数の自動設定(最適化と評価)
-
Session IDに着目したSession Fixationに対する脆弱性検査手法
-
2000-OS-85-11 Java RMIのための効率の良いオブジェクトシリアライゼーション
-
実行時のフェーズを用いたセキュリティポリシ記述の簡略化
-
インターネットサーバにおけるセキュアOSのポリシー記述簡略化
-
アプリケーション層プロトコルの実現を容易にするフレームワーク
-
リクエスト待機間隔を考慮したウェブサーバのkeep-alive時間の自動設定
-
仮想マシン技術を用いたOS再起動のダウンタイム削減手法
-
オペレーティングシステムのメモリ情報を考慮した仮想マシンスナップショット高速化手法
-
効果的な攻撃テストによるWebアプリケーションの脆弱性検出手法
-
効果的な攻撃テストによるWebアプリケーションの脆弱性検出手法
-
P2P型分散サーバ上のコンテンツ位置推測による一貫性保証(OS-6:分散システム,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
-
トポロジの変化を考慮したネットワーク座標系を用いた分散ハッシュテーブル(OS-1:オーバレイネットワーク,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
-
IaaS 環境における仮想ディスクの効率的な同期手法
-
Session ID に着目した Session Fixation に対する脆弱性検査手法
-
Yataglass+:メモリスキャン攻撃を組み込んだ攻撃コードの振舞い解析
-
ネットワークタイムスタンプによるリモート仮想マシンモニタ検出
-
オーバレイネットワークにおける論理リンクの通信遅延変動に関する一考察
-
Taint Analysis によるスパイウェア検知手法の回避
-
クライアント資源を利用した堅牢なマッシュアップサービスの実現
-
Prolog Cafe: Java上で動作するProlog処理系(研究のツールボックス〔第4回〕)
-
Grid計算環境における2つの制約解消系の試験的実装について
-
グリッド計算環境における制約解消システムの構築に向けて
-
Grid 計算環境における2つの制約解消系の試験的実装について
-
グリッド計算環境における制約解消システムの構築に向けて
-
LLPTTP: 線形論理型言語コンパイラ処理系を用いた定理証明システム
-
時相線形論理型言語のコンパイラ処理系のための抽象機械について
-
線形論理型言語のコパイラ処理系のための抽象機械について
-
古典線形論理型プログラミング言語の静的解析の一手法について
-
直観主義時相線形論理における論理プログラミングについて
-
線形論理型言語のJava言語による処理系の設計と実装
-
整数有限領域上の線形制約充足問題のコンパクトかつ効率的なSAT符号化の提案 (特集 「AIの基本問題SATと応用技術」および一般)
-
細粒度保護ドメインのための多重保護ページテーブルの提案と実装
-
OSとアプリケーションの連携による軽量保護ドメインの実現方式
-
OSとアプリケーションの連携による軽量保護ドメインの実現方式
-
SAT型制約ソルバーSugarについて (特集 「AIの基本問題SATと応用技術」および一般)
-
編集にあたって(情報爆発時代におけるわくわくするITの創出を目指して)
-
SQLインジェクション攻撃の脆弱性の効果的な自動検出手法
-
オーバレイネットワークにおける論理リンクの通信遅延変動に関する一考察
-
Taint Analysisによるスパイウェア検知手法の回避
-
クライアント資源を利用した堅牢なマッシュアップサービスの実現
-
マルチコアCPU環境におけるL2キャッシュの影響を考慮したVMスケジューラ
-
インタラクティブな組込みソフトウェアの動作検証に適したCPU速度制御手法(セッション8:仮想化技術(2))
-
カーネル由来情報に基づくバックグラウンドタスクの制御(セッション7:資源管理)
-
仮想機械技術を利用したキーロガー検知システム(仮想化(1))
-
需要変動に応じた動的再配置が可能なミラーサーバ基盤(並列・分散)
-
FoxyTechnique: 仮想機械モニタによるOSの資源管理ポリシーの変更(仮想化(2))
-
需要変動に応じたコンテンツの再配置を行うContent Delivery Network(コンテンツ配信)
-
効果的な攻撃テストによるWebアプリケーションの脆弱性検出手法
-
効果的な攻撃テストによるWebアプリケーションの脆弱性検出手法
-
Network IDSの攻撃検知情報を利用したサーバの安全性向上(セキュリティ)
-
Yataglass : メモリスキャン攻撃を利用した攻撃コードの振る舞い解析
-
協調型ネットワーク侵入検知システム Brownie の提案と評価
-
Yataglass : メモリスキャン攻撃を利用した攻撃コードの振る舞い解析
-
協調型ネットワーク侵入検知システム Brownie の提案と評価
-
Yataglass: メモリスキャン攻撃を利用した攻撃コードの振る舞い解析
-
協調型ネットワーク侵入検知システムBrownieの提案と評価
-
Yataglass: メモリスキャン攻撃を利用した攻撃コードの振る舞い解析
-
協調型ネットワーク侵入検知システムBrownieの提案と評価
-
パッケージマネージャと連携したNIDSの誤検知削減
-
ネットワークタイムスタンプによるリモート仮想マシン検出
-
特集「ソフトウェア論文」の編集にあたって
-
オンライントランザクション処理におけるVM挙動の詳細解析
-
「SATソルバー」(私のブックマーク)
-
VMライブマイグレーションにおける大規模I/O処理挙動に関する一考察(ストリーム処理とI/O,ビックデータ工学及び一般)
-
テキストデータの未来関連情報における予定変更情報の獲得に関する研究
-
オンライントランザクション処理におけるVM挙動の詳細解析(ビッグデータ,ビッグデータとソーシャルコンピューティング,及び一般)
もっと見る
閉じる
スポンサーリンク