963 search results - page 15 / 193 » Types for Mobile Ambients |
TEI
2010
ACM
14 years 3 months ago
2010
ACM
In this paper, we present a new shape-based display technique for mobile phones: A rotatory deformation of the phone’s chassis, resulting in a tapering between the phone’s fro...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
Mobile phones have become a ubiquitous technology and for many people a daily companion, primarily used for communication and information access. The fact that the phone is accomp...
FOSSACS
2009
Springer
14 years 3 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...
APLAS
2005
ACM
13 years 10 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 3 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...