4 search results - page 1 / 1 » Comparison Based Semantic Security is Probabilistic Polynomi... |
58
Voted
IJNSEC
2008
14 years 10 months ago
2008
CJ
2010
14 years 7 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
As of today no solely software-based solution that a priori protects the computation of any mobile code and/or mobile agent was presented. Furthermore, Algesheimer et al. [1], arg...
94
Voted
JAIR
2008
14 years 10 months ago
2008
Inspired by AND/OR search spaces for graphical models recently introduced, we propose to augment Multi-Valued Decision Diagrams (MDD) with AND nodes, in order to capture function ...