2612 search results - page 46 / 523 » Mobile Processes and Termination |
TLCA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
DEXA
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Mobile devices are capable of retrieving and processing data from remote databases. In a wireless data transmission environment, users are typically charged by the size o...
ICDCS
2000
IEEE
14 years 5 days ago
2000
IEEE
A mobile environment is weakly-connected, characterized by low communication bandwidth and poor connectivity. Conventional paradigm for sur ng mobile web documents is ine ective s...
SAINT
2005
IEEE
14 years 1 months ago
2005
IEEE
Pervasive user mobility, wireless connectivity and the widespread diffusion of portable devices raise new challenges for ubiquitous service provisioning. An emerging architecture ...
NSF
2001
Springer
14 years 6 days ago
2001
Springer
With the proliferation of 2G and 3G Telecom and other wireless networks hundred of millions of users will be able to access wireless services with their terminals in only a few yea...