Sciweavers

15860 search results - page 212 / 3172
» On agent-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