Sciweavers

1894 search results - page 58 / 379
» Towards Mobile Reasoning
Sort
View
ICALP
2004
Springer
15 years 10 months ago
Towards an Algebraic Theory of Typed Mobile Processes
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
Yuxin Deng, Davide Sangiorgi
ICN
2001
Springer
15 years 10 months ago
Towards Manageable Mobile Agent Infrastructures
Paulo Simões, Paulo Marques, Luís Mo...
CONEXT
2007
ACM
15 years 9 months ago
Towards the realization of a mobile grid
Konstantinos V. Katsaros, George C. Polyzos
GRAPP
2007
15 years 6 months ago
Mobile chase - towards a framework for location-based gaming
Mirko Fetter, Markus Etz, Heiko Blechschmied