4245 search results - page 45 / 849 » Integrating Software by Integrating People |
122
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: Two of the main objectives of the genomic and post-genomic era are to structurally and functionally annotate genomes which consists of detecting genes' position a...
100
click to vote
CSUR
2008
15 years 2 months ago
2008
on the methodologies and processes, but instead provide an abstract and structured description in a way that facilitates their elaborate analysis for the purposes of improving unde...
241
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
132
click to vote
TRUST
2009
Springer
15 years 8 months ago
2009
Springer
During many crises, access to sensitive emergency-support information is required to save lives and property. For example, for effective evacuations first responders need the name...