35419 search results - page 6928 / 7084 » How are we doing |
130
Voted
CCS
2001
ACM
15 years 7 months ago
2001
ACM
Encryption is widely used to enforce usage rules for digital content. In many scenarios content is encrypted using a group key which is known to a group of users that are allowed ...
208
click to vote
CAV
2003
Springer
15 years 7 months ago
2003
Springer
odular Abstraction Refinement Thomas A. Henzinger1 , Ranjit Jhala1 , Rupak Majumdar1 , and Shaz Qadeer2 1 University of California, Berkeley 2 Microsoft Research, Redmond Abstract....
153
click to vote
CEC
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract- Complex systems techniques provide a powerful tool to study the emergent properties of networks of interacting genes. In this study we extract models of genetic regulator...
140
click to vote
ICDCS
2010
IEEE
15 years 7 months ago
2010
IEEE
—The adoption of portable wireless devices is rapidly rising. The demand for efficient communication protocols amongst these devices is pressing. In this paper, we present a con...
148
Voted
ERCIMDL
2000
Springer
15 years 7 months ago
2000
Springer
The OASIS (Ontologically Augmented Spatial Information System) project explores terminology systems for thematic and spatial access in digital library applications. A prototype im...