935 search results - page 46 / 187 » A Framework for Obfuscated Interpretation |
120
click to vote
ER
2005
Springer
15 years 7 months ago
2005
Springer
In this paper a novel approach for the tool–based quality assurance of models is presented. The approach provides a meta model framework for domain specific and tool–independe...
AMAI
2002
Springer
15 years 1 months ago
2002
Springer
: Mereotopology faces problems when its methods are extended to deal with time and change. We offer a new solution to these problems, based on a theory of partitions of reality wh...
121
click to vote
SP
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...
209
click to vote
MM
2010
ACM
14 years 12 months ago
2010
ACM
Social tagging can provide rich semantic information for largescale retrieval in music discovery. Such collaborative intelligence, however, also generates a high degree of tags un...
104
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...