1940 search results - page 236 / 388 » The Dynamic Logic of Permission |
218
click to vote
ICCAD
2009
IEEE
15 years 5 months ago
2009
IEEE
While Dynamic Voltage Scaling (DVS) remains as a popular energy management technique for real-time embedded applications, recent research has identified significant and negative i...
194
click to vote
PLDI
2011
ACM
14 years 10 months ago
2011
ACM
When dealing with dynamic, untrusted content, such as on the Web, software behavior must be sandboxed, typically through use of a language like JavaScript. However, even for such ...
226
click to vote
ISSTA
2012
ACM
13 years 9 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
224
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability with respect to a TBox in the logic ALCI using global state caching. ...
194
click to vote
GLVLSI
2005
IEEE
16 years 26 days ago
2005
IEEE
Switching model captures the data-driven uncertainty in logic circuits in a comprehensive probabilistic framework. Switching is a critical factor that influences dynamic, active ...