Filters








73,982 Hits in 4.8 sec

Restricted Broadcast Process Theory

Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
2008 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods  
In our algebra we model the essential modeling concepts of ad hoc networks, i.e. local broadcast, connectivity of nodes and connectivity changes.  ...  We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols.  ...  We can in principle analyze a network process in our algebra by model checking, and examine the behavior of the network when Γ changes.  ... 
doi:10.1109/sefm.2008.25 dblp:conf/sefm/GhassemiFM08 fatcat:x7jik2e7mncvvfseeofnyg2jja

Stochastic Restricted Broadcast Process Theory [chapter]

Fatemeh Ghassemi, Mahmoud Talebi, Ali Movaghar, Wan Fokkink
2011 Lecture Notes in Computer Science  
We extend Restricted Broadcast Process Theory [11, 9] : delay functions are assigned to actions, while the semantics captures the interplay of a MANET protocol with stochastic behavior of the data-link  ...  Then we can define a stochastic variant of linear process equations (SLPE) for configurations, which can be exploited in the analysis of MANETs with an arbitrary number of nodes.  ...  We introduced Restricted Broadcast Process Theory (RBPT) in [11, 9] to specify and verify MANET protocols, taking into account mobility.  ... 
doi:10.1007/978-3-642-24749-1_7 fatcat:wknfanphajc5nkghspd2haq7z4

A case study in the mechanical verification of fault tolerance

Heiko Mantel, Felix C. Gartner
2000 Journal of experimental and theoretical artificial intelligence (Print)  
We study this question using a prominent example from the fault tolerance literature: the problem of reliable broadcast in point-to-point networks opposed to crash failures of processes.  ...  To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice.  ...  In order to broadcast a message © , a process places it into its broadcast buffer ¥ ¦ (command ¡ ¢ ). This corresponds to the invocation of broadcast© .  ... 
doi:10.1080/095281300454847 fatcat:svcxxd226ra4tjy2w3opir7gmq

Page 13941 of The Federal Register / FIND Vol. 46, Issue 36 [page]

1981 The Federal Register / FIND  
Many ' commenters object to the very theory of marketplace regulation and its application to commercial limits, while others disagree with either the application of the economic theory or the interpretation  ...  Both church and union organizations largely oppose the preferred option, or any relaxation of the current processing guidelines.  ... 

General Refinement, Part Two: Flexible Refinement

Steve Reeves, David Streader
2008 Electronical Notes in Theoretical Computer Science  
We give an example of the utility of this definition by constructing a vertical refinement between broadcast processes and interactive branching programs, and we see how interactive branching programs  ...  can be implemented on a platform which provides broadcast communication.  ...  From Restriction and Hiding to subset morphisms Restriction and Hiding in the process literature refer to functions that remove events from a process and can be viewed as "abstraction" functions.  ... 
doi:10.1016/j.entcs.2008.06.014 fatcat:hr42fp7w45b35bvdjuzng5c35e

Equational Reasoning on Ad Hoc Networks [chapter]

Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
2010 Lecture Notes in Computer Science  
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks.  ...  We exploit an extended algebra called Computed Network Theory to axiomatize restricted broadcast. It allows one to define an ad hoc network with respect to the underlying topologies.  ...  We introduced Restricted Broadcast Process Theory (RBPT) in [6] , to specify and verify ad hoc networks, taking into account mobility.  ... 
doi:10.1007/978-3-642-11623-0_6 fatcat:wgnohv3rfvfdfbik2hm7jie7xu

Imagining a Free Press

Geoffrey R. Stone, Lee C. Bollinger
1992 Michigan law review  
Tornillo, 26 the type of access regulation that Bollinger endorses for the broadcast press significantly restricts journalistic freedom.  ...  Whether the Court should empower the government to restrict expression that arguably undermines the democratic process turns in part on how far back the Court should delve into first principles.  ... 
doi:10.2307/1289411 fatcat:2dz6db7lmndlnnrump3ibe7fqi

Analysis of the Impact of Webcast on Consumers' Purchase Decision

ZiMu Zhang, E.H.K. Ng, H. Liu, G. Kierans
2021 E3S Web of Conferences  
In the industry, the industry norms and guidelines are largely missing, and we can only find a few legal provisions to restrict it.  ...  With the outbreak of the Internet celebrity economy, coupled with the rapid expansion of the live broadcast industry and technology, the new Internet economy has shown a diversified development pattern  ...  Sixth, dual system theory. The theory holds that in people's minds when making decisions, there are two parallel processes operating at the same time, intuitive and rational.  ... 
doi:10.1051/e3sconf/202123501053 fatcat:zofopii7vvcxxark5a3lopeuje

