2 search results - page 1 / 1 » A Calculus for the Refinement and Evolution of Multi-user Mo... |
DSVIS
2005
Springer
13 years 11 months ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
GCC
2007
Springer
13 years 7 months ago
2007
Springer
In recent years, the rapid growth of m-commerce is being driven by various emerging mobile applications and services. Among them, mobile information service is considered to be on...