2212 search results - page 266 / 443 » Automated software wrapping |
157
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: In recent years, substantial effort has been applied to de novo regulatory motif discovery. At this time, more than 150 software tools exist to detect regulatory bindi...
154
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
151
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...
159
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
Most open source software development projects include an open bug repository—one to which users of the software can gain full access—that is used to report and track problems...
153
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Migration is an important aspect of cellular behaviour and is therefore widely studied in cell biology. Numerous components are known to participate in this process in...