Abstract: An application of the method suitable for modelling and control of general discrete event dynamic systems (DEDS) to special kinds of communication systems is presented in...
We introduce a Control Flow Analysis, that statically approximates the dynamic behaviour of processes, expressed in the Beta-Binders calculus. Our analysis of a system is able to ...
Abstract. A strategy-tree provides a systematic approach to the evaluation of the effectiveness of deployed policy sets and a mechanism to dynamically alter policy sets (i.e., alt...
Abstract— Routers handle data packets from sources unresponsive to TCP’s congestion avoidance feedback. We are interested in the impact these sources have on AQM’s control of...
C. V. Hollot, Yong Liu, Vishal Misra, Donald F. To...
Abstract--We establish that the feedback capacity of the trapdoor channel is the logarithm of the golden ratio and provide a simple communication scheme that achieves capacity. As ...
Haim H. Permuter, Paul Cuff, Benjamin Van Roy, Tsa...