607 search results - page 111 / 122 » Unifying Exact Completions |
ACSAC
2005
IEEE
15 years 4 months ago
2005
IEEE
As the number of system vulnerabilities multiplies in recent years, vulnerability assessment has emerged as a powerful system security administration tool that can identify vulner...
BIRTHDAY
2005
Springer
15 years 4 months ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
EUROCRYPT
2005
Springer
15 years 4 months ago
2005
Springer
Biometric data offer a potential source of high-entropy, secret information that can be used in cryptographic protocols provided two issues are addressed: (1) biometric data are n...
103
click to vote
ISAAC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We consider bicriteria optimization problems and investigate the relationship between two standard approaches to solving them: (i) computing the Pareto curve and (ii) the...
115
click to vote
COMPGEOM
2004
ACM
15 years 4 months ago
2004
ACM
A frequently arising problem in computational geometry is when a physical structure, such as an ad-hoc wireless sensor network or a protein backbone, can measure local information...