1481 search results - page 277 / 297 » Enriching the Software Development Process by Formal Methods |
100
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: Protein folding rate is an important property of a protein. Predicting protein folding rate is useful for understanding protein folding process and guiding protein des...
114
click to vote
BMCBI
2010
14 years 9 months ago
2010
Background: To exploit the flood of data from advances in high throughput imaging of optically sectioned nuclei, image analysis methods need to correctly detect thousands of nucle...
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
In dynamic environments with frequent content updates, we require online full-text search that scales to large data collections and achieves low search latency. Several recent met...
WWW
2002
ACM
16 years 13 days ago
2002
ACM
Web-based search engines such as Google and NorthernLight return documents that are relevant to a user query, not answers to user questions. We have developed an architecture that...
127
click to vote
AISS
2010
14 years 9 months ago
2010
The boom of Service oriented architecture is on substantial rise. SOA developers orchestrate individual SOA objects into web services. It has been a dream of software engineers to...