1040 search results - page 69 / 208 » Resource Usage Verification |
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Enforcing compliance to API usage protocols is notoriously hard due to possible aliasing of objects through multiple references. In previous work we proposed a sound, modular appr...
ASPDAC
2007
ACM
15 years 1 months ago
2007
ACM
- Two challenges for the accurate prediction of GHz CMOS analog/RF building blocks are presented. Challenging the usage of new compact MOSFET models enhances the simulation accurac...
TMM
2010
14 years 4 months ago
2010
This paper introduces a video copy detection system which efficiently matches individual frames and then verifies their spatio-temporal consistency. The approach for matching frame...
DBSEC
2010
14 years 11 months ago
2010
Abstract. Access control mechanisms are used to control which principals (such as users or processes) have access to which resources based on access control policies. To ensure the...
IJNSEC
2006
14 years 9 months ago
2006
An insider-robust approach to file integrity verification is developed using interacting strata of mobile agents. Previous approaches relied upon monolithic architectures, or more...