1144 search results - page 145 / 229 » Logic programming for combinatorial problems |
130
click to vote
CCS
2006
ACM
15 years 6 months ago
2006
ACM
Attack graphs are important tools for analyzing security vulnerabilities in enterprise networks. Previous work on attack graphs has not provided an account of the scalability of t...
109
click to vote
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...
119
click to vote
RTSS
1998
IEEE
15 years 6 months ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
114
click to vote
DAM
2002
15 years 2 months ago
2002
In K(n, n) with edges colored either red or blue, we show that the problem of finding a solution matching, a perfect matching consisting of exactly r red edges, and (n - r) blue e...
157
click to vote
PPDP
2010
Springer
15 years 26 days ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...