マルチ　メディア　システムにおける Timeliness QoS一貫性検証と時間制御コード導出

• 森, 一夫

• 岡野, 浩三

• 谷口, 健一

書誌事項

タイトル別名

• Consistency Checking of Timeliness QoS of Multi-Media Systems and Derivation of Codes for Timing Control
• マルチメディアシステム　ニ　オケル　Timeliness QoS　イッカンセイ　ケンショウ　ト　ジカン　セイギョ　コード　ドウシュツ

抄録

分散環境におけるマルチメディアシステムのコンポーネントに対する提供Timeliness QoSとシステム全体における要求Timeliness Qosを線形制約式で表現し,要求Timeliness QoSが提供Timeliness Qosの下で満たされること(一貫性)を検査する手法を提案する.提案手法では,このQoS検査問題を線形計画法の非可解性問題に帰着させる.また検査済のQos一貫性を保証したコードを時間オートマトン表現を介して導出する手法についても述べる.

収録刊行物

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

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

  電子情報通信学会

キーワード

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

詳細情報

• CRID: 1050581168904473088
• NII論文ID: 110003276701
• NII書誌ID: AN10013287
• HANDLE: 11094/27438
• NDL書誌ID: 6860553
• ISSN: 09135685
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I6860553
• 本文言語コード: ja
• 資料種別: journal article
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles