1914 search results - page 153 / 383 » Verification by Abstract Interpretation |
104
Voted
DBSEC
2010
15 years 2 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...
113
click to vote
EPK
2006
15 years 2 months ago
2006
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
139
Voted
ICIAR
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Increasing risks of spoof attacks and other common problems of unimodal biometric systems such as intra-class variations, nonuniversality and noisy data necessitate the u...
194
Voted
POPL
2005
ACM
16 years 1 months ago
2005
ACM
This paper presents a new approach for verifying confidenfor programs, based on abstract interpretation. The framework is formally developed and proved correct in the theorem prov...
105
click to vote
CISS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—The Dantzig selector is a recently introduced technique for near-optimal estimatation of sparse signals from a limited set of measurements. This paper offers an interpre...