Sciweavers

15885 search results - page 197 / 3177
» The Modest Software Engineer
Sort
View
97
Voted
FOSSACS
2006
Springer
15 years 7 months ago
Dynamic Policy Discovery with Remote Attestation
Corin Pitcher, James Riely
100
Voted
FOSSACS
2006
Springer
15 years 7 months ago
A Semantic Approach to Interpolation
Andrei Popescu, Traian Serbanuta, Grigore Rosu
93
Voted
FSTTCS
2006
Springer
15 years 7 months ago
Tree Automata Make Ordinal Theory Easy
Thierry Cachat
95
Voted
FSTTCS
2006
Springer
15 years 7 months ago
Fast Edge Colorings with Fixed Number of Colors to Minimize Imbalance
Gruia Calinescu, Michael J. Pelsmajer