7623 search results - page 303 / 1525 » Constructive Volume Modeling |
171
click to vote
CIE
2005
Springer
16 years 2 days ago
2005
Springer
We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while...
166
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
169
click to vote
CTRSA
2008
Springer
15 years 8 months ago
2008
Springer
We propose two constructions of chosen-ciphertext secure identity-based encryption (IBE) schemes. Our schemes have a security proof in the standard model, yet they offer performan...
135
click to vote
APAL
2006
15 years 6 months ago
2006
Abstract. Solovay's random-real forcing ([1]) is the standard way of producing real-valued measurable cardinals. Following questions of Fremlin, by giving a new construction, ...
167
click to vote
ENTCS
2006
15 years 6 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...