9325 search results - page 1686 / 1865 » The decentralized implementability problem |
242
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
149
click to vote
CCS
2009
ACM
16 years 4 months ago
2009
ACM
We revisit the venerable question of access credentials management, which concerns the techniques that we, humans with limited memory, must employ to safeguard our various access ...
136
click to vote
CCS
2009
ACM
16 years 4 months ago
2009
ACM
In distributed systems users need the ability to share sensitive content with multiple other recipients based on their ability to satisfy arbitrary policies. One such system is el...
167
Voted
CADE
2009
Springer
16 years 4 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
120
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
The advantages of paper-based maps have been utilized in the field of mobile Augmented Reality (AR) in the last few years. Traditional paper-based maps provide high-resolution, la...