963 search results - page 21 / 193 » Types for Mobile Ambients |
SAS
2004
Springer
14 years 2 months 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...
SGAI
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents an agent-based approach into a more general service oriented architecture for addressing the requirements of accessibility content and services in an ambient i...
HICSS
2003
IEEE
14 years 1 months 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...
ESORICS
2012
Springer
11 years 11 months ago
2012
Springer
In certain applications, it is important for a remote server to securely determine whether or not two mobile devices are in close physical proximity. In particular, in the context ...
IPTPS
2004
Springer
14 years 2 months ago
2004
Springer
Economies of scale and advancements in wide-area wireless networking are leading to the availability of more small, networked mobile devices, placing higher stress on existing mob...