適応型システムとサービス競合
スポンサーリンク
概要
- 論文の詳細を見る
環境変化に対応して機能を変更・拡充するシステムである適応型システムにおいては, 環境変化に追随してソフトウェア機能の追加・拡充ができるしかけが必要となる. 宣言型言語を用いたプログラムにおいては, このしかけが作れる可能性が高い. 機能の追加に際しては既存機能との競合が問題となる. 本論文では, 条件部の部分一致により起動されるプロダクションルールによる通信サービス仕様記述を前提とした通信システムにおけるサービス追加時のサービス仕様の競合の形式的定義を提案する. 通信サービスは状態遷移により記述できる事に着目して, 端末の状態を述語項を用いて記述し, 状態遷移の実行可能性, 状態の到達可能性を定義する事により, サービス競合の形式的定義を行う.
- 社団法人電子情報通信学会の論文
- 1997-01-24
著者
関連論文
- マルチエージェントを用いた無中断予備VP設定方式
- インテリジェントセンササーバソフトウェア構成法(センサネットワーク)
- ホームネットワークにおける機器仮想化ソフトウェア構成法(SIP/NGN・一般)
- ルールベース言語によるWebサービス開発法(プロトコル・一般)
- 第3回コンプレックスコンピュータシステム国際会議 (ICECCS'97)の参加報告
- ホームネットワークにおけるサービス競合検出法に関する一考察(映像通信,コンテンツ配信ネットワーク,マルチキャスト,一般)
- B-19-6 ホームネットワークにおけるサービス競合検出法に関する一考察(B-19.ネットワークソフトウェア,一般講演)
- B-6-206 サービス競合回避のためのサービス起動制御法(B-6. ネットワークシステム)
- B-6-137 システム走行時のサービス競合の回避法
- B-6-205 複数のゲートキーパーに対するルールベース言語の適用の-考察
- ネットワークセントリックなアプローチを用いたロボット制御のためのソフトウェアアーキテクチャ(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
- B-19-15 ルールベース言語によるプログラム記述法の一考察(B-19.ネットワークソフトウェア,一般セッション)
- B-19-14 ルールの集合から状態遷移図を直接獲得する手法の一考察(B-19.ネットワークソフトウェア,一般セッション)
- B-6-25 基本状態遷移図から拡張状態遷移図への自動変換 : 分岐条件の自動抽出(B-6.ネットワークシステム,一般セッション)
- B-19-12 ロボットに依存しない共通の制御方法に関する一考察(B-19. ネットワークソフトウェア,一般セッション)
- B-20-16 ネットワークを用いたロボット間通信支援に関する一考察(B-20.ユビキタス・センサネットワーク,一般セッション)
- B-6-50 ルールベース言語で記述したサービスプログラムの開発支援(B-6.ネットワークシステム,一般セッション)
- B-19-5 ルールベース言語で書かれたプログラムから状態遷移図の自動獲得(B-19.ネットワークソフトウェア,一般セッション)
- B-19-7 非電話サービスにおけるサービス競合検出法に関する一考察(B-19.ネットワークソフトウェア,一般セッション)
- B-19-22 物理ネットワーク非依存のホームネットワークプログラム構成法(B-19. ネットワークソフトウェア,一般セッション)
- B-19-8 ネットワークサービス仕様の自動獲得法(B-19. ネットワークソフトウェア,一般セッション)
- B-20-19 位置検出センサーを用いた危険回避サービスに関する一考察(B-20.ユビキタス・センサネットワーク,一般講演)
- B-19-12 ルールベース言語を用いたWebサービスプログラム作成(B-19.ネットワークソフトウェア,一般講演)
- B-7-2 人とネットワークロボットとの会話のためのソフトウェアに関する一考察(B-7.情報ネットワーク,一般講演)
- B-19-13 サービス競合検出におけるイベントの変化の識別法(B-19.ネットワークソフトウェア,一般講演)
- B-19-12 状態遷移モデルの非電話系サービスへの適用法の一考察(B-19.ネットワークソフトウェア,一般講演)
- B-19-11 ルールベース言語を用いた複数端末一括制御法に関する一考察(B-19.ネットワークソフトウェア,一般講演)
- 知識を用いたサービス競合検出システムの試作と評価(次世代ネットワークソフトウェア論文特集)
- B-6-54 3つのサービスによる競合発生のメカニズムに関する考察
- プロダクションルールによるマルチメディアサービス仕様記述の一考察
- プロダクションルールによるマルチメディアサービス仕様記述の一考察
- 通信サービスにおけるダウンサイジングに向けたソフトウェアアーキテクチャ
- STRによるマルチメディアサービスの仕様記述に関する一検討
- B-21-7 アドホックネットワークにおける高信頼性化と省電力化のための集中制御アルゴリズム(B-21.アドホックネットワーク,一般セッション)
- MANETにおける距離と電池を考慮したブロードキャスト手法(ネットワークソフトウェア論文)
- B-21-5 マルチホップ無線ネットワークにおける経路信頼性維持と送信電力最小化の一考察(B-21. アドホックネットワーク,一般セッション)
- B-21-20 マルチホップ無線ネットワークにおける送信電力と経路信頼性との関係(B-21.アドホックネットワーク,一般講演)
- B-19-7 Androidと自律分散クラスタリングを用いた新世代児童見守りシステムの構築に向けて(B-19.ネットワークソフトウェア,一般セッション)
- 競合検出システムの試作と評価
- 競合検出システムの試作と評価
- サービス競合検出における端末割当数削減法
- 非決定性競合における到達可能性の高速判定法
- 非決定性競合における到達可能性の高速判定法
- B-6-53 非決定性競合の効率的検出法
- 競合検出における端末割り当ての最少化 : 端末割り当て数削減法の証明
- 非決定性競合における到達可能性の高速判定法
- 競合検出における端末割り当てに関する一考察
- 静的競合検出法の性質に関する考察 : 競合の重複検出の回避
- 静的競合検出法の性質に関する考察 : 競合の重複検出の回避
- B-6-36 サービス競合検出アルゴリズムの評価
- B-6-35 サービス競合検出プログラムに関する一考察
- 競合検出のための知識の自動獲得法
- サービス競合の静的検出法(ネットワークソフトウェア)
- 静的競合検出法の性質に関する考察--競合の重複検出の回避
- サービス競合防止に関する一考察 : オントロジーの活用
- 知識を利用したサービス競合の検証法
- 通信プロトコルの回復処理における設計誤りのReal-Time Temporal Logic を用いた検出
- 通信プロトコルの回復処理における設計誤りのReal-Time Temporal Logic を用いた検出
- 通信プロトコルの回復処理における設計誤りのReal-Time Temporal Logicを用いた検出(並列・分散)
- マルチエージェントを用いた無中断予備VP設定方式
- プロトコル検証シミュレータの開発とコネクション確立プロトコルへの適用
- 通信プロトコルのリスポンシブネス検証における仮想システム状態の導入効果の実験的評価
- B-21-4 MANETにおける自律分散クラスタリングに基づく経路情報の分散管理手法(B-21.アドホックネットワーク,一般セッション)
- B-19-15 MANETのサービス発見手法におけるサービス情報の変化に適応したモバイルエージェントの移動機構(B-19.ネットワークソフトウェア,一般セッション)
- B-21-1 パケット変換とアドレス共有による異種アドホックネットワーク間ルーティング(B-21.アドホックネットワーク,一般セッション)
- 通信ソフトウェア工学に関する研究動向
- 第2回コンプレックスコンピュータシステム国際会議(ICECCS'96)の開催報告
- 適応型システムとサービス競合
- アドホックネットワークにおけるルーチングIDを用いた経路探索負荷軽減のための迂回経路構築手法(ネットワークソフトウェア技術とその応用論文)
- ネットワークソフトウェア技術とその応用論文特集の発行にあたって(ネットワークソフトウェア技術とその応用論文)
- AndroidとMANETに基づいた自律構成可能な新世代児童見守りシステム(モバイルユビキタス/センサ技術,アドホックネットワーク,RFID,一般及び技術展示)
- AndroidとMANETに基づいた自律構成可能な新世代児童見守りシステム(モバイルユビキタス/センサ技術,アドホックネットワーク,RFID,一般及び技術展示)
- Pure P2Pのためのモバイルエージェントを利用したサービス情報の伝播方式(P2P)
- 移動・固定シンクの共存によるWSNの長寿命化手法(トラヒック計測・制御,ポリシー管理,ネットワーク異常検知,信頼性,認証,ID/名前空間,ネットワークセキュリティ,プライバシー,VPN,DDoS及び一般)
- BS-8-7 アシュアランスネットワーク設計方法論(BS-8. ネットワークソフトウェア特別ポスターセッション,シンポジウムセッション)
- BS-8-6 MANETにおけるBluetooth通信を用いたマルチコネクションの効率化(BS-8. ネットワークソフトウェア特別ポスターセッション,シンポジウムセッション)
- BP-7-4 Android端末で構成するBluetooth MANETに基づく見守りシステム(BP-7.安全・安心ICT基盤の実現を目指すアドホック・メッシュネットワーク,パネルセッション,ソサイエティ企画)
- BS-8-5 Android端末を用いたBluetooth MANETにおける自律的衝突回避手法(BS-8.ネットワークソフトウェア特別ポスターセッション,シンポジウムセッション)
- BS-8-4 アドホックネットワークにおけるルーティングIDを用いたノード素な複数経路構築手法(BS-8.ネットワークソフトウェア特別ポスターセッション,シンポジウムセッション)
- VANETを利用した都市交通における渋滞軽減手法(ホームネットワーク,ユビキタスネットワーク,クラウドコンピューティング,コンテキストアウェア,位置情報サービス,e-コマース及び,一般)
- Android端末で構成するBluetooth MANETを用いた新世代児童見守りシステム(技術展示,モバイルユビキタス/センサ技術,アドホックネットワーク,RFID,一般及び技術展示)
- Android端末で構成するBluetooth MANETを用いた新世代児童見守りシステム(技術展示,モバイルユビキタス/センサ技術,アドホックネットワーク,RFID,一般及び技術展示)
- 無線センサネットワークにおける分散データ転送のための重複を低減する複数経路の構築とノードの経路分岐数通知によるパラメータ設定方式 (ディペンダブルコンピューティング)
- BS-8-3 ワイヤレスセンサネットワークにおけるBloomFilterを用いた偽造パケットによるなりすまし検知手法(BS-8.ネットワークソフトウェア特別ポスターセッション,シンポジウムセッション)
- Android 端末で構成する Bluetooth MANET を用いた新世代児童見守りシステム
- VANETを利用した都市交通における渋滞軽減手法
- 自律分散クラスタリングとP2Pオーバレイネットワークに基づくMANETの実験的評価
- Bluetooth MANETを用いたP2Pオーバレイネットワークとクラスタリングの実装
- BS-6-7 VANETにおける情報共有のための車両特性を考慮したデータ転送方式(BS-6. ネットワークソフトウェア特別ポスターセッション,シンポジウムセッション)
- B-20-14 堅忍持久なネットワークシステムの構築を目指して(B-20.アドホックネットワーク,一般セッション)
- 無線センサネットワークにおける分散データ転送のための重複を低減する複数経路の構築とノードの経路分岐数通知によるパラメータ設定方式(ネットワーク環境でのディペンダビリティー)
- VANETを利用した都市交通における渋滞軽減手法とその効果(一般,Resilient Network,ディザスタ・リカバリ,BCP(Business Continuity Plan),臨時ネットワーク構築,省電力ネットワーク技術,TCP/IP,プロトコル,ルーチング,ネットワーク管理,認証/ID管理及び一般)
- ひろしま菓子博覧会における遅延・切断耐性モバイルアドホックネットワークに基づく展示評価情報の伝搬・収集システム(モバイルユビキタス/センサ技術,アドホックネットワーク,RFID,一般及び技術展示)
- ひろしま菓子博覧会における遅延・切断耐性モバイルアドホックネットワークに基づく展示評価情報の伝搬・収集システム(モバイルユビキタス/センサ技術,アドホックネットワーク,RFID,一般及び技術展示)
- ひろしま菓子博覧会における遅延・切断耐性モバイルアドホックネットワークに基づく展示評価情報の伝搬・収集システム(モバイルユビキタス/センサ技術,アドホックネットワーク,RFID,一般及び技術展示)
- BS-4-12 VANETを利用した動的交通情報収集エリア変更機能を用いた渋滞軽減手法(BS-4.ネットワーク技術特別ポスターセッション,シンポジウムセッション)
- BS-4-7 ノード密度の変化するMANETにおける自己組織型送信電力制御法に関する検討(BS-4.ネットワーク技術特別ポスターセッション,シンポジウムセッション)
- アドホックネットワークにおけるセキュア分散データ転送のための経路重複ノード数を低減する複数経路に関する考察(ルーティング)
- Bluetooth MANETに基づくネットワークアーキテクチャの構築とその適用事例(モバイルユビキタス/センサ技術,アドホックネットワーク,RFID,一般及び技術展示)
- Android端末を用いたBluetooth MANETにおける探索・接続周期決定手法(無線LAN,M2M/センサネットワーク,P2P/アドホックネットワーク,モバイルアプリケーションとサービス,オフロード技術,映像配信,およびこれらの品質と省電力化,一般)