検索結果 19 件
紙図書
国立国会図書館
- 件名ワイヤレスインターネット / コンテンツ配信 / マルチキャスト / 公平性 / 輻輳制御 / モバイル通信 / ハンドオーバ
紙図書
国立国会図書館
- 件名IP over WDM / WDMメトロリングネットワーク / メディアアクセス制御 / 光バースト交換網 / 複合バースト信号 / QoS制御 / 遅延 / 公平性
デジタル文書・図像類
全国の図書館
- 件名モデル検査 活性 公平性 準公平性 分割統治 公平性の理解 反例 Maude
- 一般注記公平性のもとでの活性のモデル検査対象の論理式は"公平性 ⇒ 活性"の形をとる。この論......の計算と空間を必要とするため、公平性が大きくなるとBuchiオート......もできなくなる。本研究では、"公平性 ⇒ 準公平性"を満たし、公平性より小さな論理式である準公平性を探し、"準公平性 ⇒ 活性"をモデル検査することで公平性のもとでのモデル検査を可能とする方法を提案する。すなわち、"公平性 ⇒ 活性"の代わりに、"公平性⇒ 準公平性" と"準公平性 ⇒ 活性"をモデル検査することである。 : Model c...
検索結果は以上です。