3S-1 移動エージェント相互運用の実現 : 背景と構想
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1999-09-28
著者
-
大須賀 昭彦
電気通信大学大学院情報システム学研究科
-
中島 震
国立情報学研究所
-
長谷川 哲夫
(株)東芝 研究開発センター
-
長谷川 哲夫
株式会社東芝
-
大須賀 昭彦
株式会社東芝研究開発センター
-
本位田 真一
株式会社東芝研究開発センターシステム・ソフトウェア生産技術研究所
-
中島 震
NEC C&C研究所
-
中島 震
特集編集委員
-
大須賀 昭彦
(株)東芝研究開発センター知識メディアラボラトリー
-
西田 豊明
東京大学/奈良先端科学技術大学院大学
-
大須賀 昭彦
株式会社東芝
-
粂野 文洋
株式会社三菱総合研究所
-
粂野 文洋
三菱総合研究所:国立情報学研究所
-
西田 豊明
東京大学
-
中島 震
情報・システム研究機構国立情報学研究所:科学技術振興機構さきがけ
-
中島 震
Nec C&c メディア研究所
-
中島 震
国立情報学研究所|総合研究大学院大学
-
中島 震
国立情報学研
関連論文
- 検証モデリングの比較検討--組込みシステムの事例 (コンカレント工学)
- Dynagent : 割込みHTNプランニングエージェント
- Rewriting logic approach to separating policy rules from behavioral specification (知能ソフトウェア工学)
- Rewriting logic approach to separating policy rules from behavioral specification (ソフトウェアサイエンス)
- Webアプリケーション・フィーチャのアスペクト隠蔽
- サービス提供のためのネットワークロボット連携技術
- オントロジー構築サービスONTOMOの開発 : インスタンス自動推薦の試作と評価(企業・学生交流セッション「企業のAI・大学のAI」)
- UMLとSimulinkのモデル変換手法の検討
- Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
- RBACモデルの形式検証と修正支援(形式手法(1)・言語(学生セッション))
- AOPによるWebアプリケーションの要求監視
- アスペクト概念を持つステートダイアグラムの提案(アスペクト指向)
- プロジェクト紹介 : 高信頼組込み用オブジェクト指向設計技術(組込み・アスペクト指向)
- 振る舞い仕様の実行時モニタリング
- モデル検査によるステートチャートとシーケンスチャートの整合性検証(「さまざまな分野の形式的検証最前線」及びAI一般)
- 組込み機器向け知的移動エージェントμPlangentを用いた電力系統巡視システム
- 4Q-3 組み込み機器向け移動エージェント(1) : μPlangent : 知的処理の実現
- 特集「エージェント」の編集にあたって
- M-052 ユビキタスパーソナルエージェントによるドライブプラン推薦システムの開発(M.ネットワーク・モバイルコンピューティング)
- UPPAALによるモデル検査適用ガイドラインの作成(解析・検証(一般セッション))
- Cプログラム・モデル検査におけるDbC(一般セッション2:モデル検査とコデザイン)
- リアルタイム・コンポーネント向けの程良い形式手法
- 制約オートマトンを用いたソフトウェア・デザインの記述法
- 制約オートマトンに関するモデル検査法の実験
- シーケンス図からの時間性能モデル検査用オブザーバ生成手法(テスト・検証(一般セッション))
- 状態遷移システムを用いたデザインのモデル検査
- 分散システム開発におけるモデル検査への視覚的支援手法(プロトコルと開発ツール)(新時代の分散処理とネットワーク(WebサービスとP2P))
- 大規模組織におけるソフトウェアプロセス改善活動の適用評価-10年間の実践に基づく考察
- プロセス間競合を考慮した自己適応システムの形式仕様構築
- Twitterからの人間行動属性の自動抽出(「Webインテリジェンス」及び一般)
- ポリシー規則と振る舞い仕様の分離への書き換え論理アプローチ(一般セッション)
- ポリシー規則と振る舞い仕様の分離への書き換え論理アプローチ(一般セッション,一般,フレッシャーズセッション)
- ロボットをユビキタスの世界へ誘うエージェント (特集 ホームロボット技術--ロボット技術で支える安心・安全な暮らし)
- 携帯電話上で記述・即時動作可能なネットワークスクリプトの開発
- Webからの自己教師あり学習を用いた人間行動マイニング(一般,「グリーンAI」及び一般)
- オントロジーを利用した文書間のセマンティックな類似度計算手法(「Webインテリジェンス」及び一般)
- オントロジーWikiサイトの構築 : 集合知としてのオントロジー構築を目指して(「Webインテリジェンス」及び一般)
- 知的移動エージェントによる低消費電力なワイヤレスセンサネットワークアプリケーションの構築(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- 知的移動エージェントによるマルチパーパスワイヤレスセンサネットワークアプリケーション(モバイルアプリケーション,ユビキタス時代を支えるモバイル通信と高度交通システム)
- セマンティック Web サービスマッチメーカーの公開実験に基づく評価
- ユビキタスアプリケーション向け移動エージェントの相互運用
- ユビキタス環境において動的なコンテキストに順応して知識情報をフィルタリングする推論エージェントの開発
- ユビキタス環境において動的なコンテキストに順応して知識情報をフィルタリングする推論エージェントの開発
- パターンを用いたセキュアなモバイルエージェントシステム設計法(モバイルコンピューティング)
- リズム入力インタフェース「タタタタップ」による大規模音楽検索(一般セッション, インタラクション・メディアおよび一般)
- G-021 リズム入力による音楽検索方式「タタタタップ」(G.音声・音楽)
- 開放型分散環境におけるプランニングモバイルエージェントアーキテクチャの提案
- モバイルエージェントの効率的利用
- ITSとネットワークコンピューティング技術 (特集 ITS(高度道路交通システム))
- エージェント技術を適用したヒューマンナビゲーションシステム
- コンテキストベース・プロダクトライン開発とVDM++の適用(ソフトウェアプロダクトライン開発,ソフトウェア工学の理論と実践)
- 検証モデリングの比較検討 : 組込みシステムの事例(組込みシステム,一般)
- 条件付確率場と自己教師あり学習を用いた行動属性の自動抽出と評価
- オントロジー構築サービスONTOMOの開発 : 固有名詞抽出によるインスタンス・プロパティ自動推薦エージェントの評価
- ソフトウェアエージェントとその応用論文特集の発行にあたって(ソフトウェアエージェントとその応用論文)
- 自律システム実現に向けたアーキテクチャの構築
- JAWSの発展とエージェント分野への寄与(エージェント)
- Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
- 特集「組込みシステム工学」の編集にあたって
- XML Webサービスのマッチメーカー (特集1 XML Webサービス--インターネット上でサービスをダイナミックに連携)
- マルチエージェントフレームワークBee-gentを用いた電力系統作業停止計画向け分散スケジューリングシステムの開発
- 移動エージェント相互運用の実現 : 基本アーキテクチャ
- 3W-6 マルチエージェントフレームワークBee-gentのためのビジュアル開発支援ツール
- 3S-10 マルチエージェントフレームワークBee-gentによる環境調和型製品設計支援システムの開発
- 3S-4 移動エージェント相互運用の実現 : ディレクトリサーバ
- 3S-3 移動エージェント相互運用の実現 : インカネーションエージェントによる相互運用の実現
- 3S-2 移動エージェント相互運用の実現 : 基本アーキテクチャ
- 3S-1 移動エージェント相互運用の実現 : 背景と構想
- Bee-gent:移動型仲介エージェントによる既存システムの柔軟な活用を目的としたマルチエージェントフレームワーク
- マルチエージェントフレームワークBee-gentを用いた分散システムにおけるデザインパラダイムの分類と評価
- 既存システムの柔軟な結合を可能にするエージェントフレームワークBe-gentの提案
- モバイルエージェントを用いた分散制約充足問題へのアプローチ : 分散協調型電力系統設備作業停止計画支援システムの開発
- エージェントフレームワークを用いた車載端末向け情報提供システムの構築と評価(ユビキタスコンピューティングと情報家電)(ユビキタス環境のモバイル通信システムとITS)
- ゴール指向要求分析を用いたself-adaptiveシステムの構築
- ホロニック生産システムの協調機構
- Webアプリケーション開発向けAOP機構の実装(Webアプリケーション(学生セッション))
- 4.3 高信頼分散システム構築支援OS : 知的分散^OS (日本におけるオペレーティングシステム研究の動向)
- 知的分散OS : 放送型オブジェクト指向分散OS
- 仕様記述言語Zと証明環境Isabelle/HOL-Z(ソフトウェア紹介,先端ソフトウェアツール)
- エンタープライズ向けエージェントアプリケーション基盤の構築
- スケジューリングエージェント間の調整交渉に基づく分散協調型スケジューリングシステムの開発(ソフトウェアエージェントとその応用論文特集)
- リファクタリングの正しさのESC/Java2による形式検証
- エージェント指向言語Flage
- エージェント指向言語FIage(5) : メタ知識を用いた自動証明
- エージェント指向言語Flage(3) : カテゴリ論に基づく意味論
- エージェント指向言語Flage(2) : 言語仕様
- 形式手法の潮流 : アーキテクチャへの関心(システム設計のための形式手法の基礎と応用)
- 制約概念を用いるソフトウェアデザイン
- Alloy : 自動解析可能なモデル規範形式仕様言語
- D-9-8 PCリモートアクセスシステム・ユビキタスビューアの開発 : 携帯電話版の開発(D-9.オフィスインフォメーションシステム,一般講演)
- D-9-7 PCリモートアクセスシステム・ユビキタスビューアの開発 : システムアーキテクチャ(D-9.オフィスインフォメーションシステム,一般講演)
- Flageアーキテクチャにおける代数モデル
- Flageアーキテクチャのカーネル言語
- Visual-K:ゴール指向要求分析手法KAOSのモデリング可視化支援ツールの試作
- アーキテクチャ記述言語を用いた自己適応システム設計手法の検討
- アーキテクチャ記述言語を用いた自己適応システム設計手法の検討
- 有界モデル検査法を用いたCプログラムのモジュラー検証
- Web からの自己教師あり学習を用いた人間行動マイニング
- オントロジーWikiサイトの構築 : 集合知としてのオントロジー構築を目指して
- AP-1-1 モデリング、モデル、解析(AP-1.サイバーフィジカルシステムにおけるモデリング手法,パネルセッション,ソサイエティ企画)