185 search results - page 9 / 37 » Mobile Ambients |
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer
Reactive systems, proposed by Leifer and Milner, represent a meta-framework aimed at deriving behavioral congruences for those specification formalisms whose operational semantics...
ICWN
2004
13 years 9 months ago
2004
Abstract-- Service discovery enables users to access information, resources and services anytime, anywhere. This involves a client, a service provider and an infrastructure for ser...
APLAS
2005
ACM
13 years 9 months ago
2005
ACM
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...
IEEEARES
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Attack Graphs are an important support for assessment and subsequent improvement of network security. They reveal possible paths an attacker can take to break through se...
MHCI
2005
Springer
14 years 1 months ago
2005
Springer
This paper proposes an ambient interactive and responsive environment (AIRE) to improve user’s image browsing experiences on the small-form-factor devices. This solution is char...