7762 search results - page 1270 / 1553 » Availability in BitTorrent Systems |
155
click to vote
ENVSOFT
2007
15 years 6 months ago
2007
Nodal network approaches are a common framework for considering water allocation in river basins. In this type of model framework, a river basin is represented as a series of node...
157
click to vote
JUCS
2006
15 years 6 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
151
click to vote
EOR
2007
15 years 6 months ago
2007
Video on Demand (VoD) is a technology used to provide a number of programs to a number of users on request. In developing a VoD system, a fundamental problem is load balancing, wh...
171
Voted
NAR
2008
15 years 6 months ago
2008
The Rice Annotation Project Database (RAP-DB) was created to provide the genome sequence assembly of the International Rice Genome Sequencing Project (IRGSP), manually curated ann...
171
click to vote
NAR
2008
15 years 6 months ago
2008
The InParanoid eukaryotic ortholog database (http://InParanoid.sbc.su.se/) has been updated to version 6 and is now based on 35 species. We collected all available `complete'...