84 search results - page 4 / 17 » Abstract Interpretation of Mobile Ambients |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
KI
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Assisted living means providing the assisted with custom services, specific to their needs and capabilities. Computer monitoring can supply some of these services, be it ...
HICSS
2003
IEEE
14 years 22 days ago
2003
IEEE
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...
PERCOM
2008
ACM
14 years 7 months ago
2008
ACM
In this paper we present CoWSAMI, a middleware infrastructure that enables context awareness in open ambient intelligence environments, consisting of mobile users and context sour...
EUSAI
2007
Springer
14 years 1 months ago
2007
Springer
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...