963 search results - page 58 / 193 » Types for Mobile Ambients |
GPCE
2007
Springer
14 years 2 months ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...
ACMACE
2004
ACM
14 years 2 months ago
2004
ACM
The Intelligent Street is a music installation that is able to respond intelligently to the collective requests of users interacting together. The performance it creates is largel...
TACAS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
ICFEM
2003
Springer
14 years 1 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
CAISE
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. Ambient intelligence (AmI) is a promising paradigm for humancentred interaction based on mobile and context-aware computing, natural interfaces and collaborative work. AM...