1199 search results - page 94 / 240 » Parameterized Proof Complexity |
105
Voted
COMPSEC
2010
14 years 11 months ago
2010
In this paper we address the problem of reducing the role mining complexity in RBAC systems. To this aim, we propose a three steps methodology: first, we associate a weight to rol...
114
Voted
MOBIHOC
2008
ACM
16 years 10 days ago
2008
ACM
In this paper we analyze the complexity of scheduling wireless links in the physical interference model with analog network coding capability. We study two models with different d...
108
Voted
ICALP
2001
Springer
15 years 5 months ago
2001
Springer
We consider the quantum complexities of the following three problems: searching an ordered list, sorting an un-ordered list, and deciding whether the numbers in a list are all dis...
74
Voted
APLAS
2008
ACM
15 years 2 months ago
2008
ACM
Abstract. We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between th...
CORR
2010
Springer
15 years 26 days ago
2010
Springer
The Jordan Curve Theorem (JCT) states that a simple closed curve divides the plane into exactly two connected regions. We formalize and prove the theorem in the context of grid gr...