論文の概要: Towards the Coordination and Verification of Heterogeneous Systems with Data and Time

• arxiv url: http://arxiv.org/abs/2508.12325v1
• Date: Sun, 17 Aug 2025 10:48:01 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-08-19 14:49:10.684929
• Title: Towards the Coordination and Verification of Heterogeneous Systems with Data and Time
• Title（参考訳）: データと時間による不均一システムのコーディネーションと検証に向けて
• Authors: Tim Kräuter, Adrian Rutle, Yngve Lamo, Harald König, Francisco Durán,
• Abstract要約: 我々は、データを交換し、リアルタイム機能を含む異種部品の形式解析を行うことができる非侵襲的な協調フレームワークを開発した。 このフレームワークは、ヘテロジニアス言語の統合と部品の調整のために、中央ブローカとドメイン固有言語として実装された言語拡張を利用する。
• 参考スコア（独自算出の注目度）: 1.381787475342205
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Modern software systems are often realized by coordinating multiple heterogeneous parts, each responsible for specific tasks. These parts must work together seamlessly to satisfy the overall system requirements. To verify such complex systems, we have developed a non-intrusive coordination framework capable of performing formal analysis of heterogeneous parts that exchange data and include real-time capabilities. The framework utilizes a linguistic extension, which is implemented as a central broker and a domain-specific language for the integration of heterogeneous languages and coordination of parts. Moreover, abstract rule templates are reified as language adapters for non-intrusive communications with the broker. The framework is implemented using rewriting logic (Maude), and its applicability is demonstrated by verifying certain correctness properties of a heterogeneous road-rail crossing system.
• Abstract（参考訳）: 現代のソフトウェアシステムは、複数の異種部品をコーディネートすることでしばしば実現され、それぞれが特定のタスクに責任を負う。 これらの部分は、システム全体の要件を満たすためにシームレスに連携する必要があります。 このような複雑なシステムを検証するために,データ交換やリアルタイム機能を含む異種部品の形式解析が可能な非侵襲的な協調フレームワークを開発した。 このフレームワークは、ヘテロジニアス言語の統合と部品の調整のために、中央ブローカとドメイン固有言語として実装された言語拡張を利用する。 さらに、抽象ルールテンプレートを、ブローカとの非侵入的な通信のための言語アダプタとして再定義する。 このフレームワークは書き換えロジック(Maude)を用いて実装され、不均一な道路路面交差システムの正当性を検証して適用性を示す。

関連論文リスト

• CoDial: Interpretable Task-Oriented Dialogue Systems Through Dialogue Flow Alignment [24.936670177298584]
  専門家の知識を実行可能な会話ロジックに変換する新しいフレームワークであるCoDialを導入する。 CoDialはColangのような既存のガードレール言語で簡単に実装できる。 推論ベースモデルのSTARデータセット上での最先端のパフォーマンスを実現し、よく知られたMultiWOZデータセット上の同様のベースラインと競合する。
  論文  参考訳（メタデータ） (2025-06-02T21:12:27Z)
• UniversalRAG: Retrieval-Augmented Generation over Corpora of Diverse Modalities and Granularities [53.76854299076118]
  UniversalRAGは異種情報源からの知識を多様さと粒度で検索・統合するための新しいRAGフレームワークである。 本稿では,最も適切なモダリティ固有コーパスを動的に識別し,その内部でターゲット検索を行うモダリティ対応ルーティング機構を提案する。 マルチモーダル性にまたがる8つのベンチマークでUniversalRAGを検証する。
  論文  参考訳（メタデータ） (2025-04-29T13:18:58Z)
• CORG: Generating Answers from Complex, Interrelated Contexts [57.213304718157985]
  現実世界のコーパスでは、知識は文書間で頻繁に再帰するが、曖昧な命名、時代遅れの情報、エラーのためにしばしば矛盾を含む。 以前の研究では、言語モデルはこれらの複雑さに苦しむことが示されており、典型的には孤立した単一要因に焦点を当てている。 複数のコンテキストを個別に処理されたグループに整理するフレームワークであるContext Organizer (CORG)を紹介する。
  論文  参考訳（メタデータ） (2025-04-25T02:40:48Z)
• Symbolic Parallel Composition for Multi-language Protocol Verification [6.514727189942011]
  セキュリティプロトコルは、しばしば異なる言語を組み合わせる。このプラクティスは、従来の検証テクニックに挑戦する。 我々は,記号的実行セマンティクスを用いて,異なる原子型で動作する複数のプログラミング言語を組み合わせるための原理を確立した。
  論文  参考訳（メタデータ） (2025-04-09T12:50:03Z)
• A Context-aware Framework for Translation-mediated Conversations [29.169155271343083]
  学習と推論において,バイリンガルな会話設定に文脈情報を組み込むことで,大規模言語モデルに基づく翻訳システムを改善する枠組みを提案する。 提案するフレームワークは,2つのタスク指向ドメイン – ユーザチャットとユーザ-アシストインタラクション – で検証する。 両方の設定で、フレームワーク-TowerChatで生成されたシステムは、GPT-4oやT TowerInstructのような最先端のシステムよりも優れた翻訳結果をもたらす。
  論文  参考訳（メタデータ） (2024-12-05T14:41:05Z)
• Variational Cross-Graph Reasoning and Adaptive Structured Semantics Learning for Compositional Temporal Grounding [143.5927158318524]
  テンポラルグラウンドティング(Temporal grounding)とは、クエリ文に従って、未編集のビデオから特定のセグメントを特定するタスクである。 新たに構成時間グラウンドタスクを導入し,2つの新しいデータセット分割を構築した。 ビデオや言語に内在する構造的意味論は、構成的一般化を実現する上で重要な要素である、と我々は主張する。
  論文  参考訳（メタデータ） (2023-01-22T08:02:23Z)
• The Whole Truth and Nothing But the Truth: Faithful and Controllable Dialogue Response Generation with Dataflow Transduction and Constrained Decoding [65.34601470417967]
  本稿では,ニューラルネットワークモデリングとルールベース生成の強みを組み合わせた対話応答生成のためのハイブリッドアーキテクチャについて述べる。 本実験により, 本システムは, 流布性, 妥当性, 真理性の評価において, ルールベースおよび学習的アプローチの両方に優れることがわかった。
  論文  参考訳（メタデータ） (2022-09-16T09:00:49Z)
• Coordination Among Neural Modules Through a Shared Global Workspace [78.08062292790109]
  認知科学において、機能的に特殊なコンポーネントが情報を共有するグローバルなワークスペースアーキテクチャが提案されている。 キャパシティ制限は、特殊化と構成性を奨励する合理的な基礎を持つことを示す。
  論文  参考訳（メタデータ） (2021-03-01T18:43:48Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。