1859 search results - page 173 / 372 » Sketch-based path design |
ISMB
1998
13 years 11 months ago
1998
LabFlowis a workflowmanagementsystem designed for large scale biologyresearch laboratories. It providesa workflowmodelin whichobjects flowfromtask to task under programmaticcontro...
ENTCS
2007
13 years 9 months ago
2007
The Mono Model Checker (mmc) is a software model checker for cil bytecode programs. mmc has been developed on the Mono platform. mmc is able to detect deadlocks and assertion viol...
RSA
2010
13 years 8 months ago
2010
We demonstrate the use of computational phylogenetic techniques to solve a central problem in inferential network monitoring. More precisely, we design a novel algorithm for multi...
USS
2004
13 years 11 months ago
2004
We present Tor, a circuit-based low-latency anonymous communication service. This second-generation Onion Routing system addresses limitations in the original design by adding per...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
This paper describes one solution to the problem of how to select sequence, and link Web resources into a coherent, focused organization for instruction that addresses a user'...