Sciweavers

963 search results - page 14 / 193
» Types for Mobile Ambients
Sort
View
MHCI
2005
Springer
14 years 2 months ago
AIRE: an ambient interactive and responsive environment for mobile image management
This paper proposes an ambient interactive and responsive environment (AIRE) to improve user’s image browsing experiences on the small-form-factor devices. This solution is char...
Zhigang Hua, Xiang-Jun Wang, Xing Xie, Qingshan Li...
CONCUR
1999
Springer
14 years 27 days ago
Validating Firewalls in Mobile Ambients
Abstract. The ambient calculus is a calculus of computation that allows active processes (mobile ambients) to move between sites. A firewall is said to be protective whenever it d...
Flemming Nielson, Hanne Riis Nielson, René ...
DAGSTUHL
2006
13 years 10 months ago
Context Dependent Analysis of BioAmbients
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. The technical contribution of this...
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nie...
ENTCS
2002
112views more  ENTCS 2002»
13 years 8 months ago
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
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...
Ivan Scagnetto, Marino Miculan
ICCS
2007
Springer
14 years 2 months ago
A Privacy-Aware Identity Design for Exploring Ubiquitous Collaborative Wisdom
Privacy and security has been considered as the top criterion for the acceptance of e-service adoption. In this paper, we proposed a privacy aware identity protection design that i...
Yuanchu Hwang, Soe-Tsyr Yuan