12 search results - page 1 / 3 » Anytime, Anywhere: Modal Logics for Mobile Ambients |
POPL
2000
ACM
14 years 3 months ago
2000
ACM
ICWN
2004
14 years 7 days ago
2004
Abstract-- Service discovery enables users to access information, resources and services anytime, anywhere. This involves a client, a service provider and an infrastructure for ser...
ENTCS
2002
13 years 10 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...
SEBD
2003
14 years 6 days ago
2003
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
COMPSAC
2007
IEEE
14 years 5 months ago
2007
IEEE
Today, we are seeing an increasing number of software applications that users want to use anywhere, anytime. Such mobile applications often deliver their user interfaces (UIs) to ...