中文
相关论文

相关论文: OntoGSN: An Ontology-Based Framework for Semantic …

200 篇论文

Developing industry-wide standards and ensuring producers of mission-critical systems comply with them is crucial to fostering consumer acceptance. Producers of such systems can rely on assurance cases to demonstrate to regulatory…

Assurance Cases (ACs) are an established approach in safety engineering to argue quality claims in a structured way. In the context of quality assurance for Machine Learning (ML)-based software components, ACs are also being discussed and…

The advancement of autonomous robotic systems has led to impressive capabilities in perception, localization, mapping, and control. Yet, a fundamental gap remains: existing frameworks excel at geometric reasoning and dynamic stability but…

机器人学 · 计算机科学 2025-09-09 Jaehong Oh

Despite the impressive adaptability of large language models (LLMs), challenges remain in ensuring their security, transparency, and interpretability. Given their susceptibility to adversarial attacks, LLMs need to be defended with an…

人工智能 · 计算机科学 2024-10-11 Tomas Bueno Momcilovic , Beat Buesser , Giulio Zizzo , Mark Purcell , Dian Balta

Environmental, Social, and Governance (ESG) metric knowledge is inherently structured, connecting industries, reporting frameworks, metric categories, metrics, and calculation models through compositional dependencies, yet in practice this…

人工智能 · 计算机科学 2026-01-27 Mingqin Yu , Fethi Rabhi , Boming Xia , Zhengyi Yang , Felix Tan , Qinghua Lu

Computing becomes increasingly mobile and pervasive today; these changes imply that applications and services must be aware of and adapt to their changing contexts in highly dynamic environments. Today, building context-aware systems is a…

分布式、并行与集群计算 · 计算机科学 2020-03-12 Tao Gu , Xiao Hang Wang , Hung Keng Pung , Da Qing Zhang

Assurance arguments provide a clear and structured way to explain why stakeholders should trust that a system satisfies certain properties, yet widely used notations, e.g.Goal Structuring Notation (GSN), typically lack an operational…

人工智能 · 计算机科学 2026-05-22 Benjamin Herd , Jessica Kelly , Jan Sabsch , Lydia Gauerhof

The growing importance of environmental, social, and governance data in regulatory and investment contexts has increased the need for accurate, interpretable, and internationally aligned representations of non-financial risks, particularly…

计算与语言 · 计算机科学 2025-09-16 Tsuyoshi Iwata , Guillaume Comte , Melissa Flores , Ryoma Kondo , Ryohei Hisano

The engineering design process follows a series of standardized stages of development, which have many aspects in common with software engineering. Among these stages, the principle solution can be regarded as an analogue of the design…

Assurance cases are used to communicate and assess confidence in critical system properties such as safety and security. Historically, assurance cases have been manually created documents, which are evaluated by system stakeholders through…

Aspect-based sentiment analysis (ABSA) aims to identify aspect terms and determine their sentiment polarity. While dependency trees combined with contextual semantics provide structural cues, existing approaches often rely on dot-product…

计算与语言 · 计算机科学 2026-03-10 Xinfeng Liao , Xuanqi Chen , Lianxi Wang , Jiahuan Yang , Zhuowei Chen , Ziying Rong

An assurance case is a structured argument document that justifies claims about a system's requirements or properties, which are supported by evidence. In regulated domains, these are crucial for meeting compliance and safety requirements…

软件工程 · 计算机科学 2026-05-01 Fariz Ikhwantri , Dusica Marijan

Extracting relevant and structured knowledge from large, complex technical documents within the Reliability and Maintainability (RAM) domain is labor-intensive and prone to errors. Our work addresses this challenge by presenting OntoKGen, a…

人工智能 · 计算机科学 2024-12-11 Mohammad Sadeq Abolhasani , Rong Pan

Assurance cases offer a structured way to present arguments and evidence for certification of systems where safety and security are critical. However, creating and evaluating these assurance cases can be complex and challenging, even for…

计算机科学中的逻辑 · 计算机科学 2025-01-22 Anitha Murugesan , Isaac Wong , Joaquín Arias , Robert Stroud , Srivatsan Varadarajan , Elmer Salazar , Gopal Gupta , Robin Bloomfield , John Rushby

Use case specifications have successfully been used for requirements description. They allow joining, in the same modeling space, the expectations of the stakeholders as well as the needs of the software engineer and analyst involved in the…

软件工程 · 计算机科学 2014-04-04 Rui Couto , António Nestor Ribeiro , José Creissac Campos

The study proposes a framework of ONTOlogy-based Group Decision Support System (ONTOGDSS) for decision process which exhibits the complex structure of decision-problem and decision-group. It is capable of reducing the complexity of problem…

人工智能 · 计算机科学 2011-07-18 Junyi Chai , James N. K. Liu

Safety Case has become an integral component for safety-certification in various Cyber Physical System domains including automotive, aviation, medical devices, and military. The certification processes for these systems are stringent and…

机器人学 · 计算机科学 2020-03-12 Shreyas Ramakrishna , Charles Hartsell , Abhishek Dubey , Partha Pal , Gabor Karsai

System engineering has been shifting from document-centric to model-based approaches, where assets are becoming more and more digital. Although digitisation conveys several benefits, it also brings several concerns (e.g., storage and…

软件工程 · 计算机科学 2025-12-11 Arkadiusz Ryś , Lucas Lima , Joeri Exelmans , Dennis Janssens , Hans Vangheluwe

Situation awareness is a crucial cognitive skill that enables individuals to perceive, comprehend, and project the current state of their environment accurately. It involves being conscious of relevant information, understanding its…

信息检索 · 计算机科学 2023-07-26 Sumit Sharma , Sarika Jain

Vehicles in public traffic that are equipped with Automated Driving Systems are subject to a number of expectations: Among other aspects, their behavior should be safe, conforming to the rules of the road and provide mobility to their…

软件工程 · 计算机科学 2024-11-18 Nayel Fabian Salem , Marcus Nolte , Veronica Haber , Till Menzel , Hans Steege , Robert Graubohm , Markus Maurer
‹ 上一页 1 2 3 10 下一页 ›