6960 search results - page 520 / 1392 » Continuity Analysis of Programs |
213
click to vote
JETAI
2007
15 years 6 months ago
2007
Research in computational cognitive modeling investigates the nature of cognition through developing process-based understanding by specifying computational models of mechanisms (...
203
click to vote
IEEEARES
2009
IEEE
15 years 4 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
184
click to vote
MICRO
2008
IEEE
16 years 1 months ago
2008
IEEE
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...
177
click to vote
ISQED
2009
IEEE
16 years 1 months ago
2009
IEEE
— With continued scaling, reliability is emerging as a critical challenge for the designers of digital circuits. The challenge stems in part from the lack of computationally efï¬...
196
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The analysis of externalities in technology-based networks continues to be of significant managerial importance in e-commerce and traditional IS operations. Competitive strategy, ...