1310 search results - page 104 / 262 » On a Class of Traceability Codes |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
WWW
2004
ACM
14 years 11 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
SCN
2010
Springer
13 years 8 months ago
2010
Springer
Aggregate message authentication codes, as introduced by Katz and Lindell (CT-RSA 2008), combine several MACs into a single value, which has roughly the same size as an ordinary MA...
MICRO
2005
IEEE
14 years 3 months ago
2005
IEEE
Predicated execution has been used to reduce the number of branch mispredictions by eliminating hard-to-predict branches. However, the additional instruction overhead and addition...
WCRE
2005
IEEE
14 years 3 months ago
2005
IEEE
Understanding a software system by just analyzing the structure of the system reveals only half of the picture, since the structure tells us only how the code is working but not w...