308 search results - page 34 / 62 » Modular Verification of Interactive Systems with an Applicat... |
ACMSE
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
GW
1999
Springer
13 years 11 months ago
1999
Springer
Led by the fundamental role that rhythms apparently play in speech and gestural communication among humans, this study was undertaken to substantiate a biologically motivated model...
BMCBI
2010
13 years 7 months ago
2010
Background: Many biological functions involve various protein-protein interactions (PPIs). Elucidating such interactions is crucial for understanding general principles of cellula...
BMCBI
2006
13 years 7 months ago
2006
Background: The Gene Ontology has become an extremely useful tool for the analysis of genomic data and structuring of biological knowledge. Several excellent software tools for na...
ASE
2002
13 years 7 months ago
2002
The cost of maintaining a software system over a long period of time far exceeds its initial development cost. Much of the maintenance cost is attributed to the time required by ne...