文献
J-GLOBAL ID:201602216930797065   整理番号:16A0008134

述語論理式による仕様記述に基づくクラウドブローキングの提案

著者 (3件):
資料名:
巻: 2015  号: MPS-105  ページ: VOL.2015-MPS-105,NO.6 (WEB ONLY)  発行年: 2015年09月22日 
JST資料番号: U0451A  資料種別: 会議録 (C)
記事区分: 短報  発行国: 日本 (JPN)  言語: 日本語 (JA)
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
本論文では,システム構成や要求性能値などハードウェアに関する顧客要求を記述する述語論理式を新たに定義し,その述語論理式を基にシステム構成を検証しアプリケーション環境上で利用する仮想マシンの性能スペックを選定する方法を提案する。述語論理式は原子論理式の連言であり,原子論理式の述語でクラウドサービスを表し,項でパラメータを表す。(著者抄録)
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

準シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

分類 (1件):
分類
JSTが定めた文献の分類名称とコードです
計算機システム開発 
タイトルに関連する用語 (3件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る