Termination detection, a classical problem in distributed computing, is revisited in the new setting provided by the emerging mobile computing technology. A simple solution tailored for use in ad hoc networks is employed as a vehicle for demonstrating the applicability of formal requirements and design strategies to the new field of mobile computing. The approach is based on well understood techniques in specification refinement, but the methodology is tailored to mobile applications and helps designers address novel con-cerns such as the mobility of hosts, transient interactions, and specific coordination constructs. The proof logic and programming notation of Mobile UNITY provide the intel-lectual tools required to carry out this task. 1
There exist mobile nodes in a distributed system, which arises some new issues like mobility, discon...
The paper aims at providing a formal system, motivated by Dijkstra’s weakest precondition logic, for...
Mobile agent become very popular and attracted more importance these days due to the exponential gro...
Termination detection, a classical problem in distributed computing, is revisited in the new setting...
Abstract. As devices become smaller and wireless networking technologies improve, the popularity of ...
Abstract- In a mobile wireless network, restrictions exist which demand creative solutions to classi...
As computing devices become smaller and wireless networking technologies improve, the popularity of ...
Mobile computing represents a major point of departure from the traditional distributed computing pa...
The Geoquorum approach for implementing atomic read/write shaved memory in mobile ad hoc networks. T...
Mobile computing represents a major point of departure from the traditional distributed computing pa...
ructure and to leverage off existing distributed algorithms that compute information about messages....
With recent advances in wireless communication technology, mobile computing is an increasingly impor...
With recent advances in wireless communication technology, mobile computing is an increasingly impor...
Traditionally, a distributed system has been viewed as a collection of fixed computational elements ...
Traditionally, a distributed system has been viewed as a collection of fixed computational elements ...
There exist mobile nodes in a distributed system, which arises some new issues like mobility, discon...
The paper aims at providing a formal system, motivated by Dijkstra’s weakest precondition logic, for...
Mobile agent become very popular and attracted more importance these days due to the exponential gro...
Termination detection, a classical problem in distributed computing, is revisited in the new setting...
Abstract. As devices become smaller and wireless networking technologies improve, the popularity of ...
Abstract- In a mobile wireless network, restrictions exist which demand creative solutions to classi...
As computing devices become smaller and wireless networking technologies improve, the popularity of ...
Mobile computing represents a major point of departure from the traditional distributed computing pa...
The Geoquorum approach for implementing atomic read/write shaved memory in mobile ad hoc networks. T...
Mobile computing represents a major point of departure from the traditional distributed computing pa...
ructure and to leverage off existing distributed algorithms that compute information about messages....
With recent advances in wireless communication technology, mobile computing is an increasingly impor...
With recent advances in wireless communication technology, mobile computing is an increasingly impor...
Traditionally, a distributed system has been viewed as a collection of fixed computational elements ...
Traditionally, a distributed system has been viewed as a collection of fixed computational elements ...
There exist mobile nodes in a distributed system, which arises some new issues like mobility, discon...
The paper aims at providing a formal system, motivated by Dijkstra’s weakest precondition logic, for...
Mobile agent become very popular and attracted more importance these days due to the exponential gro...
Add to ORKG