4098 search results - page 124 / 820 » Sound mobility models |
141
click to vote
DAIS
1997
15 years 5 months ago
1997
One of the key arguments for mobile agent systems is the flexible usage of groups of agents. However, none of the existing mobile agent systems supports agent groups. In this pap...
125
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
A Rapid evolution of mobile technologies has led to the development of more sophisticated mobile devices with better storage, processing and transmission power. These factors enab...
150
click to vote
JITT
2011
14 years 10 months ago
2011
Mobile phones are becoming a primary platform for information access and when coupled with recommender systems technologies they can become key tools for mobile users both for lei...
108
Voted
CSL
2007
Springer
15 years 10 months ago
2007
Springer
We define strong monads of continuous (lower, upper) previsions, and of forks, modeling both probabilistic and non-deterministic choice. This is an elegant alternative to recent p...
135
click to vote
TLCA
2001
Springer
15 years 8 months ago
2001
Springer
Using methods drawn from Game Semantics, we build a sound and computationally adequate model of a simple calculus that includes both subtyping and recursive types. Our model solves...