2116 search results - page 59 / 424 » Resource Analysis by Sup-interpretation |
ENTCS
2006
13 years 10 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
ICSE
2007
IEEE-ACM
14 years 10 months ago
2007
IEEE-ACM
This paper presents an approach to statically retrofit legacy servers with mechanisms for authorization policy enforcement. The approach is based upon the observation that securit...
IAT
2007
IEEE
14 years 4 months ago
2007
IEEE
Collaborative tagging systems are becoming very popular recently. Web users use freely-chosen tags to describe shared resources, resulting in a folksonomy. One problem of folksono...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
In a wireless communication network different users share a common resource. An objective of radio resource management is to assign the resources in an effective way between the us...
SIGIR
2009
ACM
14 years 4 months ago
2009
ACM
A weakly-supervised extraction method identifies concepts within conceptual hierarchies, at the appropriate level of specificity (e.g., Bank vs. Institution), to which attribute...