Sciweavers

71 search results - page 2 / 15
» Distributed agent environments in the Ambient Event Calculus
Sort
View
ICALP
2003
Springer
13 years 10 months ago
Secrecy in Untrusted Networks
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 ...
Michele Bugliesi, Silvia Crafa, Amela Prelic, Vlad...
BIRTHDAY
2008
Springer
13 years 7 months ago
Secure Data Flow in a Calculus for Context Awareness
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...
Doina Bucur, Mogens Nielsen
EUSAI
2007
Springer
13 years 11 months ago
Distributed AI for Ambient Intelligence: Issues and Approaches
Abstract. Research in many fields of AI, such as distributed planning and reasoning, agent teamwork and coalition formation, cooperative problem solving and action theory has adva...
Theodore Patkos, Antonis Bikakis, Grigoris Antonio...
ECAI
2004
Springer
13 years 10 months ago
Indirect and Conditional Sensing in the Event Calculus
Controlling the sensing of an environment by an agent has been accepted as necessary for effective operation within most practical domains. Usually, however, agents operate in par...
Jeremy Forth, Murray Shanahan
BIRTHDAY
2005
Springer
13 years 7 months ago
Ambient Intelligence: Towards Smart Appliance Ensembles
Abstract. The vision of Ambient Intelligence is based on the ubiquity of information technology, the presence of computation, communication, and sensorial capabilities in an unlimi...
José L. Encarnação, Thomas Ki...