1327 search results - page 241 / 266 » Cost-Benefit Analysis of Software Development Techniques and... |
121
click to vote
SIGDOC
2010
ACM
14 years 7 months ago
2010
ACM
The growing popularity of mobile devices gave birth to a still emergent research field, called Mobile Music, and concerning the development of musical applications for use in thes...
ISSTA
2010
ACM
15 years 1 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...
BMCBI
2006
14 years 9 months ago
2006
Background: Scientific literature is a source of the most reliable and comprehensive knowledge about molecular interaction networks. Formalization of this knowledge is necessary f...
BMCBI
2011
14 years 1 months ago
2011
Background: We developed an extendable open-source Loop-mediated isothermal AMPlification (LAMP) signature design program called LAVA (LAMP Assay Versatile Analysis). LAVA was cre...
SIGSOFT
2002
ACM
15 years 10 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...