271 search results - page 15 / 55 » Free Open Source Software Development: Recent Research Resul... |
MMMACNS
2001
Springer
15 years 1 months ago
2001
Springer
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...
HICSS
2008
IEEE
15 years 3 months ago
2008
IEEE
—Wikipedia is one of the most successful examples of massive collaborative content development. However, many of the mechanisms and procedures that it uses are still unknown in d...
119
click to vote
CGVR
2006
14 years 11 months ago
2006
ended abstract details previous methods for motion tracking and capture in 3D animation and in particular that of hand motion tracking and capture. Our research aims to enable ges...
84
Voted
MSR
2005
ACM
15 years 3 months ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
103
Voted
MSR
2011
ACM
14 years 9 days ago
2011
ACM
Modern software is often developed over many years with hundreds of thousands of commits. Commit metadata is a rich source of social characteristics, including the commit’s time...