中文
相关论文

相关论文: Maat: A Platform Service for Measurement and Attes…

200 篇论文

Metamorphic testing (MT) is a simple yet effective technique to alleviate the oracle problem in software testing. The underlying idea of MT is to test a software system by checking whether metamorphic relations (MRs) hold among multiple…

软件工程 · 计算机科学 2024-12-31 An Fu , Chang-ai Sun , Jiaming Zhang , Huai Liu

We propose a maturity-based framework for certifying embodied AI systems through explicit measurement mechanisms. We argue that certifiable embodied AI requires structured assessment frameworks, quantitative scoring mechanisms, and methods…

人工智能 · 计算机科学 2026-01-09 Michael C. Darling , Alan H. Hesu , Michael A. Mardikes , Brian C. McGuigan , Reed M. Milewicz

Quality and reliability metrics play an important role in the evaluation of the state of a system during the development and testing phases, and serve as tools to optimize the testing process or to define the exit or acceptance criteria of…

软件工程 · 计算机科学 2020-11-24 Matej Klima , Vaclav Rechtberger , Miroslav Bures , Xavier Bellekens , Hanan Hindy , Bestoun S. Ahmed

The paper describes a Multisource AI Scorecard Table (MAST) that provides the developer and user of an artificial intelligence (AI)/machine learning (ML) system with a standard checklist focused on the principles of good analysis adopted by…

人工智能 · 计算机科学 2021-02-09 Erik Blasch , James Sung , Tao Nguyen

Secure orchestration is an important concern in the internet of service. Next to providing the required functionality the composite services must also provide a reasonable level of security in order to protect sensitive data. Thus, the…

密码学与安全 · 计算机科学 2012-12-18 Gabriele Costa , Fabio Martinelli , Artsiom Yautsiukhin

Measuring energy consumption is a challenging task faced by developers when building mobile apps. This paper presents EMaaS: a system that provides reliable energy measurements for mobile applications, without requiring a complex setup. It…

软件工程 · 计算机科学 2019-03-01 Luis Cruz , Rui Abreu

Many organizations seek to ensure that machine learning (ML) and artificial intelligence (AI) systems work as intended in production but currently do not have a cohesive methodology in place to do so. To fill this gap, we propose MLTE…

We present MAATS, a Multi Agent Automated Translation System that leverages the Multidimensional Quality Metrics (MQM) framework as a fine-grained signal for error detection and refinement. MAATS employs multiple specialized AI agents, each…

计算与语言 · 计算机科学 2025-08-11 George Wang , Jiaqian Hu , Safinah Ali

The recent active development of Internet of Things (IoT) solutions in various domains has led to an increased demand for security, safety, and reliability of these systems. Security and data privacy are currently the most frequently…

Business and Information Technology Alignment (BITA) has been one of the main concerns of IT and Business executives and directors due to its importance to overall company performance, especially today in the age of digital transformation.…

计算机与社会 · 计算机科学 2019-12-19 Leonardo Munoz , Oscar Avila

With the rapid integration of Machine Learning (ML) in business applications and processes, it is crucial to ensure the quality, reliability and reproducibility of such systems. We suggest a methodical approach towards ML system quality…

机器学习 · 计算机科学 2025-02-26 Angelantonio Castelli , Georgios Christos Chouliaras , Dmitri Goldenberg

The microservice architecture allows developers to divide the core functionality of their software system into multiple smaller services. However, this architectural style also makes it harder for them to debug and assess whether the…

Ensuring the reliability and user satisfaction of cloud services necessitates prompt anomaly detection followed by diagnosis. Existing techniques for anomaly detection focus solely on real-time detection, meaning that anomaly alerts are…

软件工程 · 计算机科学 2023-08-16 Cheryl Lee , Tianyi Yang , Zhuangbin Chen , Yuxin Su , Michael R. Lyu

The black-box service model enables ML service providers to serve clients while keeping their intellectual property and client data confidential. Confidentiality is critical for delivering ML services legally and responsibly, but makes it…

计算机与社会 · 计算机科学 2025-10-28 Olive Franzese , Ali Shahin Shamsabadi , Carter Luck , Hamed Haddadi

Microservice systems are becoming increasingly adopted due to their scalability, decentralized development, and support for continuous integration and delivery (CI/CD). However, this decentralized development by separate teams and…

软件工程 · 计算机科学 2025-12-01 Connor Wojtak , Darek Gajewski , Tomas Cerny

Improving the reliability and reducing the maintenance time to give increased availability is a key feature of developing control & instrumentation (C&I) systems relevant to future fusion devices such as DEMO and to fusion power plants.…

等离子体物理 · 物理学 2013-10-30 D. A. Homfray , K. Deakin , S. Khilar , R. King , D. Payne , M. R. Simmonds , C. Tame , B. Whitehead

The Multisource AI Scorecard Table (MAST) is a checklist tool based on analytic tradecraft standards to inform the design and evaluation of trustworthy AI systems. In this study, we evaluate whether MAST is associated with people's trust…

Secure sensor calibration constitutes a foundational step that underpins operational safety in the Industrial Internet of Things. While much attention has been given to IoT security such as the use of TLS to secure sensed data, little…

密码学与安全 · 计算机科学 2020-03-03 Ryan Shah , Michael McIntee , Shishir Nagaraja , Sahil Bhandary , Prerna Arote , Joy Kuri

Given that AI systems are set to play a pivotal role in future decision-making processes, their trustworthiness and reliability are of critical concern. Due to their scale and complexity, modern AI systems resist direct interpretation, and…

人工智能 · 计算机科学 2025-01-03 Binxia Xu , Antonis Bikakis , Daniel Onah , Andreas Vlachidis , Luke Dickens

Intel Software Guard Extensions (SGX) local and remote attestation mechanisms enable an enclave to attest its identity (i.e., the enclave measurement, which is the cryptographic hash of its initial code and data) to an enclave. To verify…

密码学与安全 · 计算机科学 2026-03-03 Guoxing Chen , Yinqian Zhang
‹ 上一页 1 2 3 10 下一页 ›