780 search results - page 79 / 156 » Compositional Quantitative Reasoning |
106
Voted
BMCBI
2010
15 years 25 days ago
2010
Background: We study the usage of specific peptide platforms in protein composition. Using the pentapeptide as a unit of length, we find that in the universal proteome many pentap...
97
Voted
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
85
Voted
ICFP
2006
ACM
16 years 21 days ago
2006
ACM
nt programs require high-level abstractions in order to manage complexity and enable compositional reasoning. In this paper, we introduce a novel concurrency abstraction, dubbed t...
103
click to vote
WWW
2006
ACM
15 years 6 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
93
Voted
DLOG
2007
15 years 3 months ago
2007
In this paper we deal with the problem of providing natural language front-ends to databases upon which an ontology layer has been added. Specifically, we are interested in expres...