1301 search results - page 11 / 261 » Specifications via Realizability |
115
Voted
WCRE
2000
IEEE
15 years 7 months ago
2000
IEEE
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
122
click to vote
APN
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
135
Voted
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
We describe efficient techniques for construction of large term co-occurrence graphs, and investigate an application to the discovery of numerous fine-grained (specific) topics. A...
128
Voted
RECOMB
2008
Springer
16 years 3 months ago
2008
Springer
We present a method for identifying connected gene subnetworks significantly enriched for genes that are dysregulated in specimens of a disease. These subnetworks provide a signat...
107
Voted
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
