5863 search results - page 1079 / 1173 » On Model-Checking of P Systems |
126
Voted
CTRSA
2012
Springer
13 years 11 months ago
2012
Springer
We analyse and exploit implementation features in OpenSSL version 0.9.8g which permit an attack against ECDH-based functionality. The attack, although more general, can recover the...
143
click to vote
SIGCOMM
2012
ACM
13 years 6 months ago
2012
ACM
Measurement and inference in data centers present a set of opportunities and challenges distinct from the Internet domain. Existing toolsets may be perturbed or be mislead by issu...
155
click to vote
ICDE
2012
IEEE
13 years 6 months ago
2012
IEEE
—The standard way to scale a distributed OLTP DBMS is to horizontally partition data across several nodes. Ideally, this results in each query/transaction being executed at just ...
136
Voted
BIOINFORMATICS
2012
13 years 6 months ago
2012
Motivation: Next-generation sequencing methods are generating increasingly massive datasets, yet still do not fully capture genetic diversity in the richest environments. To under...
130
click to vote
COCO
2003
Springer
15 years 9 months ago
2003
Springer
We consider a fundamental problem in data structures, static predecessor searching: Given a subset S of size n from the universe [m], store S so that queries of the form “What i...