2116 search results - page 23 / 424 » Resource Analysis by Sup-interpretation |
JCS
2010
13 years 7 months ago
2010
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
LREC
2010
13 years 10 months ago
2010
The idea that dictionaries are a good source for (computational) information has been around for a long while, and the extraction of taxonomic information from them is something t...
TCS
2010
13 years 7 months ago
2010
It is well known that the two simple algorithms for the classic bin packing problem, NF and WF both have an approximation ratio of 2. However, WF seems to be a more reasonable alg...
LREC
2008
13 years 10 months ago
2008
WCTAnalyze is a tool for storing, accessing and visually analyzing huge collections of temporally indexed data. It is motivated by applications in media analysis, business intelli...
JFP
2008
13 years 9 months ago
2008
t two complementary improvements for abstract-interpretation-based flow analysis r-order languages: (1) abstract garbage collection and (2) abstract counting.1,2 garbage collecti...