5550 search results - page 771 / 1110 » Different Approaches to Proof Systems |
191
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Present-day `-omics' technologies produce overwhelming amounts of data which include genome sequences, information on gene expression (transcripts and proteins) a...
223
click to vote
LCTRTS
2010
Springer
15 years 4 months ago
2010
Springer
Chip multiprocessors (CMPs) are expected to be the building blocks for future computer systems. While architecting these emerging CMPs is a challenging problem on its own, program...
175
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
160
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we study the impact of today’s IT policies, defined based upon a monoculture approach, on the performance of endhost anomaly detectors. This approach leads to th...
159
click to vote
DSVIS
2003
Springer
16 years 5 days ago
2003
Springer
CAD systems have yet to become usable at the early stages of product ideation, where precise shape definitions and sometimes even design intentions are not fully developed. To over...