3736 search results - page 190 / 748 » Generative Programming |
134
click to vote
ERLANG
2004
ACM
15 years 8 months ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
136
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...
119
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
133
click to vote
RSA
2008
15 years 2 months ago
2008
We present an expected polynomial time algorithm to generate an unlabeled connected cubic planar graph uniformly at random. We first consider rooted connected cubic planar graphs, ...
148
click to vote
SIAMJO
2002
15 years 2 months ago
2002
Motivated by some results for linear programs and complementarity problems, this paper gives some new characterizations of the central path conditions for semidefinite programs. Ex...