269 search results - page 37 / 54 » Computational soundness of observational equivalence |
145
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
This paper traces the development of RAW, a system combining a tool and a process for capturing and conveying audiovisual impressions of everyday life. The project aims to enable ...
141
click to vote
ICDCN
2009
Springer
16 years 26 days ago
2009
Springer
Abstract. Much of the data consumed today is dynamic, typically gathered from distributed sources including sensors, and used in real-time monitoring and decision making applicatio...
159
click to vote
LCN
2008
IEEE
16 years 14 days ago
2008
IEEE
— The absence of an online trusted authority makes the issue of key revocation in mobile ad hoc networks (MANETs) particularly challenging. In this paper, we present a novel self...
147
click to vote
BROADNETS
2007
IEEE
16 years 13 days ago
2007
IEEE
Abstract — In order to perform valid experiments, traffic generators used in network simulators and testbeds require up to date models of traffic as it exists on real network lin...
149
click to vote
CASSIS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...