Sciweavers

15727 search results - page 188 / 3146
» Software Engineering - Introduction
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