Sciweavers

Share
ECEASST
2008
91views more  ECEASST 2008»
9 years 7 months ago
Graph Transformation Model of a Triangulated Network of Mobile Units
Abstract: A triangulated network of mobile units is modelled by means of a graph transformation system in which graph nodes are labelled with geometric coordinates and edges are la...
Stefan Gruner
ICNP
1998
IEEE
9 years 11 months ago
Applying MSTDM to Packet Voice and Data in Cellular Radio Systems
MSTDM is a variant of the Ethernet protocol that provides quality of service guarantees for voice. This protocol has been applied to LAN's and CATV networks. Cellular network...
Nicholas F. Maxemchuk
ICPPW
1999
IEEE
9 years 11 months ago
On Dynamically Adapting Registration Areas to User Mobility Patterns in PCS Networks
Location management is an essential service in mobile networks. It provides mechanisms for recording and querying location of mobile units in the network. This is needed for estab...
Georgios Varsamopoulos, Sandeep K. S. Gupta
LFCS
2009
Springer
10 years 1 months ago
The Logic of Proofs as a Foundation for Certifying Mobile Computation
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
Eduardo Bonelli, Federico Feller
books