future increase of mobile communication subscribers will require a great capacity expansion of the cellular systems. in order to accommodate the increasing number of subscribers, the cell size will have to be much smaller than current size. therefore, it is predictable that the location updating and paging procedures will produce a major part of signaling traffic in these networks. this pape...

This paper is on the homotopy classification of maps of (n+1)-dimensional manifolds into the n-dimensional sphere. For a continuous map f : M → S define the degree deg f ∈ H1(M;Z) to be the class dual to f[S], where [S] ∈ H(S;Z) is the fundamental class. We present a short and direct proof of the following specific case of the Pontryagin-Steenrod-Wu theorem: Theorem. Let M be a connected orient...

Read-copy update (RCU) is a light-weight synchronization mechanism that has been used in production for well over a decade, most recently, as part of the Linux kernel. Although RCU is well-understood in the sense that practitioners are able to make good use of it without special training, there are a number of intriguing open questions related to RCU. This paper introduces a number of such ques...

in this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition petri nets. the mobile agent system contains two mobile agents called dca and una. it sends out agents to update antivirus on client computers in a network. each agent takes on a specified responsibility. first, dca roams through the network and check the last d...

Wenbo Zong STMicroelectronics Asia Pacific Singapore Large-scale wargame simulations may involve tens of thousands of entities and generally run on distributed simulation nodes. An important issue in constructing these applications is to reduce the amount of data transmitted among the distributed simulation nodes so that the network and the simulation nodes will not be flooded by the state upda...

In [Barr & Kleisli 2001] we described ?-autonomous structures on two full subcategories of topological abelian groups. In this paper we do the same for sup semilattices except that uniform structures play the role that topology did in the earlier paper.