Randomization is vital in cryptography: secret keys should be randomly generated and most cryptographic primitives (e.g., encryption) must be probabilistic. As a bstraction, it is...
The technology of Worldwide Interoperability for Microwave Access (WiMAX) is based on the IEEE 802.16 standard which enables the delivery of last mile wireless broadband access wi...
Cellular automata (CA) are dynamical systems defined by a finite local rule but they are studied for their global dynamics. They can exhibit a wide range of complex behaviours an...
Online service quality is a much-studied concept. Despite this, dimensions that make up service quality, and the items used to measure those dimensions have proven unstable. It is...
Mary Tate, Joerg Evermann, Beverley G. Hope, Stuar...
The aim of this paper is to understand the interplay between intersection, universally quantified, and reference types. Putting together the standard typing rules for intersection,...