形式モデルに基づくディペンダビリティのアセスメントプロセスの設計
スポンサーリンク
概要
- 論文の詳細を見る
- 2010-05-27
著者
-
木下 佳樹
産業技術総合研究所
-
岡本 圭史
産業技術総合研究所
-
和泉 憲明
(独)産業技術総合研究所サービス工学研究センター
-
清野 貴博
産総研
-
和泉 憲明
産総研
-
橋田 浩一
産総研
-
岡本 圭史
(独)産業技術総合研究所 組込みシステム技術連携研究体
-
木下 佳樹
(独)産業技術総合研究所 組込みシステム技術連携研究体
-
清野 貴博
(独)産業技術総合研究所 社会知能技術研究ラボ
-
橋田 浩一
(独)産業技術総合研究所 社会知能技術研究ラボ
-
高村 博紀
JST CRESTディペンダブル組込みOS研究開発センター
-
橋田浩一
産業技術総合研究所
-
橋田 浩一
東京大学電子技術総合研究情報科学部
-
橋田 浩一
ICOT
-
橋田 浩一
Iccs/jcss99実行委員、日本認知科学会
-
橋田 浩一
産業技術総合研究所サイバーアシスト研究センター:科学技術振興事業団戦略的基礎研究推進事業
-
木下 佳樹
独立行政法人産業技術総合研究所情報処理研究部門情報科学連携研究体
-
高村 博紀
独立行政法人科学技術振興機構
-
橋田 浩一
東京工業大学大学院総合理工学研究科:産業技術総合研究所情報技術研究部門:科学技術振興機構crest
-
和泉 憲明
(独)産業技術総合研究所
-
橋田 浩一
(独)産業技術総合研究所
関連論文
- ソーシャルeサイエンスと総合学術オントロジー
- 第1回 記述とは(記述の科学)
- Comparing Expressiveness of First-Order Modal $\mu$-calculus and First-Order $\rm{CTL}^{\ast}$ (Model Theory and It's Application to Algebra)
- サービス工学としてのサイバーアシスト--10年早すぎた?プロジェクト
- 第2回 視点と形式的体系(記述の科学)
- 成果物・タスク・課題の依存関係に基づくソフトウェア開発プロジェクトのモデル化(ソフトウェア開発とオントロジー,プロジェクト管理とモニタリング,一般)
- 6 オントロジーに基づく知識の構造化と活用(情報の価値化・知識化技術の実現へ向けて)
- ゲーム理論に基づく参照結束性のモデル化と日本語・英語の大規模コーパスを用いた統計的検証
- 検索エンジンを用いた研究者の所属情報抽出
- 情報システム開発支援のためのエンタープライズアプリケーションオントロジー(オントロジー,「Webインテリジェンス」及び一般)
- オントロジーを用いたHTMLからのRDFデータ抽出
- オントロジーに基づく業務モデリングとシステム開発(学生セッション,大学のAI・企業のAI)
- 第3回 記述の構成と利用(記述の科学)
- オントロジーに基づくサービスプロセスからの共通構造抽出法
- 形式モデルに基づくディペンダビリティのアセスメントプロセスの設計
- 臨床情報学のための野外科学的方法--技術移転の方法論に向けて
- サービスイノベーションのための大規模データの観測・モデリング・サービス設計・適用のループ(サービスイノベーションとAIその2)
- On generic Kripke structures (モデル理論の手法による無限構造の構成法--RIMS共同研究報告集)
- On random Kripke frames (モデル理論の手法による無限構造の構成法--RIMS共同研究報告集)
- GROUP CONFIGURATIONS IN SIMPLE THEORIES (PART. 2) (Interaction between model theory and algebraic geometry)
- 情報システムの構造化仕様のための業務オントロジーの試作 (知能ソフトウェア工学)
- オントロジーを用いた異種仕様書にまたがる用語の一貫性確保に関する一考察(要求工学・仕様化技術)
- 自治体EAへの形式手法適用の試み
- 自治体EAへの形式手法適用の試み
- 2E11 Webからの研究者ネットワーク抽出と研究者検索システム(研究開発型NPOと産官学連携)
- オープンデータへのリンクとアノテーションとしての学術用語辞典
- アクティブRFIDを用いた展示館来場者の館内滞在傾向の分析(セッション3:実空間におけるモデル化とシミュレーション)
- アクティブRFIDを用いた展示館来場者の館内滞在傾向の分析(セッション3:実空間におけるモデル化とシミュレーション,社会システムと知能)
- 愛・地球博グローバル・ハウス統合情報支援システム : CONSORTSアーキテクチャによる情報提供・会場運営支援システム
- ユビキタス計算環境におけるコンテンツ流通のためのマルチエージェントアーキテクチャ : CONSORTS
- プランニングと空間の意味表現データの連携によるナビゲーション(位置・インタラクション(2))
- プランニングと空間の意味表現データの連携によるナビゲーション
- サービス連携のためのアーキテクチャCONSORTSにおけるWebSLIT(アーキテクチャ(2))
- セマンティックWebエージェントによる実世界指向のサービス連携機構(アーキテクチャ(2))
- Jena-セマンティックWebアプリケーション開発のためのJavaフレームワーク(研究のツールボックス(1))
- 証明支援系の図式によるインターフェイス ( インタラクティブソフトウェア)
- センサーネットワークと人間ネットワーク(ユビキタス・センサネットワークの要素技術,コンテクストの抽出,スマートスペース,ユビキタス生活支援,一般)
- センサーネットワークと人間ネットワーク(ユビキタス・センサネットワークの要素技術,コンテクストの抽出,スマートスペース,ユビキタス生活支援,一般)
- 位置履歴からのユーザ属性の推定(モバイルコンピューティング)
- ITと社会を繋ぐ認知科学
- 自己組織化情報ベース機能領域(「RWC-実世界知能」)
- 位置情報メディア共有に基づくパーソナルアシストシステムの設計 (小特集 「次世代Web技術とデジタルエンタープライズ」および一般)
- 日本認知科学会博士論文コンソーシアム報告
- Mealyオートマトンのスーパバイザ制御の余代数による解析(コンカレントシステム,離散事象システム及び一般)
- 情報システム開発支援のためのエンタープライズアプリケーションオントロジー(オントロジー,「Webインテリジェンス」及び一般)
- 自然言語処理
- GDA:言語データの意味的構造化とインテリジェントコンテンツ
- マルチメディアコンテンツと自然言語処理
- インテリジェントコンテンツと知の共有化
- 構造化文書に基づくインタラクティブな意味的情報検索
- 5446 知識労働オフィスの設計のための統合フレームワーク(設計支援システム,建築計画I)
- 知識循環と持続可能なサービスの設計
- 日常的な制約に基づいたマルチメディアコンテンツの管理と自然言語による操作(言語,テキストの知能情報処理)
- 管理情報の統合に基づくプロジェクトモニタリング環境の構築と運用(開発プロジェクト管理,プロジェクト管理とモニタリング,一般)
- CBTOに基づくスケジュール管理と連動したサービス連携機構(スケジューリング,「Webインテリジェンス」及び一般)
- CBTOに基づくスケジュール管理と連動したサービス連携機構(スケジューリング,「Webインテリジェンス」及び一般)
- オントロジーに基づく業務モデリングとシステム開発(学生セッション,大学のAI・企業のAI)
- 日常生活オントロジーに基づくコンテンツ管理のための自然言語インタフェース(言語理解とオントロジーシンポジウム)
- ビジネスオントロジーに基づくWebアプリケーション開発
- ビジネスオントロジーに基づくWebアプリケーション開発
- オントロジーに基づくエンタープライズソフトウェアの開発とその実践 : オントロジーとセマンティックWeb技術の情報システム構築への応用(経営や情報技術双方の知識や立場を越えた相互理解を醸成するモデリング及びモデリングフレームワークを研究する : 特に今回はセマンティックWEBの活用にフォーカスする)
- 会長就任挨拶 : 科学的手法と学会の役割
- 部分観測Mealyオートマトンのスーパバイザ制御の余代数による解析 (コンカレント工学)
- 既存情報資源を活用したオントロジー構築支援環境(学生セッション,大学のAI・企業のAI)
- 既存情報資源を活用したオントロジー構築支援環境(学生セッション,大学のAI・企業のAI)
- 情報システムの構造化仕様のための業務オントロジーの試作
- ユビキタス環境におけるコンテンツ流通のためのマルチエージェントアーキテクチャ : CONSORTS(システム・アーキテクチャ)
- F-032 オントロジーを利用したクラス図設計支援とモデル駆動開発への適用(F.人工知能)
- Webアプリ統合ソフトウェアのためのクラス設計支援
- ユビキタス環境における情報支援のための時空間推論とエージェントとしての実装
- ユビキタス環境における情報支援のための時空間推論とエージェントとしての実装
- F-040 連携品質を考慮したオントロジーに基づくWebサービスの自動連携(F.人工知能)
- オントロジーに基づくWebサービスの自動連携
- ビジネス指向のサービス関連オントロジー(開発されたオントロジー)
- ビジネスソフトウェアの知的開発環境
- 位置情報メディア共有に基づくパーソナルアシストシステムの設計(「次世代Web技術とディジタルエンタープライズ」及び一般)
- 時空間資源管理に基づく知的情報支援アーキテクチャ (小特集:「Semantic Webとインテリジェントコンテンツ」および一般) -- (インテリジェントコンテンツの構築(Semantic Web,オントロジー,知識コンテンツ))
- 2. フォーマルメソッドのフィールドワーク(Part II:産業界への応用,フォーマルメソッドの新潮流)
- テスト付きクリーニ代数の準代数構造
- B-3 連を用いたwhileプログラムの意味論(プログラムの理論,B.ソフトウェア)
- 先端技術動向紹介・将来展望(4)組み込みソフトウェア製品の品質評価手法の動向
- クヌース・ベンディクスの代りに米田 : モノイドの場合
- ファイブレーションに基づく論理プログラムの意味論
- プログラミング言語ML
- 林 晋 著, "数理論理学", コンピュータ数学シリーズ3, コロナ社, A5判, 177p., \2,060, 1989
- 部分観測Mealyオートマトンのスーパバイザ制御の余代数による解析(一般,コンカレントシステム及び一般)
- サービス科学とメタデザイン(第2部:メタデザインへの挑戦,デザイン学:メタデザインへの挑戦)
- AS-3-1 大規模なサービスプロセスの設計・検証手法(AS-3.ワークフローとビジネスプロセス管理への数理的アプローチ,シンポジウムセッション)
- 産業技術総合研究所関西センターだより(26)機能安全とソフトウェア認証
- ソフトウェアの複雑さ (特集 複雑系モデルと情報処理--21世紀の科学)
- 特集「システム検証の科学技術」の編集にあたって(システム検証の科学技術)
- 作譜科学の現状と将来--心配のないソフトウェア開発に向けて
- 特集「続・システム検証の科学技術」の編集にあたって(サイバー増大号)
- 特集「システム検証の科学技術」の編集にあたって
- 産総研システム検証研究センター紹介
- コンピュータを用いた協調学習の取組 : セマンティックコンピューティングの教育利用
- ディペンダビリティに関する国際標準化の動向 : IEC TC56の概要と国際会議での動向(信頼性国際規格,保全性,信頼性一般)
- 帰納と再帰 : 表示的意味論の第一歩
- Do the right things
- 分散PDSによる個人データの自己管理(パーソナルデータに基づく気付きの創発)