移動エージェント相互運用の実現 : 基本アーキテクチャ
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 2000-02-15
著者
-
長谷川 哲夫
株式会社 東芝 ソフトウェア技術センター
-
長谷川 哲夫
(株)東芝研究開発センター
-
中島 震
国立情報学研究所
-
長谷川 哲夫
(株)東芝 研究開発センター
-
長谷川 哲夫
株式会社東芝
-
大須賀 昭彦
株式会社東芝研究開発センター
-
中島 震
Necネットワーキング研究所
-
中島 震
特集編集委員
-
長 健太
株式会社東芝研究開発センター知識メディアラボラトリー
-
長 健太
(株)東芝
-
大須賀 昭彦
株式会社東芝
-
粂野 文洋
株式会社三菱総合研究所
-
粂野 文洋
三菱総合研究所:国立情報学研究所
-
長 健太
株式会社東芝
-
中島 震
情報・システム研究機構国立情報学研究所:科学技術振興機構さきがけ
-
中島 震
Nec
-
長谷川 哲夫
(株)東芝
-
中島 震
国立情報学研究所|総合研究大学院大学
-
中島 震
国立情報学研
-
中島 震
総合研究大学院大学|国立情報学研究所
関連論文
- 検証モデリングの比較検討--組込みシステムの事例 (コンカレント工学)
- Dynagent : 割込みHTNプランニングエージェント
- Rewriting logic approach to separating policy rules from behavioral specification (知能ソフトウェア工学)
- Rewriting logic approach to separating policy rules from behavioral specification (ソフトウェアサイエンス)
- Webアプリケーション・フィーチャのアスペクト隠蔽
- サービス提供のためのネットワークロボット連携技術
- UMLとSimulinkのモデル変換手法の検討
- Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
- RBACモデルの形式検証と修正支援(形式手法(1)・言語(学生セッション))
- AOPによるWebアプリケーションの要求監視
- アスペクト概念を持つステートダイアグラムの提案(アスペクト指向)
- プロジェクト紹介 : 高信頼組込み用オブジェクト指向設計技術(組込み・アスペクト指向)
- 振る舞い仕様の実行時モニタリング
- モデル検査によるステートチャートとシーケンスチャートの整合性検証(「さまざまな分野の形式的検証最前線」及びAI一般)
- Lagrange緩和法を用いた最適化スケジューリングにおけるheuristicsのアプローチ(スケジューリング(3))
- Lagrange緩和法によるスケジューリングの実用化 : (2)実行可能解の構成(生産計画(3))
- Lagrange緩和法によるスケジユーリングの実用化 : (1)問題の抽象化と解の具体化(生産計画(3))
- ホロニック手法による組立システムのプランニング
- M-052 ユビキタスパーソナルエージェントによるドライブプラン推薦システムの開発(M.ネットワーク・モバイルコンピューティング)
- UPPAALによるモデル検査適用ガイドラインの作成(解析・検証(一般セッション))
- Cプログラム・モデル検査におけるDbC(一般セッション2:モデル検査とコデザイン)
- リアルタイム・コンポーネント向けの程良い形式手法
- 制約オートマトンを用いたソフトウェア・デザインの記述法
- 制約オートマトンに関するモデル検査法の実験
- シーケンス図からの時間性能モデル検査用オブザーバ生成手法(テスト・検証(一般セッション))
- 状態遷移システムを用いたデザインのモデル検査
- 分散システム開発におけるモデル検査への視覚的支援手法(プロトコルと開発ツール)(新時代の分散処理とネットワーク(WebサービスとP2P))
- EJBコンポーネントアキテクチャのSPINによる振舞い解析(ソフトウェア工学の基礎)
- ソフトウェア開発へのモデル検査技法の応用
- 大規模アプリケーション向けハイパーメディアシステム(2) : プレゼンテーション制御方式
- ポリシー規則と振る舞い仕様の分離への書き換え論理アプローチ(一般セッション)
- ポリシー規則と振る舞い仕様の分離への書き換え論理アプローチ(一般セッション,一般,フレッシャーズセッション)
- ロボットをユビキタスの世界へ誘うエージェント (特集 ホームロボット技術--ロボット技術で支える安心・安全な暮らし)
- 携帯電話上で記述・即時動作可能なネットワークスクリプトの開発
- ホロニック生産システムのアーキテクチャ
- 知的移動エージェントによるマルチパーパスワイヤレスセンサネットワークアプリケーション(モバイルアプリケーション,ユビキタス時代を支えるモバイル通信と高度交通システム)
- セマンティック Web サービスマッチメーカーの公開実験に基づく評価
- ユビキタスアプリケーション向け移動エージェントの相互運用
- ユビキタス環境において動的なコンテキストに順応して知識情報をフィルタリングする推論エージェントの開発
- ユビキタス環境において動的なコンテキストに順応して知識情報をフィルタリングする推論エージェントの開発
- パターンを用いたセキュアなモバイルエージェントシステム設計法(モバイルコンピューティング)
- リズム入力インタフェース「タタタタップ」による大規模音楽検索(一般セッション, インタラクション・メディアおよび一般)
- G-021 リズム入力による音楽検索方式「タタタタップ」(G.音声・音楽)
- エージェント技術を適用したヒューマンナビゲーションシステム
- コンテキストベース・プロダクトライン開発とVDM++の適用(ソフトウェアプロダクトライン開発,ソフトウェア工学の理論と実践)
- 検証モデリングの比較検討 : 組込みシステムの事例(組込みシステム,一般)
- OSI管理用MIBにおける記憶領域管理アーキテクチャ
- MIBと管理対象装置間の情報転送方式
- OSI管理エージェントの開発方法論 : ソフトウエア・アーキテクチャを中心として
- Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
- 特集「組込みシステム工学」の編集にあたって
- 会議レポート:EDOC2000
- 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)
- (モバイルエージェント)パターンを利用したセキュアかつ効率的なモバイルエージェントアプリケーション開発(オブジェクト指向技術)
- ホロニック生産システムの協調機構
- Webアプリケーション開発向けAOP機構の実装(Webアプリケーション(学生セッション))
- ユビキタスパーソナライズエージェントによる買物支援サービスの実証実験
- 4.3 高信頼分散システム構築支援OS : 知的分散^OS (日本におけるオペレーティングシステム研究の動向)
- 知的分散OS : 放送型オブジェクト指向分散OS
- D-13-3 分散環境下でのソフトウェア概略処理手順検索と画像処理プログラムの生成
- 問題領域向けトランスレータ構築支援ツールキット
- 装置組み込み用高速Q3エージェントプラットフォームの実現
- FM'99参加報告
- CafeOBJによるODPトレーダ仕様の記述
- 言語処理系ツールキットRosettaによるGDMOトランスレータの実現
- デザインパターンに基づくドメイン依存言語向けツールキット
- デザインパターンに基づくドメイン依存言語向けツールキット
- オブジェクト指向代数仕様におけるモジュール再利用 : 経験レポート
- 問題向け設計言語開発ツールキットの開発と適用
- 省メモリ・高速処理を指向した主記憶MIBプラットフォーム
- プログラムスライス技術を用いたリエンジニアリングツール
- 組み合わせオブジェクトに基づくGUIライブラリ
- オブジェクトの集団的振舞いの設計と検証のための高レベルペトリネット
- GILO/Z : オブジェクト指向仕様記述のためのZ記法の拡張
- 事例を用いた日本語解析 : 「知恵の泉」のインタフェース部の構想
- オブジェクトに基づくシステム開発技法 : 状況投影モデルの提案
- 仕様記述言語Zと証明環境Isabelle/HOL-Z(ソフトウェア紹介,先端ソフトウェアツール)
- リファクタリングの正しさのESC/Java2による形式検証
- 形式手法の潮流 : アーキテクチャへの関心(システム設計のための形式手法の基礎と応用)
- 制約概念を用いるソフトウェアデザイン
- Alloy : 自動解析可能なモデル規範形式仕様言語
- D-9-8 PCリモートアクセスシステム・ユビキタスビューアの開発 : 携帯電話版の開発(D-9.オフィスインフォメーションシステム,一般講演)
- D-9-7 PCリモートアクセスシステム・ユビキタスビューアの開発 : システムアーキテクチャ(D-9.オフィスインフォメーションシステム,一般講演)
- ENC(Enhanced Network Computing)フレームワークの概要
- 有界モデル検査法を用いたCプログラムのモジュラー検証
- ビヘイビアパターンに基づくモバイルエージェントシステム開発手法
- AP-1-1 モデリング、モデル、解析(AP-1.サイバーフィジカルシステムにおけるモデリング手法,パネルセッション,ソサイエティ企画)