2468 search results - page 407 / 494 » A New Approach to Pseudoword Generation |
198
click to vote
TPHOL
2008
IEEE
16 years 22 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
171
click to vote
ACNS
2008
Springer
16 years 22 days ago
2008
Springer
Abstract. Very recently, the concept of Traceable Identity-based Encryption (IBE) scheme (or Accountable Authority Identity based Encryption scheme) was introduced in Crypto 2007. ...
182
click to vote
ANSS
2007
IEEE
16 years 21 days ago
2007
IEEE
During the last few years, continuous progresses in wireless communications have opened new research fields in computer networking, aimed at extending data networks connectivity ...
154
click to vote
BIBE
2007
IEEE
16 years 21 days ago
2007
IEEE
Breast biopsy guided by imaging techniques such as ultrasound is widely used to evaluate suspicious masses within the breast. Currently, ultrasound imaging does not allow live guid...
161
click to vote
CGO
2007
IEEE
16 years 21 days ago
2007
IEEE
Run-time compilation systems are challenged with the task of translating a program’s instruction stream while maintaining low overhead. While software managed code caches are ut...