English
Related papers

Related papers: Constructing Weakly Terminating Interface Protocol…

200 papers

One of the ways to satisfy the requirements of ultra-reliable low latency communication for mission critical Machine-type Communications (MTC) applications is to integrate multiple communication interfaces. In order to estimate the…

Information Theory · Computer Science 2016-05-10 Jimmy J. Nielsen , Petar Popovski

Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them are "custom"; the rest are reused or refactored existing…

Software Engineering · Computer Science 2007-05-23 Joseph R. Kiniry

In the present paper, we define the concept of weak topological conjugacy and we establish sufficient conditions to obtain this kind of topological conjugacy between two limit sets. We use the character of recurrence to obtain the results.

Dynamical Systems · Mathematics 2021-05-20 Everaldo de Mello Bonotto , Daniela Paula Demuner , Ginnara Mexia Souto

We investigate interface failure of model materials representing architected thin films in contact with heterogeneous substrates. We find that, while systems with statistically isotropic distributions of impurities derive their fracture…

Materials Science · Physics 2024-05-30 Christian Greff , Paolo Moretti , Michael Zaiser

Across scientific disciplines, thresholded pairwise measures of statistical dependence between time series are taken as proxies for the interactions between the dynamical units of a network. Yet such correlation measures often fail to…

Data Analysis, Statistics and Probability · Physics 2018-02-07 Benedict J. Lünsmann , Christoph Kirst , Marc Timme

Components in many real-world complex systems depend on each other for the resources required for survival, and may die of a shortage. These patterns of dependencies often take the form of a complex network whose structure potentially…

Physics and Society · Physics 2022-02-04 Madhusudan Ingale , Snehal M. Shekatkar

Complex networks are ubiquitous: a cell, the human brain, a group of people and the Internet are all examples of interconnected many-body systems characterized by macroscopic properties that cannot be trivially deduced from those of their…

Component substitution has numerous practical applications and constitutes an active research topic. This paper proposes to enrich an existing component-based framework--a model with dynamic reconfigurations making the system evolve--with a…

Software Engineering · Computer Science 2014-08-10 Arnaud Lanoix , Olga Kouchnarenko

Random networks are a powerful tool in the analytical modeling of complex networks as they allow us to write approximate mathematical models for diverse properties and behaviors of networks. One notable shortcoming of these models is that…

Physics and Society · Physics 2023-07-10 Laurent Hébert-Dufresne , Márton Pósfai , Antoine Allard

In areas such as computer software and hardware, manufacturing systems, and transportation, engineers encounter networks with arbitrarily large numbers of isomorphic subprocesses. Parameterized systems provide a framework for modeling such…

Formal Languages and Automata Theory · Computer Science 2016-10-03 M. H. Zibaeenejad , J. G. Thistle

Elastic scaling is one of the central benefits provided by serverless platforms, and requires that they scale resource up and down in response to changing workloads. Serverless platforms scale-down resources by terminating previously…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-11-07 Kalev Alpernas , Aurojit Panda , Mooly Sagiv

Today's Internet utilizes a multitude of different protocols. While some of these protocols were first implemented and used and later documented, other were first specified and then implemented. Regardless of how protocols came to be, their…

Cryptography and Security · Computer Science 2016-10-19 Tobias Fiebig , Franziska Lichtblau , Florian Streibelt , Thorben Krueger , Pieter Lexis , Randy Bush , Anja Feldmann

Interconnected dynamic systems are a pervasive component of our modern infrastructures. The complexity of such systems can be staggering, which motivates simplified representations for their manipulation and analysis. This work introduces…

Systems and Control · Computer Science 2015-03-19 E. Yeung , J. Goncalves , H. Sandberg , S. Warnick

Networks play a prominent role in the study of complex systems of interacting entities in biology, sociology, and economics. Despite this diversity, we demonstrate here that a statistical model decomposing networks into matching and…

Physics and Society · Physics 2016-02-05 Rudolf P. Rohr , Russel E. Naisbit , Christian Mazza , Louix-Félix Bersier

The partitioning of a system model will condition the structure of the controller as well as its design. In order to partition a system model, one has to know what states and inputs to group together to define subsystem models. For a given…

Systems and Control · Computer Science 2017-11-22 Romain Guicherd , Paul A. Trodden , Andrew R. Mills , Visakan Kadirkamanathan

The Participants-as-Interfaces (PaI) approach to system composition suggests that participants of a system may be viewed as interfaces. Given a set of systems,one participant per system is chosen to play the role of an interface. When…

Logic in Computer Science · Computer Science 2024-12-12 Franco Barbanera , Rolf Hennicker

Measurement has become fundamental to the operation of networks and at-scale services---whether for management, security, diagnostics, optimization, or simply enhancing our collective understanding of the Internet as a complex system.…

Networking and Internet Architecture · Computer Science 2017-05-16 Mark Allman , Robert Beverly , Brian Trammell

The topological interference management problem refers to the study of the capacity of partially connected linear (wired and wireless) communication networks with no channel state information at the transmitters (no CSIT) beyond the network…

Information Theory · Computer Science 2013-02-19 Hua Sun , Chunhua Geng , Syed A. Jafar

Termination is a central property in sequential programming models: a term is terminating if all its reduction sequences are finite. Termination is also important in concurrency in general, and for message-passing programs in particular. A…

Logic in Computer Science · Computer Science 2023-08-03 Joseph W. N. Paulus , Jorge A. Pérez , Daniele Nantes-Sobrinho

Self-stabilization is a general paradigm to provide forward recovery capabilities to distributed systems and networks. Intuitively, a protocol is self-stabilizing if it is able to recover without external intervention from any catastrophic…

Data Structures and Algorithms · Computer Science 2008-11-25 Stéphane Devismes , Toshimitsu Masuzawa , Sébastien Tixeuil