1366 search results - page 54 / 274 » Modularizing Contexted Constraints |
115
click to vote
CCS
2009
ACM
16 years 3 months ago
2009
ACM
The successful deployment of a security policy is closely related not only to the complexity of the security requirements but also to the capabilities/functionalities of the secur...
121
Voted
CSLP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper is concerned with the question of quantifying gradient degrees of acceptability by introducing the notion of Density in the context of constructional constrain...
115
Voted
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...
151
Voted
MDM
2009
Springer
15 years 9 months ago
2009
Springer
Indoor navigation highly depends on context and requires flexible data structures to support the many use cases and configurations. For example, an indoor navigation system must c...
119
click to vote
VL
2006
IEEE
15 years 8 months ago
2006
IEEE
Parsing hand-drawn diagrams is a definitely complex recognition problem. The input drawings are often intrinsically ambiguous, and require context to be interpreted in a correct w...