1894 search results - page 279 / 379 » A TLA Proof System |
178
Voted
ESWS
2011
Springer
14 years 7 months ago
2011
Springer
The number of open datasets available on the web is increasing rapidly with the rise of the Linked Open Data (LOD) cloud and various governmental efforts for releasing public data ...
158
click to vote
IACR
2011
14 years 3 months ago
2011
Abstract. The prospect of outsourcing an increasing amount of data storage and management to cloud services raises many new privacy concerns for individuals and businesses alike. T...
167
click to vote
CORR
2012
Springer
13 years 11 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
153
Voted
SIGCOMM
2012
ACM
13 years 6 months ago
2012
ACM
Many large content publishers use multiple content distribution networks to deliver their content, and many industrial systems have become available to help a broader set of conte...
154
click to vote
PKC
2012
Springer
13 years 6 months ago
2012
Springer
ded abstract of this work will appear in Public Key Cryptography — PKC 2012. This is the full version. We propose a general framework that converts (ordinary) signature schemes ...