6527 search results - page 952 / 1306 » On Typing Information Flow |
199
click to vote
PODS
2006
ACM
16 years 7 months ago
2006
ACM
An intelligent agent will often be uncertain about various properties of its environment, and when acting in that environment it will frequently need to quantify its uncertainty. ...
219
click to vote
POPL
2010
ACM
16 years 5 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
194
click to vote
ESOP
2009
Springer
16 years 2 months ago
2009
Springer
Tools for analysing secure information flow are almost exclusively based on ideas going back to Denning’s work from the 70’s. This approach embodies an imperfect notion of sec...
231
click to vote
MM
2009
ACM
16 years 2 months ago
2009
ACM
Popular content in video sharing web sites (e.g., YouTube) is usually duplicated. Most scholars define near-duplicate video clips (NDVC) based on non-semantic features (e.g., di...
229
click to vote
SIGIR
2009
ACM
16 years 2 months ago
2009
ACM
Large search engines process thousands of queries per second on billions of pages, making query processing a major factor in their operating costs. This has led to a lot of resear...