3. モバイルコンピューティングを支えるソフトウェア技術 3-2 分散オブジェクト技術とモバイルエージェント (<特集>モバイルコンピューティング)
スポンサーリンク
概要
- 論文の詳細を見る
モバイルエージェントやJavaなどのWebページ記述用言語に代表される移動可能プログラムをいつでもどこでも計算機を使用可能とするモバイルコンピューティング環境と組み合わせることによって, 計算機の可能性は飛躍的に向上する. 本稿では, 移動可能プログラムと移動可能プログラムをモバイルコンピューティング環境上で実行するために必要となる適応可能なソフトウェアアーキテクチャに関して紹介する.
- 社団法人電子情報通信学会の論文
- 1997-04-25
著者
関連論文
- LMC : ポイントカット・アドバイスモデルの計算
- 4K-3 アスペクト指向的振舞インターフェース記述言語Moxaによるスケーラブルな仕様記述(情報爆発時代における分散処理とセキュリティ,一般セッション,「情報爆発」時代に向けた新しいIT基盤技術)
- Moxaによるアスペクト指向的仕様記述 : プロトコルからのモジュラーなDbC記述に向けて
- 契約による設計を支援するアスペクト指向的振舞インタフェース記述言語Moxa
- 契約による設計を支援する表明記述のアスペクト指向的モジュール化方式
- 安全に結合可能なmixinを提供するためのルール
- SMAF : 組み込みシステム用基盤ソフトウェアフレームワーク
- サービスプロキシを用いたアプリケーションのためのモビリティサポート
- 移動計算環境におけるアプリケーション構築のためのソフトウェアアーキテクチャ
- 移動計算機環境に適した柔軟なソフトウェアの構築法
- オブジェクト指向に基づくモーバイルコンピューティングに適したカスタマイズ可能なOS構築のための枠組
- ロード時バイナリ変換によるセキュリティ強制方式
- 契約による設計を支援する表明記述のアスペクト指向的モジュール化方式
- 特集「ソフトウェアシステム」の編集にあたって
- 特集「ソフトウェアシステム」の編集にあたって(ソフトウェアシステム)
- 自己反映計算の振舞的側面の形式化について
- SOSP-14:オペレーティングシステムに関する国際会議に参加して
- 原子オブジェクトにおける協調原子性の実現方式
- マルチバージョン原子オブジェクト
- X.25プロトコルを用いたUnix上のネットワ-クシステムの設計と実装
- 動的コード生成を用いた適応的移動コード
- アスペクト指向言語における操作の抽象化方式
- 不干渉性の強制について
- 不干渉性の強制について
- 不干渉性の強制について
- 不干渉性の強制について
- メタレベルの拡張に適したメタレベルの構成法
- 再利用可能な部品から構成された言語処理系
- メタレベル記述の再利用を考慮した自己反映的プログラミング言語
- 自己反映機構を用いた移動エージェント記述言語
- Brian Cantwell Smith:Reflection and Semantics in Lisp, Proc. 11th ACM Symposium on Principles of Programming Languages, pp.23-35 (1984).
- 対話領域の独立性を指向した日本語対話理解システム
- 適応可能アプリケーションの構築を支援する環境サーバ
- 汎用クラスライブラリの構成方式に関する研究
- プログラム変換を用いたポインタ操作プログラムの検証にむけて--Morrisの二分木走査アルゴリズムによるケーススタディ (ソフトウェアサイエンス)
- 自己反映的な言語における言語拡張同士の安全な結合について
- CORBAアプリケーション開発におけるリフレクションの有効性
- 自己反映的な言語のモジュール結合による実装と効率化
- Operating system servers for continuous media on a microkernel-based Real-Time operating system
- 連続メディア処理に適した仮想記憶システム
- パーソナル連続メディア処理に適したストレージシステム
- 連続メディア処理のための動的QOS管理方式
- Experience with real-time mach for writing continuous media applications and servers
- Design and implementation of a continuous media storage system on real-time mach
- 3. 移動計算機環境におけるアプリケーションとオペレーティング・システム支援( 無線LAN)
- メタレベルアーキテクチャを用いた動的負荷分散の実現
- 3. モバイルコンピューティングを支えるソフトウェア技術 3-2 分散オブジェクト技術とモバイルエージェント (モバイルコンピューティング)
- 動的QOS制御をサポートする連続メディア処理に適したプロセッサ管理機構
- 分散マルチメディアシステムを支えるマイクロカーネル技術
- 証明支援系を用いたMorrisの二分木走査アルゴリズムの検証
- 自己反映計算における再利用可能なメタレベルモジュールの設計
- 動的なメディア選択が可能なMobile IPの設計と実装
- 書き換え理論に基づく有機的プログラミング言語GAEAの意味
- 並行オブジェクトのためのハイブリッド分散ガベージコレクションの一方式
- 証明支援系Coqのプログラムに対する対話的修正機構の提案
- リフレクションを利用したCORBA APIの改善
- リフレクションを利用したCORBAアプリケーション実行環境の実現法
- 通信メディアの特性を利用するMobile IPシステム
- LEAD : 動的適応可能なソフトウェアを構成する言語の設計と実装
- 移動計算機環境を支援する言語LEADとそのメタレベルアーキテクチャ
- 移動計算機環境を支援するインターフェース記述言語
- 信頼性の高い移動エージェントシステムの構成方法
- Ambient Calculusを用いた移動エージェントの形式化
- CEK-抽象機械による移動オブジェクトの形式的定義
- ソフトウェア工学の基礎ワークショップ(FOSE '96)の報告
- CafeOBJによる分散システムの形式仕様作成法
- 部分継続にもとづく移動コード記述 : 定義と操作的意味
- Design and implementation of a user-level real-time network engine
- 並行項書き換え計算による並行オブジェクト指向言語の実現
- PCクラスタを用いた仮想ディスクシステム
- スケーラブルメディアを扱うためのReal-Time Mach上の連続メディアツールキット
- 実時間システム向け文脈指向言語ProcneJ