94 search results - page 16 / 19 » synthese 2011 |
133
Voted
MOBISYS
2011
ACM
14 years 4 months ago
2011
ACM
Forming secure associations between wireless devices that do not share a prior trust relationship is an important problem. This paper presents ProxiMate, a system that allows wire...
117
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
143
Voted
AAAI
2011
14 years 1 months ago
2011
In many multi-agent applications such as distributed sensor nets, a network of agents act collaboratively under uncertainty and local interactions. Networked Distributed POMDP (ND...
125
Voted
CSFW
2011
IEEE
14 years 1 months ago
2011
IEEE
—In this paper, we investigate the computational complexity of quantitative information flow (QIF) problems. Information-theoretic quantitative relaxations of noninterference (b...
141
click to vote
DGO
2011
14 years 1 months ago
2011
In this paper, we describe a tool to help holistically understand, research and analyze the relationship between an ecosystem model and the relevant laws. Specifically, a software...