English
Related papers

Related papers: Distributed Non-Interference

200 papers

Petri networks and network models are two frameworks for the compositional design of systems of interacting entities. Here we show how to combine them using the concept of a "catalyst": an entity that is neither destroyed nor created by any…

Category Theory · Mathematics 2024-08-07 John C. Baez , John Foley , Joe Moeller

Smart speakers and robots become ever more prevalent in our daily lives. These agents are able to execute a wide range of tasks and actions and, therefore, need systems to control their execution. Current state-of-the-art such as (deep)…

Artificial Intelligence · Computer Science 2019-09-16 Christian Dondrup , Ioannis Papaioannou , Oliver Lemon

Analysis of an organization's computer network activity is a key component of early detection and mitigation of insider threat, a growing concern for many organizations. Raw system logs are a prototypical example of streaming data that can…

Neural and Evolutionary Computing · Computer Science 2017-12-19 Aaron Tuor , Samuel Kaplan , Brian Hutchinson , Nicole Nichols , Sean Robinson

With the growing use of information technology in all life domains, hacking has become more negatively effective than ever before. Also with developing technologies, attacks numbers are growing exponentially every few months and become more…

Cryptography and Security · Computer Science 2022-09-29 Khloud Al Jallad , Mohamad Aljnidi , Mohammad Said Desouki

Distributed inference is a popular approach for efficient DNN inference at the edge. However, traditional Static and Dynamic DNNs are not distribution-friendly, causing system reliability and adaptability issues. In this paper, we introduce…

Computer Vision and Pattern Recognition · Computer Science 2024-01-18 Lei Xun , Mingyu Hu , Hengrui Zhao , Amit Kumar Singh , Jonathon Hare , Geoff V. Merrett

This paper introduces Bayesian Flow Networks (BFNs), a new class of generative model in which the parameters of a set of independent distributions are modified with Bayesian inference in the light of noisy data samples, then passed as input…

Machine Learning · Computer Science 2025-03-12 Alex Graves , Rupesh Kumar Srivastava , Timothy Atkinson , Faustino Gomez

This paper exploits extended Bayesian networks for uncertainty reasoning on Petri nets, where firing of transitions is probabilistic. In particular, Bayesian networks are used as symbolic representations of probability distributions,…

Artificial Intelligence · Computer Science 2020-10-01 Rebecca Bernemann , Benjamin Cabrera , Reiko Heckel , Barbara König

Massive data exist among user local platforms that usually cannot support deep neural network (DNN) training due to computation and storage resource constraints. Cloud-based training schemes provide beneficial services but suffer from…

Machine Learning · Computer Science 2018-01-15 Meng Li , Liangzhen Lai , Naveen Suda , Vikas Chandra , David Z. Pan

Subsurface applications including geothermal, geological carbon sequestration, oil and gas, etc., typically involve maximizing either the extraction of energy or the storage of fluids. Characterizing the subsurface is extremely complex due…

Computational Engineering, Finance, and Science · Computer Science 2018-06-07 M. K. Mudunuru , S. Karra , N. Makedonska , T. Chen

Recent studies reveal the connection between GNNs and the diffusion process, which motivates many diffusion-based GNNs to be proposed. However, since these two mechanisms are closely related, one fundamental question naturally arises: Is…

Social and Information Networks · Computer Science 2024-04-23 Yibo Li , Xiao Wang , Hongrui Liu , Chuan Shi

This paper presents a novel technique for process discovery. In contrast to the current trend, which only considers an event log for discovering a process model, we assume two additional inputs: an independence relation on the set of logged…

Logic in Computer Science · Computer Science 2015-07-13 Hernán Ponce-de-León , César Rodríguez , Josep Carmona , Keijo Heljanko , Stefan Haar

Aligning coordinated text streams from multiple sources and multiple languages has opened many new research venues on cross-lingual knowledge discovery. In this paper we aim to advance state-of-the-art by: (1). extending coarse-grained…

Computation and Language · Computer Science 2016-09-28 Tao Ge , Qing Dou , Xiaoman Pan , Heng Ji , Lei Cui , Baobao Chang , Zhifang Sui , Ming Zhou

DenseNets have been shown to be a competitive model among recent convolutional network architectures. These networks utilize Dense Blocks, which are groups of densely connected layers where the output of a hidden layer is fed in as the…

Computer Vision and Pattern Recognition · Computer Science 2018-08-28 Joseph Chuang , Eric Tsai , Kevin Huang , Jay Fetter

We analyze sets of intrusion detection records observed on the networks of several large, nonresidential organizations protected by a form of intrusion detection and prevention service. Our analyses reveal that the process of intrusion…

Cryptography and Security · Computer Science 2017-07-14 Richard Harang , Alexander Kott

Understanding the interaction patterns among simultaneous recordings of spike trains from multiple neuronal units is a key topic in neuroscience. However, an optimal approach of assessing these interactions has not been established, as…

Neurons and Cognition · Quantitative Biology 2020-12-17 Gorana Mijatovic , Yuri Antonacci , Tatjana Loncar-Turukalo , Ludovico Minati , Luca Faes

Practical wireless networks are finite, and hence non-stationary with nodes typically non-homo-geneously deployed over the area. This leads to a location-dependent performance and to boundary effects which are both often neglected in…

Information Theory · Computer Science 2014-01-03 Ralph Tanbourgi , Holger Jäkel , Friedrich K. Jondral

Distribution Service (DDS) is a realtime peer-to-peer protocol that serves as a scalable middleware between distributed networked systems found in many Industrial IoT domains such as automotive, medical, energy, and defense. Since the…

Cryptography and Security · Computer Science 2019-08-16 Ruffin White , Gianluca Caiazza , Chenxu Jiang , Xinyue Ou , Zhiyue Yang , Agostino Cortesi , Henrik Christensen

Data Distribution Service (DDS) is an innovative approach towards communication in ICS/IoT infrastructure and robotics. Being based on the cross-platform and cross-language API to be applicable in any computerised device, it offers the…

Machine Learning · Computer Science 2021-06-15 Stanislav Abaimov

Modern machine learning tools such as deep neural networks (DNNs) are playing a revolutionary role in many fields such as natural language processing, computer vision, and the internet of things. Once they are trained, deep learning models…

Machine Learning · Computer Science 2022-01-19 Arjun Parthasarathy , Bhaskar Krishnamachari

To supervise and guarantee a network security, the administrator uses different security components, such as firewalls, IDS and IPS. For a perfect interoperability between these components, they must be configured properly to avoid…

Networking and Internet Architecture · Computer Science 2013-10-11 Kamel Karoui , Fakher Ben Ftima , Henda Ben Ghezala
‹ Prev 1 8 9 10 Next ›