147 search results - page 30 / 30 » Viewpoint - What should we teach new software developers |
LICS
2006
IEEE
13 years 11 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
BMCBI
2007
13 years 5 months ago
2007
Background: In proteomic analysis, MS/MS spectra acquired by mass spectrometer are assigned to peptides by database searching algorithms such as SEQUEST. The assignations of pepti...