2432 search results - page 340 / 487 » Cryptographic logical relations |
177
click to vote
SP
2006
IEEE
16 years 16 days ago
2006
IEEE
Contextual integrity is a conceptual framework for understanding privacy expectations and their implications developed in the literature on law, public policy, and political philo...
159
click to vote
ADC
2006
Springer
16 years 15 days ago
2006
Springer
The World Wide Web revolutionized the use of forms in everyday private and business life by allowing a move away from paper forms to easily accessible digital forms. Data captured...
149
click to vote
DATE
2005
IEEE
16 years 4 days ago
2005
IEEE
Both the number of embedded memories, as well as the total embedded memory content in our chips is growing steadily. Time for chip designers, EDA makers, and test engineers to upd...
185
click to vote
TIME
2005
IEEE
16 years 2 days ago
2005
IEEE
Historical information can be effectively preserved using XML and searched through powerful historical queries written in XQuery. Indeed, by storing the successive versions of a d...
178
click to vote
CSL
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...