701 search results - page 43 / 141 » Comments on |
146
click to vote
ESEM
2010
ACM
15 years 5 months ago
2010
ACM
Eleven open source software projects written in C/C++ were analyzed to determine if the number of committing developers impacts code quality. We use cyclomatic complexity, lines o...
101
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We performed a massive study of the dynamics of group deliberation among several websites containing millions of opinions on topics ranging from books to media. Contrary to the co...
126
Voted
ENTCS
2008
15 years 4 months ago
2008
The compositional method, introduced by Feferman and Vaught in 1959, allows to reduce the model-checking problem for a product structure to the model-checking problem for its fact...
117
Voted
CORR
2006
Springer
15 years 4 months ago
2006
Springer
The length-based approach is a heuristic for solving randomly generated equations in groups which possess a reasonably behaved length function. We describe several improvements of ...
139
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...