English
Related papers

Related papers: Execution Envelopes: A Shared Admission Contract f…

200 papers

Coordinating navigation and manipulation with robust performance is essential for embodied AI in complex indoor environments. However, as tasks extend over long horizons, existing methods often struggle due to catastrophic forgetting,…

Computer Vision and Pattern Recognition · Computer Science 2026-04-16 Jingjing Qian , Zeyuan He , Chen Shi , Lei Xiao , Li Jiang

Autonomous systems increasingly execute actions that directly modify shared state, creating an urgent need for precise control over which transitions are permitted to occur. Existing governance mechanisms evaluate policies prior to…

Logic in Computer Science · Computer Science 2026-04-23 Marcelo Fernandez

The rapid deployment of generative AI, copilots, and agentic systems in knowledge work has created an operational gap: no existing framework addresses how to organize daily work in teams where AI agents perform substantive, delegated tasks…

Software Engineering · Computer Science 2026-02-10 Marc Bara

Account-based ledgers -- standard externally-owned accounts (EOAs), ERC-4337 smart accounts, post-Pectra EIP-7702 delegated EOAs -- place the holder of the controlling key at the apex of asset authorization. We ask a structural question…

Cryptography and Security · Computer Science 2026-05-05 Matthias Hauser

Large language model agents increasingly depend on memory to sustain long horizon interaction, but existing frameworks remain limited. Most expose only a few basic primitives such as encode, retrieve, and delete, while higher order…

Computation and Language · Computer Science 2025-10-24 Yi Wang , Lihai Yang , Boyu Chen , Gongyi Zou , Kerun Xu , Bo Tang , Feiyu Xiong , Siheng Chen , Zhiyu Li

When organisations adopt commercial AI systems for decision support, they inherit value judgements embedded by vendors that are neither transparent nor renegotiable. The governance puzzle is not whether AI can support decisions but which…

Artificial Intelligence · Computer Science 2026-03-24 Taejin Park

Reuse is a common system architecture approach that seeks to instantiate a system architecture with existing components. However, reusing components with AI capabilities might introduce new risks as there is currently no framework that…

Software Engineering · Computer Science 2020-07-16 Niloofar Shadab , Alejandro Salado

Blockchain technology provides a tamper-proof mechanism to execute inter-organizational business processes involving mutually untrusted parties. Existing approaches to blockchain-based process execution are based on code generation. In…

Software Engineering · Computer Science 2019-06-05 Orlenys López-Pintado , Marlon Dumas , Luciano García-Bañuelos , Ingo Weber

This paper grounds ethics in evolutionary biology, viewing moral norms as adaptive mechanisms that render cooperation fitness-viable under selection pressure. Current alignment approaches add ethics post hoc, treating it as an external…

Computers and Society · Computer Science 2025-10-17 Dylan Waldner

Stories about everyday situations are an essential part of human communication, motivating the need to develop AI agents that can reliably understand these stories. Despite the long list of supervised methods for story completion and…

Computation and Language · Computer Science 2023-11-21 Yifan Jiang , Filip Ilievski , Kaixin Ma

Embodied agents increasingly rely on modular capabilities that can be installed, upgraded, composed, and governed at runtime. Prior work has introduced embodied capability modules (ECMs) as reusable units of embodied functionality, and…

Software Engineering · Computer Science 2026-04-16 Xue Qin , Simin Luan , John See , Cong Yang , Zhijun Li

Embodied AI models often employ off the shelf vision backbones like CLIP to encode their visual observations. Although such general purpose representations encode rich syntactic and semantic information about the scene, much of this…

Computer Vision and Pattern Recognition · Computer Science 2024-03-12 Ainaz Eftekhar , Kuo-Hao Zeng , Jiafei Duan , Ali Farhadi , Ani Kembhavi , Ranjay Krishna

This paper presents MPC-EVM, the first blockchain prototype that extends the EVM to enable asynchronous MPC invocations by smart contracts during transaction executions without compromising consistency or throughput. MPC-EVM uses an…

Cryptography and Security · Computer Science 2025-07-29 Yichen Zhou , Chenxing Li , Fan Long

As AI becomes increasingly embedded in daily life, it has been shown to fail critically, cause harm, and spark public controversy, prompting affected communities, workers, and public-interest groups to contest it. Yet how these…

Human-Computer Interaction · Computer Science 2026-05-12 Yulu Pi , Lucas Lichner , Jae Woo Lee , Sijia Xiao , Renwen Zhang , Jatinder Singh

In 2023, Open AIs Democratic Inputs program funded 10 teams to design procedures for public participation in generative AI. In this Perspective, we review the results of the project, drawing on interviews with some of the teams and our own…

Computers and Society · Computer Science 2025-03-06 David Moats , Chandrima Ganguly

AI-native software development is often evaluated at the level of individual models, prompts, or generated artifacts. This framing is insufficient for production environments where software must be continuously produced, verified, deployed,…

Software Engineering · Computer Science 2026-05-26 Satadru Sengupta , Tamunokorite Briggs , Ivan Myshakivskyi

As jurisdictions around the world take their first steps toward regulating the most powerful AI systems, such as the EU AI Act and the US Executive Order 14110, there is a growing need for effective enforcement mechanisms that can verify…

Computers and Society · Computer Science 2024-03-27 Lennart Heim , Tim Fist , Janet Egan , Sihao Huang , Stephen Zekany , Robert Trager , Michael A Osborne , Noa Zilberman

Security mandates today are often in the form of checklists and are generally inflexible and slow to adapt to changing threats. This paper introduces an alternate approach called open mandates, which mandate that vendors must dedicate some…

Cryptography and Security · Computer Science 2022-03-11 Adam Hastings , Ryan Piersma , Simha Sethumadhavan

Aligning AI systems with human privacy preferences requires understanding individuals' nuanced disclosure behaviors beyond general norms. Yet eliciting such boundaries remains challenging due to the context-dependent nature of privacy…

Cryptography and Security · Computer Science 2025-09-29 Bingcan Guo , Eryue Xu , Zhiping Zhang , Tianshi Li

Science reproducibility is a cornerstone feature in scientific workflows. In most cases, this has been implemented as a way to exactly reproduce the computational steps taken to reach the final results. While these steps are often…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-05-21 Karan Vahi , Mats Rynge , George Papadimitriou , Duncan A. Brown , Rajiv Mayani , Rafael Ferreira da Silva , Ewa Deelman , Anirban Mandal , Eric Lyons , Michael Zink
‹ Prev 1 3 4 5 6 7 10 Next ›