9 search results - page 2 / 2 » Logic for Multi-path Message Forwarding Networks for Mobile ... |
HICSS
2002
IEEE
13 years 9 months ago
2002
IEEE
A major trend in the current information society is personalization, which is considered a key business enabler for mobile services because the mobile device is a personal assista...
CIIT
2004
13 years 6 months ago
2004
Ants-based routing algorithms have attracted the attention of researchers because they are more robust, reliable, and scalable than other conventional routing algorithms. Since th...
TOPLAS
2010
13 years 3 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
ICDE
2008
IEEE
13 years 11 months ago
2008
IEEE
Recent years have seen a proliferation of work on the Semantic Web, an initiative to enable intelligent agents to reason about and utilize World Wide Web content and services. Con...