185 search results - page 10 / 37 » Mobile Ambients |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
Attackers take advantage of any security breach to penetrate an organisation perimeter and exploit hosts as stepping stones to reach valuable assets, deeper in the network. The exp...
MDM
2007
Springer
14 years 1 months ago
2007
Springer
Data consistency protocols are vital ingredients of mobile data management systems. Notable research efforts have been spent to find adequate consistency models for allowing mobi...
ENTCS
2002
13 years 7 months ago
2002
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
TEI
2010
ACM
14 years 2 months ago
2010
ACM
In this paper, we present a new shape-based display technique for mobile phones: A rotatory deformation of the phone’s chassis, resulting in a tapering between the phone’s fro...