683 search results - page 14 / 137 » Exploiting Logical Mobility in Mobile Computing Middleware |
LFCS
2009
Springer
14 years 2 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
MDM
2007
Springer
14 years 1 months ago
2007
Springer
Mobile collaborative environments, being naturally loosely-coupled, call for optimistic replication solutions in order to attain the requirement of decentralized highly available ...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
The seamless and flexible interconnection of the existing and emerging protocols and networks is essential to the success of the new generation mobile applications and services. Fo...
NAS
2010
IEEE
13 years 6 months ago
2010
IEEE
— Inter-vehicular communication is an important research area that is rapidly growing due to considerable advances in mobile and wireless communication technologies, as well as t...
SEM
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. Ubiquitous computing is a challenge for the design of middleware. The reasons are resource constraints, mobility, heterogeneity, etc., just to name a few. We argue that s...