28 search results - page 6 / 6 » Bytecode Rewriting in Tom |
96
Voted
RTA
2010
Springer
15 years 3 months ago
2010
Springer
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logicindependent ...
CCS
2009
ACM
16 years 2 days ago
2009
ACM
Inlined Reference Monitor (IRM) is an established enforcement mechanism for history-based access control policies. IRM enforcement injects monitoring code into the binary of an un...
113
click to vote
DEBU
2008
14 years 11 months ago
2008
Since the birth of XML, the processing of XML query languages like XQuery/XQueryP has been widely researched in the academic and industrial communities. Most of the approaches con...