Sciweavers

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