31 search results - page 6 / 7 » Typed Mobile Ambients in Maude |
ICALP
2003
Springer
13 years 11 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
KES
2010
Springer
13 years 3 months ago
2010
Springer
This paper presents a case study in which the OVAMAH architecture is applied in order to obtain a multi-agent system (MAS) that can provide assistance and health care for Alzheimer...
AVSS
2008
IEEE
14 years 14 days ago
2008
IEEE
In this paper, we propose a shadow removal algorithm for indoor scenes. This algorithm uses three types of constraints: chromaticity consistency, texture consistency and range of ...
CHI
2004
ACM
14 years 6 months ago
2004
ACM
Context is a critical element in forming the performance of interactive systems. As the functional diversity and range of use context of the system increase, context sensitivity b...
PIMRC
2008
IEEE
14 years 10 days ago
2008
IEEE
—Wide spread adoption of mobile Internet services will increase the demand for low cost high capacity wireless networks. Cooperation between different types of operators will ena...