1894 search results - page 238 / 379 » Towards Mobile Reasoning |
128
click to vote
WICON
2010
15 years 2 months ago
2010
In order to meet the overwhelming demands of content retrieval for mobile end users, a novel architecture for the next-generation Internet called Cache-and-Forward (CNF) has been p...
215
click to vote
JIPS
2010
14 years 11 months ago
2010
The trend of Next Generation Networks' (NGN) evolution is towards providing multiple and multimedia services to users through ubiquitous networks. The aim of IP Multimedia Sub...
133
click to vote
TASE
2009
IEEE
15 years 11 months ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
124
click to vote
ICAS
2006
IEEE
15 years 10 months ago
2006
IEEE
As context-aware systems become more widespread and mobile there is an increasing need for a common distributed event platform for gathering context information and delivering to ...
138
click to vote
CSL
2005
Springer
15 years 9 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...