1805 search results - page 318 / 361 » A Theory of Closure Operators |
167
click to vote
CCA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can...
137
click to vote
CCS
2006
ACM
15 years 7 months ago
2006
ACM
A high-level security policy states an overall requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires a sensi...
138
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Many real-world applications of multiagent systems require independently designed (heterogeneous) and operated (autonomous) agents to interoperate. We consider agents who offer bu...
144
click to vote
USS
2008
15 years 6 months ago
2008
We address the problem of auditing an election when precincts may have different sizes. Prior work in this field has emphasized the simpler case when all precincts have the same s...
158
click to vote
DIALM
2005
ACM
15 years 6 months ago
2005
ACM
Wireless LANs operating within unlicensed frequency bands require random access schemes such as CSMA/CA, so that wireless networks from different administrative domains (for exam...