On Constructing n-Entities Communication Protocol and Service with Alternative and Concurrent Functions(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)

スポンサーリンク

概要

• 論文の詳細を見る

• In this paper, we consider a flexible method for designing n-entities communication protocols and services. The proposed technique considers alternative and parallel composition of n service specifications and n protocol specifications, where n ≥ 2. The specifications are specified in Basic LOTOS which is a Formal Description Technique (FDT). We use the weak bisimulation equivalence (≈) to represent the correctness properties between the service specification and the protocol specification.

• 社団法人電子情報通信学会の論文
• 2002-11-01

著者

• BISTA Bhed

  Faculty of Software and Information Science, Iwate Prefectural University

• TAKAHASHI Kaoru

  Sendai National College of Technology

• Bista B

  Iwate Prefectural Univ. Iwate‐ken Jpn

• Bista Bhed

  The Iwate Prefectural University

• Shiratori Norio

  the Research Institute of Electrical Communication, Tohoku University

• Takahashi K

  The Sendai National College Of Technology

• Shiratori Norio

  Research Institute Of Electrical Communication Graduate School Of Information Sciences Tohoku Univer

• Takahashi Kaoru

  The Sendai National College Of Technology

• Shiratori Norio

  The Research Institute Of Electrical Communication Graduate School Of Information Sciences Tohoku Un

関連論文

