English
Related papers

Related papers: A Graphical Framework for the Category-Based Metam…

200 papers

Role Based Access Control (RBAC) is a very popular access control model, for long time investigated and widely deployed in the security architecture of different enterprises. To implement RBAC, roles have to be firstly identified within the…

Cryptography and Security · Computer Science 2015-03-20 Carlo Blundo , Stelvio Cimato

Control Barrier Functions (CBFs) have emerged as a prominent approach to designing safe navigation systems of robots. Despite their popularity, current CBF-based methods exhibit some limitations: optimization-based safe control techniques…

Robotics · Computer Science 2026-03-17 Junjun Xie , Shuhao Zhao , Liang Hu , Huijun Gao

This letter presents a constrained control framework that integrates Explicit Reference Governors (ERG) with Control Barrier Functions (CBF) to ensure recursive feasibility without online optimization. We formulate the reference update as a…

Systems and Control · Electrical Eng. & Systems 2026-04-07 Satoshi Nakano , Emanuele Garone , Gennaro Notomista

The Core Data Ontology (CDO) and the Informatics Domain Model represent a transformative approach to computational systems, shifting from traditional node-centric designs to a data-centric paradigm. This paper introduces a framework where…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-11-14 Paul Knowles , Bart Gajderowicz , Keith Dugas

The Internet of Things (IoT) necessitates robust access control mechanisms to secure a vast array of interconnected devices. Most of the existing IoT systems in practice use centralized solutions. We identify the problems in such solutions…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-27 Yongtao Huang , I-Ling Yen , Farokh Bastani

With the integration of connected devices, artificial intelligence, and heterogeneous networks in IoT-driven cyber-physical systems, our society is evolving as a smart, automated, and connected community. In such dynamic and distributed…

Cryptography and Security · Computer Science 2023-08-04 Tanjila Mawla , Maanak Gupta , Safwa Ameer , Ravi Sandhu

In artificial multi-agent systems, the ability to learn collaborative policies is predicated upon the agents' communication skills: they must be able to encode the information received from the environment and learn how to share it with…

Machine Learning · Computer Science 2023-01-23 Emanuele Pesce , Giovanni Montana

Personalization and adaptation to the user profile capability are the hottest issues to ensure ambient assisted living and context awareness in nowadays environments. With the growing healthcare and wellbeing context aware applications,…

Cryptography and Security · Computer Science 2013-02-12 Meriem Zerkouk , Abdallah Mhamed , Belhadri Messabih

The analysis of system reliability has often benefited from graphical tools such as fault trees and Bayesian networks. In this article, instead of conventional graphical tools, we apply a probabilistic graphical model called the chain event…

Methodology · Statistics 2024-04-25 Xuewen Yu , Jim Q. Smith

Sequences of interdependent geometric constraints are central to many multi-agent Task and Motion Planning (TAMP) problems. However, existing methods for handling such constraint sequences struggle with partially ordered tasks and dynamic…

Robotics · Computer Science 2026-03-24 Anastasios Manganaris , Jeremy Lu , Ahmed H. Qureshi , Suresh Jagannathan

The development of Multimodal Virtual Agents has made significant progress through the integration of Multimodal Large Language Models. However, mainstream training paradigms face key challenges: Behavior Cloning is simple and effective…

Machine Learning · Computer Science 2026-01-06 Keyu Wang , Bingchen Miao , Wendong Bu , Yu Wu , Juncheng Li , Shengyu Zhang , Wenqiao Zhang , Siliang Tang , Jun Xiao , Yueting Zhuang

We propose SelfDoc, a task-agnostic pre-training framework for document image understanding. Because documents are multimodal and are intended for sequential reading, our framework exploits the positional, textual, and visual information of…

Computer Vision and Pattern Recognition · Computer Science 2021-06-08 Peizhao Li , Jiuxiang Gu , Jason Kuen , Vlad I. Morariu , Handong Zhao , Rajiv Jain , Varun Manjunatha , Hongfu Liu

This research introduces graph analysis methods and a modified Graph Attention Convolutional Neural Network (GAT) to the critical challenge of open source package vulnerability remediation by analyzing control flow graphs to profile…

Software Engineering · Computer Science 2024-03-11 Fernando Vera , Palina Pauliuchenka , Ethan Oh , Bai Chien Kao , Louis DiValentin , David A. Bader

Identifying, analyzing, and evaluating cybersecurity risks are essential to assess the vulnerabilities of modern manufacturing infrastructures and to devise effective decision-making strategies to secure critical manufacturing against…

Cryptography and Security · Computer Science 2023-12-21 Md Habibor Rahman , Erfan Yazdandoost Hamedani , Young-Jun Son , Mohammed Shafae

This paper develops a refined version of TAPO-description logic for the analysis of information behavior. The framework is treated not as a single homogeneous object logic, but as a layered formalism consisting of a static descriptive layer…

Logic in Computer Science · Computer Science 2026-04-24 Takao Inoué

We conjecture that the relative unpopularity of logical frameworks among practitioners is partly due to their complex meta-languages, which often demand both programming skills and theoretical knowledge of the meta-language in question for…

Logic in Computer Science · Computer Science 2021-06-29 Bruno Cuconato , Jefferson de Barros Santos , Edward Hermann Haeusler

Symbolic control techniques aim to satisfy complex logic specifications. A critical step in these techniques is the construction of a symbolic (discrete) abstraction, a finite-state system whose behaviour mimics that of a given…

Artificial Intelligence · Computer Science 2021-04-29 Alex Devonport , Adnane Saoud , Murat Arcak

Text classification must sometimes be applied in a low-resource language with no labeled training data. However, training data may be available in a related language. We investigate whether character-level knowledge transfer from a related…

Computation and Language · Computer Science 2020-04-29 Mozhi Zhang , Yoshinari Fujinuma , Jordan Boyd-Graber

This paper presents a novel graph-based method for adapting control system architectures at runtime. We use a service-oriented architecture as a basis for its formulation. In our method, adaptation is achieved by selecting the most suitable…

Systems and Control · Electrical Eng. & Systems 2024-11-28 Julius Beerwerth , Hazem Ibrahim , Bianca Atodiresei , Lorenz Dörschel , Bassam Alrifaee

Financial institutions mostly deal with people. Therefore, characterizing different kinds of human behavior can greatly help institutions for improving their relation with customers and with regulatory offices. In many of such interactions,…

Artificial Intelligence · Computer Science 2020-11-06 Daniel Borrajo , Manuela Veloso