4516 search results - page 85 / 904 » Automated System Design for Availability |
BIOCOMP
2006
14 years 11 months ago
2006
- The emergence of biological pathway datasets in BioPAX format provides a standard way to exchange pathway datasets and new ways to explore and navigate biological data. The lack ...
ACL
2001
14 years 11 months ago
2001
There has been much interest in the recent past concerning the possibilities for automated categorization of named entities. The research presented here describes a method for the...
CCS
2010
ACM
14 years 10 months ago
2010
ACM
Secure two-party computation allows two untrusting parties to jointly compute an arbitrary function on their respective private inputs while revealing no information beyond the ou...
166
click to vote
ACL2
2006
ACM
15 years 1 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
IJON
2007
14 years 9 months ago
2007
Parallel computers have the computing power needed to simulate biologically accurate neuronal network models. Partitioning is the process of cutting a model in pieces and assignin...