• 情報処理学会,これからの50年(特別インタビュー,写真で綴る情報処理学会全国大会50年史,50周年記念特集号)
• 公開鍵分散管理を目的としたオーバーレイネットワーク適応型構成法の設計(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
• P2Pネットワークのための分散型認証システムの設計(セッション4:ネットワーク(1))
• 現実空間での社会的振舞を活用した柔軟かつ安全なアクセス制御方式(マルチメディアとコンテンツ共有,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
• LM-009 P2Pネットワークのための分散ハッシュ型認証手法(ユビキタス・モバイルコンピューティング)
• 社会的関係を活用した第三者に対する柔軟かつ安全なアクセス制御(セッション1:アプリケーション)
• やわらかいビデオ会議システムにおけるリスク値を用いたQoS調整戦略導出手法(ネットワーク品質・制御, ブロードバンド・ユビキタス・ネットワークとその応用)
• 利用者の知覚に基づく3次元共有空間の動的QoS制御方式(アクティブネットワーク, IP-VPN, ネットワークセキュリティ, 超高速ネットワーク, P2P通信, ネットワークソフトウェア, 一般)
• やわらかいビデオ会議システムにおける効果的なQoS調整戦略を決定するための知識獲得手法(ネットワーク/モバイル/ユビキタス, ソフトウェアエージェントとその応用論文)
• 事例ベースを用いたやわらかいビデオ会議システムの構成
• 周辺状況を利用した通学時の子供の目的地推定機能(ユビキタスNW,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
• 共生コンピューティングに基づく子供達の見守り支援システムの設計(情報社会のデザイン:Inter Societyと実世界アプリケーション)
• モバイルネットワーク環境におけるネットワーク構成情報の可視化手法の提案(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
• 共有情報制御による効果的な共同作業支援(セッション1:アプリケーション)
• モバイル環境のためのハンドオフ検出型TCPの提案(セッション1: プロトコル)
• ネットワークモビリティ環境における監視トラフィックの流量制御方式(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
• A flexible model of access control based on social relations (マルチメディア通信と分散処理)
• Access control in cooperative environments utilizing social systems (ACCESS) (情報ネットワーク)
• モバイルネットワークにおける監視トラフィックの流量制御方式(モバイル/放送融合アプリケーション,モバイルコンテンツ,モバイル映像配信,一般)
• モバイルネットワークにおける監視トラフィックの流量制御方式(学生特別セッション,モバイル/放送融合アプリケーション,モバイルコンテンツ,モバイル映像配信,一般)
• 無線アドホックネットワークにおけるフレーム結合に基づくペーシング方式の提案(MBL-6【モバイルアドホックネットワーク(2)】)
• 確率的時間論理に基づくフォールトモデルを用いた診断方法
• アラーム伝播のモデル化についての検討
• On Optimization in Composition of Concurrent Formal Specifications(Concurrent Systems and Hybrid Systems)
• Composition of Service and Protocol Specifications in Asynchronous Communication System(Networks)
• 健康支援システムにおける生体情報の効果的な獲得手法の設計(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
• 共生コンピューティングの形式化に関する一考察(情報社会のデザイン:Inter Societyと実世界アプリケーション)
• 共生コンピューティングに基づく地域情報基盤とその応用(Inter Society(1),Inter Society-ユビキタスネットワーク社会における知的協調・連携基盤の創造)
• 共生コンピューティング(3) : 子供とお年寄りの見守り事例(Inter Society(1),Inter Society-ユビキタスネットワーク社会における知的協調・連携基盤の創造)
• 共生コンピューティングに基づく地域情報基盤とその応用
• 1. Symbiotic Computing : ポスト・ユビキタス情報環境へ向けて(シンビオティック・システムの実現に向けて-人,社会,環境,情報システムの協調系-)
• 共生型3次元仮想空間の構成とその応用に関する一考察(ポストIPネットワーキング,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
• ユビキタス環境向けエージェントプラットフォームのための適応型通信機構の設計(モバイル/放送融合技術・システム・アプリケーション,モバイルコンテンツ,モバイル映像配信)
• コンテクストアウェアサービスのためのマルチエージェントに基づく適応型情報管理方式の提案(モバイル/放送融合技術・システム・アプリケーション,モバイルコンテンツ,モバイル映像配信)
• 共生コンピューティングに基づくグループ学習の効果的な支援手法(ソーシャルNW,トポロジ,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
• 共生コンピューティングに基づく利用者にやさしい見守り型健康支援システムの設計(ユビキタスNW,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
• やさしい見守り型健康支援システムの実現に向けて(セッション3:ユビキタス(1))
• オントロジを利用した健康支援システムの提案とその評価(Webインテリジェンス,情報洪水時代のネットワークサービス)
• 共生コンピューティングに基づく利用者にやさしい見守り支援システムの設計(情報社会のデザイン:Inter Societyと実世界アプリケーション)
• ネットワーク管理におけるイベントのリアルタイム識別の実現のためのログ要約手法の提案と評価(ネットワークセキュリティ,ユーザ指向の分散システム/インターネットの運用・管理)
• 広域分散型ネットワークイベント管理手法の提案 : 迷惑メール情報の組織間共有(セキュリティとトラヒック管理,VPN,NAT,ネットワークセキュリティ,DDoS,P2P及び一般)
• 共生コンピューティングに基づく利用者にやさしい見守り支援システムの提案(ユビキタスネットワーク,VPN,NAT,ネットワークセキュリティ,DDoS,P2P及び一般)
• ユビキタス環境におけるマルチエージェントに基づくコンテクスト情報管理方式の提案(ユビキタスネットワーク,VPN,NAT,ネットワークセキュリティ,DDoS,P2P及び一般)
• LO_002 uEyes : 見る側と見られる側の双方にやさしいリアルタイム見守り支援システムの提案(O分野:情報システム)
• LL_013 QuViE/P : 3次元仮想空間における利用者の知覚に基づく新しいQoS制御方式の提案と応用(L分野:ネットワークコンピューティング)
• LL_002 ネットワーク管理におけるイベントのリアルタイム識別の実現へ向けたログ要約手法の提案(L分野:ネットワークコンピューティング)
• 多人数参加型リアルタイム通信における参加者毎の品質要求に応じた資源割当と中継ツリー構築手法(アクティブネットワーク, IP-VPN, ネットワークセキュリティ, 超高速ネットワーク, P2P通信, ネットワークソフトウェア, 一般)
• ユビキタス環境におけるサービス移転先端末選択のためのネットワーク情報の取得及びその応用手法(アクティブネットワーク, IP-VPN, ネットワークセキュリティ, 超高速ネットワーク, P2P通信, ネットワークソフトウェア, 一般)
• トラフィック異常検出とログマイニングの組み合わせによるネットワークイベントの自動要約(アクティブネットワーク, IP-VPN, ネットワークセキュリティ, 超高速ネットワーク, P2P通信, ネットワークソフトウェア, 一般)
• 差分フィルタを用いたトラフィック解析とログマイニングによるネットワークイベントの自動判断(セッション2: 分散システム)
• 3D共生空間上の位置とネットワーク資源を考慮したビデオ品質制御手法(セッション7: 臨場感通信)
• ユビキタス環境におけるコンテクストを考慮したマルチメディア通信システム(セッション4: ミドルウェア・アプリケーション)
• 多対多ビデオ会議システムのためのアプリケーションマルチキャストツリー構成手法の提案と実装(セッション4: ミドルウェア・アプリケーション)
• マルチエージェントに基づく大規模災害時における知人安否確認システム(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
• ユビキタス環境向けミドルウェアにおけるエージェント間の関係に基づく動的サービス構成法(アクティブネットワーク,IP-VPN,ネットワークセキュリティ,超高速ネットワーク,P2P通信,ネットワークソフトウェア,一般)
• マルチエージェントに基づくQoSアウェアな3次元共有空間の設計と実装(セッション6A : 移動体ネットワークとエージェント(2))
• 状態マシンモデルに基づいたセキュリテイプロトコルの仕様化
• オブジェクト指向を導入した状態マシン記述
• 契約ネットプロトコルの形式的仕様化と解析
• 命題論理に基づいた並行システムの制約付き仕様記述
• 特集「マルチメディアコミュニケーションシステム」の編集にあたって
• 「マルチメディアコミュニケーションシステム」の編集にあたって
• 未来社会とIT(情報技術の新時代に向けて)
• 50周年と新たな旅たち : 会長就任にあたって
• 分散部分空間結合に基づく開放型アプリケーション連携法(ネットワークコミュニティ,ネットワークを支えるソフトウェア技術論文)
• 5D-6 多様な環境に適応した自動的なネットワークイベントの識別へ向けたトラフィックとログの相関導出方式の検討(ネットワーク運用管理,一般セッション,ネットワーク)
• 多対多マルチメディア通信のための反復型アプリケーション層マルチキャストトリー構成法(ネットワーク,通信技術の未来を拓く学生論文)
• ネットワークモビリティ環境におけるモバイルデバイス監視技術の開発(モバイル/放送融合技術・システム・アプリケーション,モバイルコンテンツ,モバイル映像配信)
• 多人数参加型マルチメディア通信のための反復型アプリケーションレイヤマルチキャストツリー構成法の実証と実環境評価(解析,一般,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
• BK-1-10 Event-based Network Monitoring and Analysis Technology for High-speed & Wide-area Network
• BK-1-6 反復型ミドルウェアレベルマルチキャストツリー構成法の実証と評価(BK-1. JGN2の研究開発成果と次世代インターネットへの展開,ソサイエティ特別企画,ソサイエティ企画)
• B-7-27 Development of Management Framework for Network Mobility
• DS-2-4 パーセプチャルウェアの実現へ向けた開放型ディジタル空間構成法(DS-2. 共生コンピューティング,シンポジウムセッション)
• 共生型協働作業支援のための開放型三次元ディジタル空間構成法(情報社会のデザイン:Inter Societyと実世界アプリケーション)
• オブジェクトのインタラクションに基づく3次元仮想協調作業環境のためのアプリケーション間連携方式の提案(ヘルスケアとコミュニケーション支援,オーバーレイネットワーク,VPN,DDoS,ネットワークセキュリティ,P2P通信,ネットワークソフトウェア,一般)
• ネットワークモビリティをサポートする新世代ユビキタスネットワーク監視フレームワーク : 総務省SCOPEプロジェクト(セッション4:無線ネットワーク)
• 高速ネットワークの監視
• 高速通信機構のUNIXクラスタへの適用
• ユビキタス環境におけるエージェント指向ビデオ会議システムのフレームワークの設計(セッション5 : 移動体ネットワークとエージェント(1))
• Flexible Networks: Basic Concepts and Architecture (Special Issue on Distributed Architecture for Next Generation Communication Networks)
• Progressive pulmonary calcification after successful renal transplantation
• A New Distributed QoS Routing Algorithm for Supporting Real-Time Communication in High-Speed Networks (Special Issue on Network Interworking)
• Operator Based Protocol Synthesis for LOTOS Specification
• State Machine Specification with Reusability(Concurrent Systems)(Concurrent Systems and Hybrid Systems)
• Specification and Analysis of the Contract Net Protocol Based on State Machine Model(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
• On Constructing n-Entities Communication Protocol and Service with Alternative and Concurrent Functions(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
• Specification of a Concurrent System Based on Propositional Logic (特集:マルチメディア通信と分散処理)
• Composition of Protocol Functions(Special Section on Concurrent Systems Technology)
• Specification and Validation of a Dynamically Reconfigurable System(Special Section on Concurrent Systems Technology)
• A Concurrent Calculus with Geographical Constraints(Special Section on Concurrent Systems Technology)
• Making Changes in Formal Protocol Specifications
• A Topological Framework of Stepwise Specification for Concurrent Systems (Special Section on Description Models for Concurrent Systems and Their Applications)
• On Specifying Protocols Based on LOTOS and Temporal Logic
• A Consideration Of Integrated System Management In OSI Environment
• An Improvement of The Protocol Synthesis Algorithm
• A Compositional Approach for Constructing Communication Services and Protocols (Special Section on Concurrent Systems Technology)
• A Consideration of Transient Characteristics on Throughput in a Slotted Ring Network (Special Section on Description Models for Concurrent Systems and Their Applications)
• An Error Detection Method for Recursive Processes for LOTOS Instruction and Its Support System
• A Flexible Verifier of Temporal Properties for LOTOS
• Modeling, Verification and Testing of Web Applications Using Model Checker

もっと見る 閉じる

スポンサーリンク