論文の概要: Proceedings of the First Workshop on Trends in Configurable Systems
Analysis
- arxiv url: http://arxiv.org/abs/2310.18720v1
- Date: Sat, 28 Oct 2023 14:51:26 GMT
- ステータス: 処理完了
- システム内更新日: 2023-10-31 16:54:39.145362
- Title: Proceedings of the First Workshop on Trends in Configurable Systems
Analysis
- Title(参考訳): 構成可能なシステム分析に関する第1回ワークショップの開催報告
- Authors: Maurice H. ter Beek, Clemens Dubslaff
- Abstract要約: パラメータに依存したり、様々な特徴をサポートするシステムの分析は、設定オプションの数が指数関数的に急増しているため、難しい。
この巻には、システム分析のトレンドに関する最初のワークショップであるTiCSA 2023の調達後の記事が掲載されている。
- 参考スコア(独自算出の注目度): 2.9642661320713555
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The analysis of configurable systems, i.e., systems those behaviors depend on
parameters or support various features, is challenging due to the exponential
blowup arising in the number of configuration options. This volume contains the
post-proceedings of TiCSA 2023, the first workshop on Trends in Configurable
Systems Analysis, where current challenges and solutions in configurable
systems analysis were presented and discussed.
- Abstract(参考訳): 構成可能なシステム(例えば、パラメータに依存するシステムや様々な特徴をサポートするシステム)の分析は、設定オプションの数が爆発的に増加するため困難である。
ticsa 2023は、構成可能なシステム分析のトレンドに関する最初のワークショップで、構成可能なシステム分析における現在の課題と解決策が提示され、議論された。
関連論文リスト
- Identifiability Analysis of Linear ODE Systems with Hidden Confounders [45.14890063421295]
本稿では,隠れた共同設立者を組み込んだ線形ODEシステムにおける識別可能性の体系的解析について述べる。
最初のケースでは、潜伏した共同設立者は因果関係を示さないが、その進化は特定の形態に固執する。
その後、この分析を、隠れた共同創設者が因果依存性を示すシナリオにまで拡張する。
論文 参考訳(メタデータ) (2024-10-29T10:15:56Z) - Technical Upgrades to and Enhancements of a System Vulnerability Analysis Tool Based on the Blackboard Architecture [0.0]
このシステムでは、ブラックボードアーキテクチャのルールファクトパラダイムに基づく一般化ロジックが実装された。
本稿は,マルチスレッディングの実装を含む今後の研究の道筋について論じる。
論文 参考訳(メタデータ) (2024-09-17T05:06:42Z) - Configuration Monitor Synthesis [1.9977040198878984]
動作中のシステムの未知の構成を決定するために,構成監視を導入する。
自動理論構成モニタを合成するモジュールで汎用的なパイプラインを開発した。
また,本手法は,ランタイムモニタリングや障害診断における既存の作業を一般化し,統一するものであることを示す。
論文 参考訳(メタデータ) (2024-08-30T15:57:35Z) - Looking back and forward: A retrospective and future directions on Software Engineering for systems-of-systems [0.11470070927586014]
TextitInternational Workshop on Software Engineering for Systems-of-Systems (SESoS)シリーズは、ソフトウェア工学の観点からSoSに対処する科学フォーラムのギャップを埋めるために2013年に始まった。
本稿では,SeSoSワークショップ(2013-2023)の11版にまたがる57件の論文をもとに,SoSのためのソフトウェアエンジニアリングの進化と今後の軌道について概説する。
論文 参考訳(メタデータ) (2024-03-25T13:12:39Z) - It Is Time To Steer: A Scalable Framework for Analysis-driven Attack Graph Generation [50.06412862964449]
アタックグラフ(AG)は、コンピュータネットワークに対するマルチステップ攻撃に対するサイバーリスクアセスメントをサポートする最も適したソリューションである。
現在の解決策は、アルゴリズムの観点から生成問題に対処し、生成が完了した後のみ解析を仮定することである。
本稿では,アナリストがいつでもシステムに問い合わせることのできる新しいワークフローを通じて,従来のAG分析を再考する。
論文 参考訳(メタデータ) (2023-12-27T10:44:58Z) - Solving Multi-Configuration Problems: A Performance Analysis with Choco
Solver [49.712444772173775]
本稿では,個別の試験を生成するためのマルチコンフィグレーションの適用例を示す。
また、対応するパフォーマンス問題に対するいくつかの洞察を得るのに役立つ制約解決器のパフォーマンス分析も提供します。
論文 参考訳(メタデータ) (2023-10-04T08:34:32Z) - Supervised DKRC with Images for Offline System Identification [77.34726150561087]
現代の力学系はますます非線形で複雑なものになりつつある。
予測と制御のためのコンパクトで包括的な表現でこれらのシステムをモデル化するフレームワークが必要である。
本手法は,教師付き学習手法を用いてこれらの基礎関数を学習する。
論文 参考訳(メタデータ) (2021-09-06T04:39:06Z) - An Analysis of Distributed Systems Syllabi With a Focus on
Performance-Related Topics [65.86247008403002]
我々は、トップコンピュータサイエンスプログラムから51の現在(2019-2020)の分散システムシラビのデータセットを分析した。
本研究では,DSコースで言及されているインフラの規模を,小規模なクライアントサーバシステムからクラウドスケール,ピアツーピア,グローバルスケールシステムまで検討する。
論文 参考訳(メタデータ) (2021-03-02T16:49:09Z) - An Overview of Recommender Systems and Machine Learning in Feature
Modeling and Configuration [55.67505546330206]
レコメンダーシステムおよび機械学習技術の適用に関連する潜在的な新しい研究ラインの概要を説明します。
本論文では,レコメンダーシステムと機械学習の応用例を示し,今後の研究課題について考察する。
論文 参考訳(メタデータ) (2021-02-12T17:21:36Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。