English
Related papers

Related papers: Profinet vs Profibus

200 papers

Basic pairs and their morphisms are the most elementary framework in which standard topological notions can be defined. We present here a new interpretation of topological concepts as those which can be communicated faithfully between the…

Logic · Mathematics 2016-11-10 Samuele Maschio , Giovanni Sambin

The field of High-Performance Computing (HPC) is defined by providing computing devices with highest performance for a variety of demanding scientific users. The tight co-design relationship between HPC providers and users propels the field…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-12-17 Andreas Herten , Olga Pearce , Filipe S. M. Guimarães

Many concurrent and distributed systems are safety-critical and therefore have to provide a high degree of assurance. Important properties of such systems are frequently proved on the specification level, but implementations typically…

Logic in Computer Science · Computer Science 2023-08-22 Wolfgang Jeltsch , Javier Díaz

Networks are complex models for underlying data in many application domains. In most instances, raw data is not natively in the form of a network, but derived from sensors, logs, images, or other data. Yet, the impact of the various choices…

Social and Information Networks · Computer Science 2020-04-07 Ivan Brugere , Tanya Y. Berger-Wolf

Bluetooth is a promising wireless technology that enables portable devices to form short-range wireless ad hoc networks. Unlike wireless LAN, the communication of Bluetooth devices follow a strict master slave relationship, that is, it is…

Networking and Internet Architecture · Computer Science 2012-05-18 Yusuf Perwej , Dr. Kashiful Haq , Uruj Jaleel , Sharad Saxena

Wireless networking has become an important area of research in academic and industry. The main objectives of this paper is to gain in-depth knowledge about the Wi-Fi- WiMAX technology and how it works and understand the problems about the…

Networking and Internet Architecture · Computer Science 2012-02-14 M. Sreerama Murty , A. Veeraiah , Srinivas Rao

Recently, forecasting the crowd flows has become an important research topic, and plentiful technologies have achieved good performances. As we all know, the flow at a citywide level is in a mixed state with several basic patterns (e.g.,…

Machine Learning · Computer Science 2022-05-18 Hongjun Wang , Jiyuan Chen , Zipei Fan , Zhiwen Zhang , Zekun Cai , Xuan Song

Parameterized verification of coverability in broadcast networks with finite state processes has been studied for different types of models and topologies. In this paper, we attempt to develop a theory of broadcast networks in which the…

Logic in Computer Science · Computer Science 2018-09-11 A. R. Balasubramanian

Until now hiding methods in network steganography have been described in arbitrary ways, making them difficult to compare. For instance, some publications describe classical channel characteristics, such as robustness and bandwidth, while…

Cryptography and Security · Computer Science 2017-01-10 Steffen Wendzel , Wojciech Mazurczyk , Sebastian Zander

This paper presents an overview of different concepts regarding covert channels. It discusses the various classifications and the detailing of various fields used to manipulate for the covert channel execution.Different evaluation criterias…

Cryptography and Security · Computer Science 2013-06-11 Nitish Salwan , Sandeep Singh , Suket Arora , Amarpreet Singh

There is a growing interest in discovery of internet topology at the interface level. A new generation of highly distributed measurement systems is currently being deployed. Unfortunately, the research community has not examined the problem…

Networking and Internet Architecture · Computer Science 2007-05-23 Benoit Donnet , Philippe Raoult , Timur Friedman , Mark Crovella

Cloud computing has become an important means to speed up computing. One problem influencing heavily the performance of such systems is the choice of nodes as servers responsible for executing the users' tasks. In this article we report how…

Information about user preferences plays a key role in automated decision making. In many domains it is desirable to assess such preferences in a qualitative rather than quantitative way. In this paper, we propose a qualitative graphical…

Artificial Intelligence · Computer Science 2011-07-04 C. Boutilier , R. I. Brafman , C. Domshlak , H. H. Hoos , D. Poole

This is a brief introduction to the basic concepts of topology. It includes the basic constructions, discusses separation properties, metric and pseudometric spaces, and gives some applications arising from the use of topology in computing.

Logic · Mathematics 2015-03-04 E. -E. Doberkat

We describe here our perception of complex systems, of how we feel the different layers of description are important part of a correct complex system simulation. We describe a rough models categorization between rules based and law based,…

Fluid Dynamics · Physics 2007-12-18 Pierrick Tranouez , Cyrille Bertelle , Damien Olivier

We propose communication pattern logic. A communication pattern describes how processes or agents inform each other, independently of the information content. The full-information protocol in distributed computing is the special case…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-08-02 Armando Castañeda , Hans van Ditmarsch , David A. Rosenblueth , Diego A. Velázquez

We introduce a novel approach to description of networks/graphs. It is based on an analogue physical model which is dynamically evolved. This evolution depends on the connectivity matrix and readily brings out many qualitative features of…

Statistical Mechanics · Physics 2007-05-23 Vladimir Gudkov , Joseph E. Johnson , Shmuel Nussinov

Traditional networking systems, especially the famous 3 tier topology design, focused more on centralizing the networking systems, and used redundancy as a protection mechanism against future failures of the system. However, in recent…

Networking and Internet Architecture · Computer Science 2019-09-11 Edmond Shami

Multiple-Input Multiple-Output (MIMO) systems play a crucial role in fifth-generation (5G) mobile communications, primarily achieved through the utilization of precoding matrix techniques. This paper presents precoding techniques employing…

Information Theory · Computer Science 2024-10-04 Francisco Díaz-Ruiz , Francisco J. Martín-Vega , Gerardo Gómez , Mari Carmen Aguayo-Torres

Security protocols are building blocks in secure communications. They deploy some security mechanisms to provide certain security services. Security protocols are considered abstract when analyzed, but they can have extra vulnerabilities…

Cryptography and Security · Computer Science 2016-06-03 Mohsen Toorani