高田 喜朗 | 高知工科大学
スポンサーリンク
概要
関連著者
-
高田 喜朗
高知工科大学
-
関 浩之
奈良先端科学技術大学院大学情報科学研究科
-
関 浩之
奈良先端科学技術大学院大学
-
高田 喜朗
奈良先端科学技術大学院大学情報科学研究科
-
王 静
奈良先端科学技術大学院大学
-
野田 潤
日本電気株式会社サービスプラットフォーム研究所
-
毛利 寿志
奈良先端科学技術大学院大学 情報科学研究科
-
高橋 三恵
NECインターネットシステム研究所
-
野田 潤
大阪大学大学院基礎工学研究科情報数理系専攻
-
毛利 寿志
奈良先端科学技術大学院大学
-
野田 潤
Necサービスプラットフォーム研究所|奈良先端科学技術大学院大学
-
野田 潤
日本電気株式会社クラウドシステム研究所
-
高田 喜朗
高知工科大学情報システム工学科
-
細見 格
Necインターネットシステム研究所
-
細見 格
Necサービスプラットフォーム研究所
-
八木 勲
奈良先端科学技術大学院大学
-
野田 潤
NECインターネットシステム研究所
-
上村 祐加
高知工科大学
-
伊藤 信裕
奈良先端科学技術大学院大学情報科学研究科
-
安田 侑八
奈良先端科学技術大学院大学 情報科学研究科
-
森田 剛正
高知工科大学
-
山本 有輝
奈良先端科学技術大学院大学情報科学研究科
-
野田 潤
NECサービスプラットフォーム研究所
-
田口 大悟
NEC共通基盤ソフトウエア研究所
-
田口 大悟
NECインターネットシステム研究所
-
高田 喜朗
NECインターネットシステム研究所
-
関 浩之
NECインターネットシステム研究所
-
中村 岳志
奈良先端科学技術大学院大学情報科学研究科:(現)日本総合研究所ファイナンスシステム事業本部
-
高田 喜朗
高知工科大学情報学群
-
山崎 康生
高知工科大学システム工学群
-
山崎 康生
高知工科大学大学院工学研究科
著作論文
- ラベル付き遷移システムに基づくアスペクト指向プログラムのモデル化
- 木オートマトンを用いたXML処理
- 実行履歴に基づくアクセス制御の形式モデルと検証(セキュリティ,フォーマルアプローチ論文)
- XML文書に対するアクセシビリティガイドライン適合性検証(ソフトウェア,フォーマルアプローチ論文)
- 信用管理における確率モデルに基づく利用者プレゼンスの推定(位置情報とRFID, ホームネットワーク, ヒューマンインタフェース, 情報家電, アクセシビリティ)
- User Presence Estimation Based on a Stochastic Model in Presence-aware Trust Management (特集:ホームネットワーク,ヒューマンインタフェース,情報家電,アクセシビリティ)
- D-3-1 HBACプログラムのモデル検査の情報フロー解析への応用(D-3.ソフトウェアサイエンス,一般講演)
- 実行履歴に基づくアクセス制御付きプログラムのモデル検査法による情報フロー解析
- 実行履歴に基づくアクセス制御付きプログラムのモデル検査
- 実行履歴に基づくアクセス制御付き再帰プログラムの形式モデル
- 情報流仕様に基づくアクセス制御文の自動生成
- 信用交渉における公開木戦略の計算量(計算機科学の理論とその応用)
- アドホックネットワークにおけるPKI証明書連鎖発見問題について(セッション2:セキュリティ)
- ユーザプレゼンスを利用した信用管理方式
- 信用管理における確率モデルに基づく利用者プレゼンスの推定
- XMLアクセス制御における木オートマトンを利用した静的解析(システム検証の科学技術)
- XMLアクセス制御における木オートマトンを用いた静的解析
- アドホックネットワークにおけるPKI証明書連鎖発見問題について(セッション2:セキュリティ)
- システムの内部状態を導入した信用管理モデル
- 実行履歴に基づくアクセス制御付き再帰プログラムの形式モデル
- プログラミング,何をどう教えているか : 実践プロジェクト形式によるソフトウェア工学教育
- フィジカルコンピューティングのためのスマートフォンを用いた開発環境の提案
- フィジカルコンピューティングのためのスマートフォンを用いた開発環境の提案
- フィジカルコンピューティングのためのスマートフォンを用いた開発環境の提案
- デザインパターン検出ツールを用いた汎化関係の追加に基づくパターン適用可能箇所検出手法(プログラム解析と開発支援)