In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
Abstract. We compare classical and quantum query complexities of total Boolean functions. It is known that for worst-case complexity, the gap between quantum and classical can be a...
In the real world there seem to be essential differences between shops, tourist offices, city halls, theatres and museums. However, when we try to design virtual environments allow...
Abstract We observe that the switching activity at a circuit node, also called the transition density, can be extremely sensitive to the circuit internal delays. As a result, sligh...
— Most information and services required today by designers will soon become available as documents distributed in a wide area hypermedia network. New integration services are re...