1818 search results - page 83 / 364 » Granularity-Adaptive Proof Presentation |
ISDA
2006
IEEE
14 years 2 months ago
2006
IEEE
The last decade has witnessed an exponential growth of sequence information in the field of biological macromolecules such as proteins and nucleic acids and their interactions wit...
PLDI
2006
ACM
14 years 2 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
IMA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Identity-based encryption (IBE) is a special asymmetric encryption method where a public encryption key can be an arbitrary identifier and the corresponding private decr...
ATAL
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, we investigate a model of a combinatorial, procurement multi-attribute auction, in which each sales item is defined by several attributes called quality, the buyer...
INFOCOM
2003
IEEE
14 years 2 months ago
2003
IEEE
— Mobile ad hoc networking has been an active research area for several years. How to stimulate cooperation among selfish mobile nodes, however, is not well addressed yet. In th...