English
Related papers

Related papers: Human-System Interface Style Guide for ACORN Digit…

200 papers

GitOps is a foundational approach for modernizing infrastructure by leveraging Git as the single source of truth for declarative configurations. The poster explores how GitOps transforms traditional control system infrastructure, services…

Software Engineering · Computer Science 2025-11-11 M. Gonzalez , M. Acosta

Automotive user interfaces constantly change due to increasing automation, novel features, additional applications, and user demands. While in-vehicle interaction can utilize numerous promising modalities, no existing overview includes an…

Human-Computer Interaction · Computer Science 2022-10-25 Pascal Jansen , Mark Colley , Enrico Rukzio

Calibrated trust in automated systems (Lee and See 2004) is critical for their safe and seamless integration into society. Users should only rely on a system recommendation when it is actually correct and reject it when it is factually…

Human-Computer Interaction · Computer Science 2025-08-05 Matouš Jelínek , Nadine Schlicker , Ewart de Visser

Communication is an important part of accelerator design, though it is under researched and under developed. Today, designers often face relatively low-level communication tools requiring them to design straightforward but error-prone…

Hardware Architecture · Computer Science 2021-11-15 John Demme

As cities evolve toward more complex and multimodal transportation systems, the need for human-centered multi-agent simulation tools has never been more urgent. Yet most existing platforms remain limited - they often separate different…

Multiagent Systems · Computer Science 2025-07-16 Shiva Azimi , Arash Tavakoli

This study aims to develop a data driven system to enhance the analysis and improvement of user experiences in interior spaces, acknowledging the significant impact of design on individuals health, productivity, and quality of life.

Human-Computer Interaction · Computer Science 2023-12-20 Mi Kyoung Kim

Selecting appropriate sensors and actuators is a pivotal aspect of design and engineering, particularly in projects involving interactive systems. This article introduces the Design Thinking Based Iterative Sensor and Actuator Selection…

Human-Computer Interaction · Computer Science 2024-03-19 İhsan Ozan Yıldırım , Ege Keskin , Yağmur Kocaman , Murat Kuşcu , Oğuzhan Özcan

Ecodriving guidance includes courses or suggestions for human drivers to improve driving behaviour, reducing energy use and emissions. This paper presents a systematic review of existing eco-driving guidance studies and identifies…

Robotics · Computer Science 2022-03-30 Ran Tu , Junshi Xu

The transition to a microservices-based Flow Management Data and Services (FMDS) architecture from the existing Traffic Flow Management System (TFMS) is a critical enabler of the vision for an Information-Centric National Airspace System…

Human-Computer Interaction · Computer Science 2024-02-21 Sinan Abdulhak , Anthony Carvette , Kate Shen , Robert Goldman , Bill Tuck , Max Z. Li

Critical human-machine interfaces are present in many systems including avionics systems and medical devices. Use error is a concern in these systems both in terms of hardware panels and input devices, and the software that drives the…

Human-Computer Interaction · Computer Science 2017-01-31 Camille Fayollas , Célia Martinie , Philippe Palanque , Paolo Masci , Michael D. Harrison , José C. Campos , Saulo Rodrigues e Silva

Researchers and experts are taking efforts in delivering an optimal user experience from a long time. Computer interfaces are being developed to keep user 'in the flow' as well as for making users more connected to the real world wile using…

Human-Computer Interaction · Computer Science 2015-08-19 Pushkar Joshi

Game development is a complex task involving multiple disciplines and technologies. Developers and researchers alike have suggested that AI-driven game design assistants may improve developer workflow. We present a recommender system for…

Artificial Intelligence · Computer Science 2019-08-14 Tiago Machado , Daniel Gopstein , Oded Nov , Angela Wang , Andy Nealen , Julian Togelius

The rule technological landscape is becoming ever more complex, with an extended number of specifications and products. It is therefore becoming increasingly difficult to integrate rule-driven components and manage interoperability in…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-03-05 Pierre de Leusse , Bartosz Kwolek , Krzysztof Zielinski

Ideally, accelerator development should be as easy as software development. Several recent design languages/tools are working toward this goal, but actually testing early designs on real applications end-to-end remains prohibitively…

This paper proposes a design tool to investigate the properties and emergent behaviours of a special class of Ambient Assisted Living systems, namely mutual assistance communities where the dwellers contribute to each other's well being.…

Computers and Society · Computer Science 2016-07-27 Hong Sun , Vincenzo De Florio , Chris Blondia

Engineering system design -- whether mechatronic, control, or embedded -- often proceeds in an ad hoc manner, with requirements left implicit and traceability from intent to parameters largely absent. Existing specification-driven and…

Computational Engineering, Finance, and Science · Computer Science 2026-05-05 H. Sinan Bank , Daniel R. Herber , Thomas H. Bradley

This paper gives an overview of SCR3 -- a toolset designed to increase the usability of formal methods for software development. Formal requirements are specified in SCR3 in an easy to use and review format, and then used in checking…

Software Engineering · Computer Science 2007-05-23 M. Chechik

Hybrid systems verification is quite important for developing correct controllers for physical systems, but is also challenging. Verification engineers, thus, need to be empowered with ways of guiding hybrid systems verification while…

Logic in Computer Science · Computer Science 2017-01-31 Stefan Mitsch , André Platzer

This whitepaper proposes a unified framework for hardware design tools to ease the development and inter-operability of said tools. By creating a large ecosystem of hardware development tools across vendors, academia, and the open source…

Hardware Architecture · Computer Science 2020-03-03 John Demme

Design systems represent a user interaction design and development approach that is currently of avid interest in the industry. However, little research work has been done to synthesize knowledge related to design systems in order to inform…

Software Engineering · Computer Science 2022-05-24 Yassine Lamine , Jinghui Cheng