1350 search results - page 192 / 270 » Reasoning about Staged Computation |
136
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
User attention is a scarce resource, and users are susceptible to interruption overload. Systems do not reason about the effects of interrupting a user during a task sequence. In ...
252
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
173
click to vote
DCC
2003
IEEE
16 years 5 months ago
2003
IEEE
Nguyen and Shparlinski recently presented a polynomial-time algorithm that provably recovers the signer's secret DSA key when a few bits of the random nonces k (used at each s...
149
click to vote
CVPR
2010
IEEE
16 years 1 months ago
2010
IEEE
Recent advances in scene understanding and related tasks
have highlighted the importance of using regions to reason
about high-level scene structure. Typically, the regions are
...
147
click to vote
SAC
2010
ACM
16 years 13 days ago
2010
ACM
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...