1519 search results - page 160 / 304 » What do they think |
ITC
1997
IEEE
14 years 2 months ago
1997
IEEE
As the sizes of general and special purpose processors increase rapidly, generating high quality manufacturing tests for them is becoming a serious problem in industry. This paper...
SP
1997
IEEE
14 years 2 months ago
1997
IEEE
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...
ESOP
1990
Springer
14 years 2 months ago
1990
Springer
The key to realistic self-applicable partial evaluation is to analyze binding times in the source program, i.e., whether the result of partially evaluating a source expression is ...
CAV
2010
Springer
14 years 2 months ago
2010
Springer
This paper discusses the obstacles that stand in the way of doing a good job of machine-code analysis. Compared with analysis of source code, the challenge is to drop all assumptio...
HICSS
2009
IEEE
2009
IEEE
An Information Systems Design Product Theory for Software Project Estimation and Measurement Systems
14 years 2 months ago
: There is relatively little research on software Project Estimation and Measurement Systems (PEMS). Commercial PEMS vary in functionality and effectiveness. Their intended users t...