679 search results - page 84 / 136 » Using decision problems in public key cryptography |
119
click to vote
ICLP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
126
click to vote
ENTCS
2006
15 years 1 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
ESOP
2003
Springer
15 years 6 months ago
2003
Springer
We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the cont...
C3S2E
2009
ACM
15 years 7 months ago
2009
ACM
The integer least squares problem arises from many applications such as communications, cryptography, and GPS. In this paper, we consider the sphere decoding method in communicati...
110
click to vote
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— The design of efficient and scalable streaming Content Distribution Networks (CDNs) is an open problem of great economic interest. A key decision is the number of repl...