1940 search results - page 236 / 388 » The Dynamic Logic of Permission |
193
click to vote
ICCAD
2009
IEEE
15 years 4 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...
170
click to vote
PLDI
2011
ACM
14 years 9 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 ...
210
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 ...
201
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. ...
171
click to vote
GLVLSI
2005
IEEE
16 years 6 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 ...