Page 57661 of The Federal Register / FIND Vol. 44, Issue 195 [page]

1979 The Federal Register / FIND  
Theory suggests there are strong limiting forces in the market. ’**The processing guidelines are set out above in note 92. supra. Commercial messages clearly provide useful services to listeners.  ...  There is an additional set of evidence Suggesting that market forces will impose restrictions on the amount of commercial messages broadcast.  ... 

Page 55925 of The Federal Register / FIND Vol. 47, Issue 240 [page]

1982 The Federal Register / FIND  
Mid America Media describes the rule as imposing “an artificial, unjustifiable, and counterproductive restriction on investment opportunities in over-the-air broadcasting.” 8.  ...  The FTC believes that these “two conflicting price effects of removing the resale restriction leave the ultimate effect on the price of broadcast assets indeterminate.”  ... 

Leaks: Quantum, Classical, Intermediate and More

John Selby, Bob Coecke
2017 Entropy  
We introduce the notion of a leak for general process theories, and identify quantum theory as a theory with minimal leakage, while classical theory has maximal leakage.  ...  Finally, we show that defining a notion of purity for processes in general process theories has to make reference to the leaks of that theory ---a feature missing in standard definitions--- hence, we propose  ...  When restricting to causal processes, a process theory is non-signalling [17] ; hence, the causality of a theory is vital to guarantee compatibility with relativity.  ... 
doi:10.3390/e19040174 fatcat:4a5wqc7ilnf75at4dxtz6isbz4

A Process Calculus for Dynamic Networks [chapter]

Dimitrios Kouzapas, Anna Philippou
2011 Lecture Notes in Computer Science  
In this paper we propose a process calculus framework for dynamic networks in which the network topology may change as computation proceeds.  ...  We develop a theory of confluence for the calculus and we use the machinery developed towards the verification of a leader-election algorithm for mobile ad hoc networks.  ...  We develop the theory of confluence in the context of our calculus. This is the first such theory for process calculi featuring broadcast communication. 3.  ... 
doi:10.1007/978-3-642-21461-5_14 fatcat:otzuegldovcc7a3vviwqwcxxsa

Revisiting the Weakest Failure Detector for Uniform Reliable Broadcast [chapter]

Marcos Kawazoe Aguilera, Sam Toueg, Borislav Deianov
1999 Lecture Notes in Computer Science  
Uniform Reliable Broadcast (URB) is a communication primitive that requires that if a process delivers a message, then all correct processes also deliver this message.  ...  A recent paper [HR99] uses Knowledge Theory to determine what failure detectors are necessary to implement this primitive in asynchronous systems with process crashes and lossy links that are fair.  ...  We say that process p broadcasts message m if p invokes broadcast(m).  ... 
doi:10.1007/3-540-48169-9_2 fatcat:xwjei7wfhzb4vmm6fuxmcg2pqa

CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms (preliminary report)

Bard Bloom
1994 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94  
We propose a general definition of higher-order process calculi, generalizing CHOCS [Tho89] and related calculi, and investigate its basic properties.  ...  a Nondeterministic choice Parallel Composition Disabling Restriction: forbid actions in S Q Act Renaming a's to R(a) 's, where R : Act -+ Act Broadcasting on channels in C~Act Delimit broadcasting  ...  If z broadcasts y., then z' must receive it if it can; either way, z *C z' will broadcast y.. u, then t must be a process. We thus need Let Of be any closed term of type~.  ... 
doi:10.1145/174675.177948 dblp:conf/popl/Bloom94 fatcat:q5terr76rzeb3earvqtvfxxvvy

Broadcast of classical information through a quantum channel

A. E Allahverdyan, D. B Saakian
2000 Europhysics letters  
This restricts a naive extrapolation of the standard no-cloning theorem. The optimal cloning induces entanglement between clones which increases with non-orthogonality of the states.  ...  -Quantum information theory considers the transmission, processing, and detection of information, taking into account the quantum nature of its carriers.  ...  Such a process contradicts the laws of quantum theory, because if it exists, then it is possible to distinguish the non-orthogonal states |0 , |1 with more success than it is given by eq. (6) .  ... 
doi:10.1209/epl/i2000-00541-0 fatcat:5twq6sdn4rf2jihazankc5mrdi
« Previous Showing results 1 — 15 out of 73,982 results