6059 search results - page 365 / 1212 » A Technique for Verifying Measurements |
203
click to vote
WORM
2003
15 years 8 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
187
click to vote
WSC
1997
15 years 8 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...
199
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
218
click to vote
CGF
2010
15 years 7 months ago
2010
Teaser Figure: A volume rendering with the corresponding tumor map, a pseudo-cylindrical mapping of the tumor surface. Percutaneous radiofrequency (RF) ablation is a minimally inv...
152
click to vote
AUTOMATICA
2006
15 years 7 months ago
2006
The challenging problem in linear control theory is to describe the total set of parameters (controller coefficients or plant characteristics) which provide stability of a system....