2131 search results - page 211 / 427 » Immunity for Closed Sets |
162
click to vote
ERCIMDL
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Managing bibliographic data is a requirement for many researchers, and in the group setting within which the majority of research takes place, the managing and sharing of...
183
click to vote
EUROCRYPT
2005
Springer
16 years 4 days ago
2005
Springer
We introduce a new type of Identity-Based Encryption (IBE) scheme that we call Fuzzy Identity-Based Encryption. In Fuzzy IBE we view an identity as set of descriptive attributes. ...
156
click to vote
EUROGP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. A protein is a linear chain of amino acids that folds into a unique functional structure, called its native state. In this state, proteins show repeated substructures lik...
152
click to vote
SAS
2005
Springer
16 years 2 days ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
184
click to vote
CODES
2003
IEEE
15 years 12 months ago
2003
IEEE
System-on-chip (SoC) designs have the potential to change the way we organize computation. This potential has gone unrealized. Future SoCs will have multiple heterogeneous process...