731 search results - page 124 / 147 » Specification Matching of Software Components |
SEMWEB
2001
Springer
15 years 2 months ago
2001
Springer
Querying the Web today can be a frustrating activity because the results delivered by syntactically oriented search engines often do not match the intentions of the user. The DARP...
HPCN
1999
Springer
15 years 2 months ago
1999
Springer
The growing need of software infrastructure able to create, maintain and ease the evolution of scientific data, promotes the development of digital libraries in order to provide th...
SPRINGSIM
2008
14 years 11 months ago
2008
The In Silico Liver (ISL) plugs together autonomous software objects that represent hepatic components at different scales and levels of details. ISL parameters sensitive to drug-...
BMCBI
2005
14 years 9 months ago
2005
Background: Liquid chromatography coupled to mass spectrometry (LC/MS) has been widely used in proteomics and metabolomics research. In this context, the technology has been incre...
102
click to vote
ICFP
2010
ACM
14 years 10 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...