260 search results - page 4 / 52 » Strong Mobility in Mobile Haskell |
CSI
2004
13 years 9 months ago
2004
Due to the popularity of electronic commerce and the maturity of wireless technology, mobile users can access the Internet anytime anywhere without having to physically hook up an...
WIOPT
2005
IEEE
14 years 3 months ago
2005
IEEE
The Network Mobility (NEMO) Basic Support protocol enables mobile networks to change their point of attachment to the Internet, while preserving established sessions of the nodes ...
ENTCS
2006
13 years 9 months ago
2006
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...
IADIS
2004
13 years 11 months ago
2004
Mobile game is considered as one of the emerging mobile services in recent years. A number of mobile game companies have been established and on-line game providers have also atte...
ICALP
1999
Springer
14 years 2 months ago
1999
Springer
We present a calculus of mobile processes without prefix or summation, and using two different encodings we show that it can express both action prefix and guarded summation. O...