Sciweavers

15811 search results - page 201 / 3163
» Search-based software engineering
Sort
View
FOSSACS
2006
Springer
15 years 10 months ago
Dynamic Policy Discovery with Remote Attestation
Corin Pitcher, James Riely
FOSSACS
2006
Springer
15 years 10 months ago
A Semantic Approach to Interpolation
Andrei Popescu, Traian Serbanuta, Grigore Rosu
FSTTCS
2006
Springer
15 years 10 months ago
Fast Edge Colorings with Fixed Number of Colors to Minimize Imbalance
Gruia Calinescu, Michael J. Pelsmajer