854 search results - page 122 / 171 » Addressing Dynamic Issues of Program Model Checking |
116
click to vote
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
With the advent of Java 5 annotations, we note a marked increase in the availability of tools that can statically detect potential null dereferences. For such tools to be truly eff...
191
click to vote
ISOLA
2010
Springer
15 years 8 days ago
2010
Springer
Abstract. The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-...
162
click to vote
PODC
2003
ACM
15 years 7 months ago
2003
ACM
Traitor Tracing Schemes constitute a very useful tool against piracy in the context of digital content broadcast. In such multi-recipient encryption schemes, each decryption key is...
112
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
One of the main factors driving object-oriented software development for information systems is the requirement for systems to be tolerant to change. To address this issue in desig...
192
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...