15777 search results - page 2805 / 3156 » The Reformulation-Optimization Software Engine |
174
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Several biological techniques result in the acquisition of functional sets of cDNAs that must be sequenced and analyzed. The emergence of redundant databases such as U...
195
Voted
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
168
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
266
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validi...
152
click to vote
SIGCSE
2009
ACM
16 years 5 months ago
2009
ACM
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...