Sciweavers

15885 search results - page 197 / 3177
» The Modest Software Engineer
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