Sciweavers

5457 search results - page 39 / 1092
» Software Component Independence
Sort
View
SOCO
2009
Springer
15 years 7 months ago
Language-Independent Quantification and Weaving for Feature Composition
Stefan Boxleitner, Sven Apel, Christian Kästn...
125
Voted
FASE
2003
Springer
15 years 5 months ago
Monad-Independent Hoare Logic in HASCASL
Lutz Schröder, Till Mossakowski
83
Voted
CC
2007
Springer
15 years 15 days ago
The Resolution Complexity of Independent Sets and Vertex Covers in Random Graphs
Paul Beame, Russell Impagliazzo, Ashish Sabharwal