1172 search results - page 83 / 235 » Constructions of generalized Sidon sets |
197
click to vote
EDOC
2000
IEEE
15 years 10 months ago
2000
IEEE
Software development in general and groupware applications in particular can greatly benefit from the reusability and interoperability aspects associated with software components....
166
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
164
click to vote
VR
2000
IEEE
15 years 10 months ago
2000
IEEE
Locales (as first embodied in the SPLINE system) are a very good approach to constructing and organising large virtual environments, especially for distributed and multiuser syste...
151
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Church's Problem (1962) asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence X an output...
216
click to vote
IACR
2011
14 years 6 months ago
2011
Abstract. Recently, cryptographic access control has received a lot of attention, mainly due to the availability of efficient Attribute-Based Encryption (ABE) schemes. ABE allows ...