1322 search results - page 200 / 265 » Parameterized counting problems |
126
click to vote
CCS
2007
ACM
15 years 4 months ago
2007
ACM
Administrative RBAC (ARBAC) policies specify how Role-Based Access Control (RBAC) policies may be changed by each administrator. It is often difficult to fully understand the effe...
108
click to vote
AIMSA
2006
Springer
15 years 4 months ago
2006
Springer
For a multiagent system (MAS), coordination is the assumption that agents are able to adapt their behavior according to those of the other agents. The principle of Property Based C...
107
Voted
CAISE
2006
Springer
15 years 4 months ago
2006
Springer
Recently, schema mapping has found considerable interest in both research and practice. Determining matching components of database or XML schemas is needed in many applications, e...
98
Voted
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
CP
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The constraint satisfaction problem can be solved in polynomial time for instances where certain parameters (e.g., the treewidth of primal graphs) are bounded. However, t...