674 search results - page 23 / 135 » From Constructibility and Absoluteness to Computability and ... |
104
Voted
LPAR
2000
Springer
15 years 5 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
127
Voted
BMCBI
2006
15 years 1 months ago
2006
Background: To infer the tree of life requires knowledge of the common characteristics of each species descended from a common ancestor as the measuring criteria and a method to c...
CBMS
2009
IEEE
15 years 8 months ago
2009
IEEE
Biomedical scientists generate, access, validate and interpret multiple distributed and heterogeneous data sets. Semantic annotations for these data sets are paramount for exchang...
144
Voted
CRYPTO
2009
Springer
15 years 8 months ago
2009
Springer
We study the design of cryptographic primitives resilient to key-leakage attacks, where an attacker can repeatedly and adaptively learn information about the secret key, subject o...
150
click to vote
OSDI
2008
ACM
15 years 4 months ago
2008
ACM
DryadLINQ is a system and a set of language extensions that enable a new programming model for large scale distributed computing. It generalizes previous execution environments su...