Specification of a Concurrent System Based on Propositional Logic (特集:マルチメディア通信と分散処理)
スポンサーリンク
概要
- 論文の詳細を見る
Formal Description Techniques(FDTs)are needed to achieve a highly reliable system design. In many FDTs, a system is specified by explicitly describing its behavior. However, in such a specification, the logical property of the system may be unclear and a modification of part of the specification may affect the entire specification. To cope with these problems, we propose a propositional logic based functional requirement description method for a concurrent system consisting of several subsystems. A method for synthesizing a state transition system as a formal specification from the given functional requirement specifications is also given with an application examole.
- 一般社団法人情報処理学会の論文
- 1999-01-15
著者
-
SHIRATORI Norio
Research Institute of Electrical Communication Graduate School of Information Science, Tohoku Univer
-
TAKAHASHI Kaoru
Sendai National College of Technology
-
KATO Yasushi
Sendai National College of Technology
-
Shiratori Norio
Research Institute Of Electrical Communication Graduate School Of Information Science Tohoku Univers
-
Takahashi K
The Sendai National College Of Technology
-
Shiratori Norio
Research Institute Of Electrical Communication Graduate School Of Information Sciences Tohoku Univer
-
Ando Toshihiko
Sendai National College Of Technology
-
Sugawara Kana
Sendai National College Of Technology:presently With University Of Electro-communications
-
Shiratori Norio
Research Institute Of Electric Communications Tohoku University
関連論文
- 情報処理学会,これからの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と実世界アプリケーション)
- A flexible model of access control based on social relations (マルチメディア通信と分散処理)
- Access control in cooperative environments utilizing social systems (ACCESS) (情報ネットワーク)
- Composition of Service and Protocol Specifications in Asynchronous Communication System(Networks)
- BS-4-2 プライバシーを考慮した分散認証法の提案(BS-4.ユビキタスネットワークにおけるネットワークセキュリティ,シンポジウムセッション)
- A-7-2 ユビキタス環境での安全なプライバシー情報の交換についての検討(A-7.情報セキュリティ,一般セッション)
- 新たな50年へ向けて-心に木を植える-
- 移動ネットワークにおける効率的な管理情報の収集制御方式
- WEB時代のイノベーションに向けた"技術的・社会的"課題
- WEB時代のイノベーションに向けた"技術的・社会的"課題
- 人の暮らしと自然のICTに基づいた共生へ向けて-「Kurihara」グリーンプロジェクト-
- 人の暮らしと自然のICTに基づいた共生へ向けて-「Kurihara」グリーンプロジェクト-
- MobileIPv6 MIBおよびNEMO MIBを用いたネットワーク構成情報の可視化手法
- 2050年マルチメディア通信と調和・共生コンピューティング
- 共生型健康支援システムにおけるセンサデータの効果的な獲得手法
- 人の暮らしと自然のICTに基づいた共生へ向けて-「Kurihara」グリーンプロジェクト-
- A dynamically RTS threshold adjusting scheme for IEEE 802.11 (マルチメディア通信と分散処理)
- WEB時代のイノベーションに向けた"技術的・社会的"課題
- 共生型健康支援システムにおけるセンサデータの効果的な獲得手法
- 共生型健康支援システムにおけるセンサデータの効果的な獲得手法
- 2050年マルチメディア通信と調和・共生コンピューティング
- B-7-107 A Buffering Scheme to Enhance Macro-mobility in Mobile IP
- 6D-2 エージェント間協調によるレストランガイドシステムに関する一考察(人工知能一般(2),一般セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- L-036 分散認証基盤を活用したプライベート情報交換アーキテクチャの提案(L分野:ネットワーク・セキュリティ,一般論文)
- Design and Implementation of User-centered Application Software System in a Distributed Computing Environment
- Knowledge-Based Protocol Design for Computer Communication Systems
- 6F-7 TCP-Cherryの実現へ向けて : 衛星IPネットワーク向け輻輳制御TCP-Peach+の実装と評価(非常時通信・災害・長遅延NW,一般セッション,ネットワーク,情報処理学会創立50周年記念)
- 3F-2 やさしい見守り型健康支援システムにおけるセンサデータを用いた知識フィルタリング手法(センシングシステム(1),一般セッション,ネットワーク,情報処理学会創立50周年記念)
- LM-4 A New TCP for Efficient Operations over Wireless Links
- 5ZC-7 共生型3次元仮想空間における共生感提供機能の一構成(社会システムとWeb(2),学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 6ZA-5 グリーン指向情報処理基盤技術の確立に向けて : 次世代ネットワーク管理フレームワーク(システム蓮用・管理(2),学生セッション,ネットワーク,情報処理学会創立50周年記念)
- An Effective QoS Control Scheme for 3D Virtual Environments Based on User's Perception
- 共生型3次元仮想空間における共生感提供機能の設計
- 共生型3次元仮想空間における共生感提供機能の設計
- JaNI: JGN's Next Generation Network Information System (高品質インターネット 研究報告)
- JaNI : JGN's Next Generation Network Information System
- A Fuzzy Admission Control Scheme and Its Performance Evaluation
- A Fuzzy Based Equivalent Capacity Estimation Method for Bandwidth Allocation in High-speed Networks (特集 21世紀のコンピュータセキュリティ技術)
- A Genetic Algorithm Based QoS Routing Method for Multimedia Communications Over High-Speed Networks(Special Issue on High Speed Networks and Multimedia Applications)
- MobiSNMP : A Model for Remote Information Collection from Moving Entities Using SNMP over MobileIPv6(Ad hoc, Sensor Network and P2P, Autonomous Decentralized Systems)
- DCAA : A Dynamic Constrained Adaptive Aggregation Method for Effective Network Traffic Information Summarization(Implementation and Operation)(Internet Technology IV)
- A Genetic Algorithm Based QoS Routing Method for Multimedia Communications Over High-Speed Networks (特集:高速ネットワークとマルチメディアアプリケーション)
- Progressive pulmonary calcification after successful renal transplantation
- 移動ネットワーク環境におけるSNMPを用いた情報収集手法
- Effective Knowledge Reinforcement in Networked Cooperative Work Based on Symbiotic Computing: Basic Concept and Its Application
- A Flexible model and system design of access control based on social relationships (情報ネットワーク)
- DS-2-2 Toward Post Ubiquitous Information Society : Problems and Future Direction of R&D
- High Resolution Traffic Measurement : The challenges and benefits
- High Resolution Traffic Measurement : The challenges and benefits
- High Resolution Traffic Measurement : The challenges and benefits
- Evaluation system and its design of iterative ALM tree construction method for many-to-many multimedia communication (情報ネットワーク)
- SB-14-3 High Resolution Traffic Measurement
- BS-7-2 Detecting and Diagnosing Events from Monitored Data in a Wide Area Network
- 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
- 栗原グリーンプロジェクト - 環境負荷低減型のまちづくりを目指したICTシステムの構想 -
- 栗原グリーンプロジェクト - 広域分散地域におけるエネルギー管理システム -
- 栗原グリーンプロジェクト - グリーン指向管理情報ベース(G-MIB) -
- 栗原グリーンプロジェクト - スマートフォンを用いたパークアンドライド支援システム -
- 栗原グリーンプロジェクト - 環境負荷低減のための生活支援システム -
- Socio-familiar Personalized Serviceの提案とその応用 : 次世代ユビキタスサービスを実現するネットワークソフトウェアへ向けて(ネットワークソフトウェア技術とその応用論文)
- Performance Analysis on the Controllable Slotted DS-CDMA with an Allocating Buffer for Collided Traffic(Satellite Communications)
- 個人情報を活用した人にやさしいサービスの実現方法に関する検討
- パーベイシブ環境におけるサービスの個人化とその応用
- Towards Application-Centric Flexible Network Operation and Management (Special Issue on Distributed Processing for Controlling Telecommunications Systems)
- A Compositional Approach for Constructing Communication Services and Protocols (Special Section on Concurrent Systems Technology)
- A New Approach for Protocol Synthesis Based on LOTOS (Special Section on Net Theory and Its Applications)
- A Support Method for Specification Process Based on LTSs (Special Section on Net Theory and Its Applications)
- A QoS Control Mechanism Using Knowledge-Based Multiagent Framework( Software Agent and Its Applications)
- Knowledge Circulation Framework for Flexible Multimedia Communication Services(Software Agent and Its Applications)
- An Error Detection Method for Recursive Processes for LOTOS Instruction and Its Support System
- 利用者が所有する個人情報を活用したサービス横断的個人化方式の提案(ポストIPネットワーキング,新世代ネットワーク,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
- A Flexible Verifier of Temporal Properties for LOTOS
- Modeling, Verification and Testing of Web Applications Using Model Checker
- 災害に強いグリーン指向ネバーダイ・ネットワーク
- B-16-17 次世代グリーン指向ネットワーク管理技術(B-16.インターネットアーキテクチャ,一般セッション)
- B-14-2 グリーン指向ネットワーク管理に基づくセンサー連動型ICTシステムの省電力化(B-14.情報通信マネジメント,一般セッション)
- B-14-1 グリーン指向ネットワーク管理に基づくIP電話システムの省電力化(B-14.情報通信マネジメント,一般セッション)
- グリーン指向ネットワーク管理に基づくIP電話システムの省電力化に関する一検討