高田 喜朗 | 奈良先端科学技術大学院大学情報科学研究科
スポンサーリンク
概要
関連著者
-
高田 喜朗
奈良先端科学技術大学院大学情報科学研究科
-
関 浩之
奈良先端科学技術大学院大学情報科学研究科
-
関 浩之
奈良先端科学技術大学院大学
-
高田 喜朗
高知工科大学
-
仲川 こころ
奈良先端科学技術大学院大学 情報科学研究科
-
仲川 こころ
奈良先端科学技術大学院大学情報科学研究科:(現)独立行政法人通信総合研究所
-
池田 瑞穂
奈良先端科学技術大学院大学情報科学研究科
-
池田 瑞穂
奈良先端科学技術大学院大学
-
池田 瑞穂
関西学院大学共通教育センター
-
王 静
奈良先端科学技術大学院大学
-
新田 直也
奈良先端科学技術大学院大学情報科学研究科
-
國信 茂太
奈良先端科学技術大学院大学情報科学研究科
-
毛利 寿志
奈良先端科学技術大学院大学 情報科学研究科
-
毛利 寿志
奈良先端科学技術大学院大学
-
井上 克郎
大阪大学大学院情報科学研究科
-
八木 勲
奈良先端科学技術大学院大学
-
中村 岳志
奈良先端科学技術大学院大学情報科学研究科:(現)日本総合研究所ファイナンスシステム事業本部
-
井上 克郎
大阪大学大学院基礎工学研究科情報数理系
-
木下 敦史
奈良先端科学技術大学院大学情報科学研究科:(現)三洋電機株式会社
-
喜家村 奨
奈良先端科学技術大学院大学情報科学研究科
-
井上 克郎
大阪大学大学院 情報科学研究科
-
石井 信
奈良先端科学技術大学院大学
-
伊藤 実
奈良先端科学技術大学院大学情報科学研究科
-
細見 格
Necインターネットシステム研究所
-
細見 格
Necサービスプラットフォーム研究所
-
伊藤 信裕
奈良先端科学技術大学院大学情報科学研究科
-
野田 潤
日本電気株式会社サービスプラットフォーム研究所
-
安田 侑八
奈良先端科学技術大学院大学 情報科学研究科
-
野田 潤
NECインターネットシステム研究所
-
吉岡 琢
奈良先端科学技術大学院大学情報科学研究科
-
吉岡 琢
奈良先端科学技術大学院大学
-
高橋 三恵
NECインターネットシステム研究所
-
野田 潤
大阪大学大学院基礎工学研究科情報数理系専攻
-
野田 潤
Necサービスプラットフォーム研究所|奈良先端科学技術大学院大学
-
伊藤 実
奈良先端科学技術大学院大学
-
野田 潤
日本電気株式会社クラウドシステム研究所
-
中江 政行
日本電気株式会社インターネットシステム研究所
-
山本 有輝
奈良先端科学技術大学院大学情報科学研究科
-
田口 大悟
日本電気株式会社インターネットシステム研究所,
-
横森 励士
大阪大学大学院情報科学研究科
-
伊加田 恵志
奈良先端科学技術大学院大学 情報科学研究科
-
大畑 文明
(株)東芝
-
大畑 文明
大阪大学大学院基礎工学研究科
-
田口 大悟
日本電気株式会社
-
田口 大悟
日本電気株式会社インターネットシステム研究所
-
地平 稔
奈良先端科学技術大学院大学情報科学研究科
-
中江 政行
日本電気株式会社 サービスプラットフォーム研究所
-
岩崎 正秀
奈良先端科学技術大学院大学 情報科学研究科
-
鍵本 聡
奈良先端科学技術大学院大学情報科学研究科
著作論文
- 束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法
- ラベル付き遷移システムに基づくアスペクト指向プログラムのモデル化
- XML文書に対するアクセシビリティガイドライン適合性検証(ソフトウェア,フォーマルアプローチ論文)
- 信用管理における確率モデルに基づく利用者プレゼンスの推定(位置情報とRFID, ホームネットワーク, ヒューマンインタフェース, 情報家電, アクセシビリティ)
- D-3-1 HBACプログラムのモデル検査の情報フロー解析への応用(D-3.ソフトウェアサイエンス,一般講演)
- 実行履歴に基づくアクセス制御付きプログラムのモデル検査法による情報フロー解析
- 実行履歴に基づくアクセス制御付きプログラムのモデル検査
- 実行履歴に基づくアクセス制御付き再帰プログラムの形式モデル
- 分散ポリシー制御の自動検証法について
- インタラクティブシステム設計法におけるタスク図の形式的定義と形式的検証への応用(ソフトウェア工学の基礎)
- インタラクティブシステム設計法におけるタスクモデルの形式的記述と検証
- 信用交渉における公開木戦略の計算量(計算機科学の理論とその応用)
- アドホックネットワークにおけるPKI証明書連鎖発見問題について(セッション2:セキュリティ)
- 信用管理における確率モデルに基づく利用者プレゼンスの推定
- 分散ポリシー制御のためのポリシー記述言語
- 束構造のセキュリティモデルに基づくプログラムの情報フロー解析
- スタック検査機能を持つプログラムに対する効率のよいセキュリティ検証法(プログラミング及びプログラミング言語)
- スタック検査機能をもつプログラムに対するセキュリティ検証問題の決定可能性
- スタック検査を含むプログラムに対する効率のよいセキュリティ検証法
- スタック検査機能を持つプログラムの制御フロー解析に基づくセキュリティ検証法
- XMLアクセス制御における木オートマトンを利用した静的解析(システム検証の科学技術)
- XMLアクセス制御における木オートマトンを用いた静的解析
- アドホックネットワークにおけるPKI証明書連鎖発見問題について(セッション2:セキュリティ)
- システムの内部状態を導入した信用管理モデル
- 実行履歴に基づくアクセス制御付き再帰プログラムの形式モデル
- 基底関数ネットワークによるWWW上の文書集合のクラスタ構造の視覚化
- A-15-18 WWW上の文書集合の視覚化による検索支援
- XML文書に対するアクセシビリティ・ガイドラインの自動検証
- ユーザインタフェースの代数的仕様記述と仕様からのプログラム生成
- セキュリティ解析アルゴリズムの実現とオブジェクト指向言語への適用に関する一考察
- インタラクティブシステムの設計におけるタスクの形式的記述とその実現
- ユーザタスクの形式的記述に基づくインタラクティブシステム設計法の提案
- 2C-4 インタラクティブシステム設計におけるタスクの形式的記述とその実現
- A-7-2 システムの内部状態を導入した信用管理モデル(A-7. 情報セキュリティ)
- 可変なカテゴリ構造を用いた文書検索支援手法の実験的評価
- 同期イベントを用いたプロセス分解法とカウンタプロセス分解への応用
- ラベル付き遷移システムで記述された要求仕様の並列プロセス群への一分解法(マルチメディアコミュニケーションシステム)
- 動作定義と外部イベント集合からの並列プロセス自動生成法
- 対話的に調整可能な文書ランキング : WWW検索支援の一手法
- 可変なカテゴリ構造を用いた文書検索支援手法
- 対話的に文書ランキングを調整できるWWW検索支援手法
- 対話的に文書ランキングを調整できるWWW検索支援手法
- 検索目的を反映したカテゴリ構造に基づくWWW検索支援
- 可変なカテゴリ構造を用いたWWW検索支援方法
- ネットワークを同定するアルゴリズムのプロセス代数による記述とその形式的検証