3971 search results - page 103 / 795 » On the Use of Properties in Java Applications |
143
click to vote
VSTTE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
128
click to vote
CCE
2007
15 years 4 months ago
2007
The understanding of the dynamic behavior of distillation columns has received considerable attention due to the fact that distillation is one of the most widely used unit operati...
196
click to vote
HOST
2011
IEEE
14 years 4 months ago
2011
IEEE
—We introduce a novel hardware intellectual property acquisition protocol, show how it can support the transfer of provably trustworthy modules between hardware IP producers and ...
153
click to vote
ACSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
151
click to vote
APLAS
2008
ACM
15 years 6 months ago
2008
ACM
JavaScript has been exploited to launch various browser-based attacks. Our previous work proposed a theoretical framework applying policy-based code instrumentation to JavaScript. ...