2266 search results - page 378 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
140
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
We introduce the notion of resiliency policies in the context of access control systems. Such policies require an access control system to be resilient to the absence of users. An...
132
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
Many computational tools have recently begun to benefit from the use of the symmetry inherent in the tasks they solve, and use general-purpose graph symmetry tools to uncover this...
132
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
138
click to vote
EDBT
2008
ACM
16 years 4 months ago
2008
ACM
We introduce a novel spatial join operator, the ring-constrained join (RCJ). Given two sets P and Q of spatial points, the result of RCJ consists of pairs p, q (where p P, q Q) ...
114
click to vote
ACSC
2007
IEEE
15 years 10 months ago
2007
IEEE
A web service is programmatically available application logic exposed over Internet. With the rapid development of e-commerce over Internet, web services have attracted much atten...