84 search results - page 5 / 17 » Abstract Interpretation of Mobile Ambients |
EUSAI
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. To realise an Ambient Intelligence environment, it is paramount that applications can dispose of information about the context in which they operate, preferably in a very...
SAS
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
FOSAD
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. There is great interest in applying nominal calculi--computational formalisms that include dynamic name generation--to the problems of programming, specifying, and verify...
AIIA
2007
Springer
13 years 11 months ago
2007
Springer
Abstract-- This paper deals with an architecture for knowledge representation suitable for integrated Robotics and Ambient Intelligence applications. The aim of the work is to adop...
FAABS
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. This paper presents a rigorous evaluation of a novel, distributed chemical plume tracing algorithm. The algorithm is a combination of the best aspects of the two most pop...