256 search results - page 29 / 52 » Separation of NP-Completeness Notions |
ICST
2008
IEEE
15 years 6 months ago
2008
IEEE
If access control policy decision points are not neatly separated from the business logic of a system, the evolution of a security policy likely leads to the necessity of changing...
111
click to vote
CCS
2007
ACM
15 years 6 months ago
2007
ACM
A high-level security policy states an overall safety requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires ...
FASE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper we present a layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (manets) using algebraic higher order nets (aho nets). manets are networ...
SOFSEM
2007
Springer
15 years 6 months ago
2007
Springer
Prior algorithms known for exactly solving Max 2-Sat improve upon the trivial upper bound only for very sparse instances. We present new algorithms for exactly solving (in fact, c...
UIST
2005
ACM
15 years 5 months ago
2005
ACM
High precision parameter manipulation tasks typically require adjustment of the scale of manipulation in addition to the parameter itself. This paper introduces the notion of Zoom...