135 search results - page 7 / 27 » One-Round Secure Computation and Secure Autonomous Mobile Ag... |
CF
2005
ACM
13 years 9 months ago
2005
ACM
WOA
2010
13 years 5 months ago
2010
This paper deals with the definition of a strong authentication model, coupling usual password/PIN based methods with a biometric matching, over a Multi Agent distributed infrastru...
MA
2000
Springer
13 years 11 months ago
2000
Springer
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
AGENTS
1997
Springer
13 years 11 months ago
1997
Springer
Transportable agents are autonomous programs. They can move through a heterogeneous network of computers under their own control, migrating from host to host. They can sense the s...
BIRTHDAY
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...