Sciweavers

2612 search results - page 67 / 523
» Mobile Processes and Termination
Sort
View
SSD
2005
Springer
93views Database» more  SSD 2005»
14 years 1 months ago
Semantic Caching for Multiresolution Spatial Query Processing in Mobile Environments
Spatial data are particularly useful in mobile environments. However, due to the low bandwidth of most wireless networks, developing large spatial database applications becomes a c...
Sai Sun, Xiaofang Zhou, Heng Tao Shen
HCW
1998
IEEE
14 years 3 days ago
On the Interaction between Mobile Processes and Objects
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client server-based distributed systems. However, there a...
Suresh Jagannathan, Richard Kelsey
ICALP
2000
Springer
13 years 11 months ago
Analysing Input/Output-Capabilities of Mobile Processes with a Generic Type System
We introduce a generic type system (based on Milner's sort system) for the synchronous polyadic -calculus, allowing us to mechanise the analysis of input/output capabilities o...
Barbara König
ICC
2008
IEEE
139views Communications» more  ICC 2008»
14 years 2 months ago
Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra
—As a resource reservation mechanism, the Resource ReSerVation Protocol (RSVP) faces a lot of challenges when applying it to the wireless and mobile networks. The interworking pr...
Hao Wang, David I. Laurenson, Jane Hillston
ICDCS
1994
IEEE
13 years 12 months ago
Submission of Transactions from Mobile Workstations in a Cooperative Multidatabase Processing Environment
In a multidatabase environment with mobile computers involved, the nature of computing is such that the user may not wait for the submitted global transaction to complete before d...
L. H. Yeo, Arkady B. Zaslavsky