1018 search results - page 81 / 204 » Generative unbinding of names |
IV
2009
IEEE
14 years 3 months ago
2009
IEEE
Most methods for generating Euler diagrams describe the detection of the general structure of the final draw as the first and most important step. This information is often depi...
IWPC
2009
IEEE
14 years 3 months ago
2009
IEEE
The classical comprehension theories study relations between extensions, intensions, and names. Originally developed in linguistics and mathematics, these theories are applicable ...
BRAIN
2009
Springer
14 years 3 months ago
2009
Springer
The essence of computer applications is to store things in the real world into computer systems in the form of data, i.e., it is a process of producing data. Some data are the reco...
ICICS
2009
Springer
14 years 3 months ago
2009
Springer
This work explores the problem of using biometric data to achieve non-transferability of anonymous credentials; that is, sharing of anonymous credentials, which allow one to anonym...
APLAS
2009
ACM
14 years 3 months ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...