Consistency Checking of Timeliness QoS of Multi-Media Systems and Derivation of Codes for Timing Control

• Mori, Kazuo

• Okano, Kozo

• Taniguchi, Kenichi

Bibliographic Information

Other Title

• マルチ　メディア　システムにおける Timeliness QoS一貫性検証と時間制御コード導出
• マルチメディアシステム　ニ　オケル　Timeliness QoS　イッカンセイ　ケンショウ　ト　ジカン　セイギョ　コード　ドウシュツ

Abstract

This paper provides a method to check consistency of Timeliness QoS of a distributed multi-media system consisting of several components. In the method, provided/required timeliness QoS are represented in linear constraints. The method translates a timeliness QoS decision problem into an in-feasibility problem of linear programming. The paper also describes how to generate codes to control timing of each component of system.

Journal

• 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス

  電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 103 (583), 13-18, 2004-01-16

  電子情報通信学会

Keywords

• Timeliness QoS
• 線形不等式
• 検証
• 時間オートマトン
• 導出
• timeliness QoS
• linear inequality
• verificationd
• timed automata
• derivation

Details

• CRID: 1050581168904473088
• NII Article ID: 110003276701
• NII Book ID: AN10013287
• HANDLE: 11094/27438
• NDL BIB ID: 6860553
• ISSN: 09135685
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I6860553
• Text Lang: ja
• Article Type: journal article
• Data Source:
  • IRDB
  • NDL
  • CiNii Articles