634 search results - page 31 / 127 » Separability in the Ambient Logic |
87
Voted
POPL
2010
ACM
15 years 7 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
75
Voted
DLOG
2009
14 years 10 months ago
2009
Relation Based Access Control (RelBAC) is an access control model designed for the new scenarios of access control on Web 2.0. Under this model, we discuss in this paper how to for...
LCN
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— This paper presents measurements of radio interference using ”Ambient µNode” sensor nodes. We varied distances and frequencies giving us a measure of the amount of...
ICALP
2003
Springer
15 years 2 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
93
Voted
MATA
2001
Springer
15 years 2 months ago
2001
Springer
We take the position that large-scale distributed systems are better understood, at all levels, when locality is taken into account. When communication and mobility are clearly se...